{"name":"haskellPackages.agda2lagda","version":"0.2021.6.1","summary":"Translate .agda files into .lagda.tex files.","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"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"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"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"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"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"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e6868b1aa3766ab1de169922bb3826143941973"},"attr_path":"haskellPackages.agda2lagda"},"last_updated":"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"}]}}}