{"name":"haskellPackages.agda2lagda","summary":"Translate .agda files into .lagda.tex files.","description":"","homepage_url":"https://hackage.haskell.org/package/agda2lagda","license":"","attribute_paths":["haskellPackages.agda2lagda"],"releases":[{"version":"0.2023.6.9","last_updated":"2026-09-29T03:29:29Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.agda2lagda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.agda2lagda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.agda2lagda","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"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"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.agda2lagda","commit_hash":"b6c8664de9b6cc07fe5666a29f91884ba81197c4","date":"2026-09-29T03:29:29Z","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"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false},{"version":"0.2021.6.1","last_updated":"2023-08-08T11:45:39Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"haskellPackages.agda2lagda","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/9d5jdyqrm5jc6h901kylynyqg069qjvz-agda2lagda-0.2021.6.1","default":true},{"name":"doc","path":"/nix/store/hkc5lkgzc0w90g42i3f99g06cvlj5n20-agda2lagda-0.2021.6.1-doc"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"haskellPackages.agda2lagda","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/dw806vk9ksx8sdhjwsx8w5jh7jxsrwm9-agda2lagda-0.2021.6.1","default":true},{"name":"doc","path":"/nix/store/vn5nvj1765h8sbwyi0vg1v0vc57ni75i-agda2lagda-0.2021.6.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"haskellPackages.agda2lagda","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/8r2h0gkiijh7w069b7k1hnbyqdwji41s-agda2lagda-0.2021.6.1","default":true},{"name":"doc","path":"/nix/store/vgakryj8l1zpay21zjh8c3a99mx1axbj-agda2lagda-0.2021.6.1-doc"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"haskellPackages.agda2lagda","commit_hash":"4e6868b1aa3766ab1de169922bb3826143941973","date":"2023-08-08T11:45:39Z","outputs":[{"name":"out","path":"/nix/store/2gxxc8067pawfgmdcf3p2v0bh90qfzw7-agda2lagda-0.2021.6.1","default":true},{"name":"doc","path":"/nix/store/7a5wx8bkfnw47vi7lqh4prc0x9wk90za-agda2lagda-0.2021.6.1-doc"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, doc","prerelease":false,"broken":false,"insecure":false}]}