{"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":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/p5a63vcal3df7n88hc84jbd2kacxvshn-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/6p04qqmkragp6gjbi68c7m3bqpn2627v-agda2lagda-0.2023.6.9-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/3k4wzrw42ig8ywjnwv2hk9baai6glikk-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/al5pncriqs8zkkn5ynpkswbpr66py0zg-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":"319e4cebef10cbb636c6ea392137b52ad105336a"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"2026-10-14T08:20:44Z","outputs":[{"name":"out","path":"/nix/store/xswh6nw14iixmqby30a88kj5slv8mp4k-agda2lagda-0.2023.6.9","default":true},{"name":"doc","path":"/nix/store/x4nr719c7md0ji8ywr95j9gqxrzswam4-agda2lagda-0.2023.6.9-doc"}]}}}