{"name":"haskellPackages.agda2lagda","version":"0.2023.6.9","summary":"Translate .agda files into .lagda.tex files.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/c6ada7bf2vqkiq89kmmbqxkdngdgycmy-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/c8c8d0n2n8sbqmpfqy7jw6ihwmd2jla1-agda2lagda-0.2023.6.9-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/7a67v1yzb350x1589562zcpqb7rgr1aq-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/p7jgb67hmfkpyiy3p5yn5dibg2w868nl-agda2lagda-0.2023.6.9-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"3d46470bb3030020f7e1361f33514854f5bfa86d"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/4bp6x5g79k9vzf65ry9f5k11qp2g4s9v-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/raca3b6cshdvwr4mxm2h6d8fsp6ys8cy-agda2lagda-0.2023.6.9-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/pkr0l13frpaxylgg15c36bdh6n959dj5-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/hw1m9pkbld7vv8pyifsif0vckqypn56w-agda2lagda-0.2023.6.9-doc"}]}}}