{"name":"haskellPackages.Agda","version":"2.6.4.3","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"282e35e0762d64800d78e33ff225704baf9e5216"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-08-31T19:22:30Z","outputs":[{"name":"out","path":"/nix/store/3xb076pclkrjxarm8fz5kly794bl4fmh-Agda-2.6.4.3","default":true},{"name":"bin","path":"/nix/store/y9nyrrczkvyw7akskfk1ian2dcpxl5fi-Agda-2.6.4.3-bin","default":true},{"name":"data","path":"/nix/store/fzpj4jbrd33ghv62jn6gb1i19yk4n19v-Agda-2.6.4.3-data"},{"name":"doc","path":"/nix/store/p7pmvby9xlkz44fd58k363x7b2aya3df-Agda-2.6.4.3-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"5629520edecb69630a3f4d17d3d33fc96c13f6fe"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-08-31T10:12:23Z","outputs":[{"name":"out","path":"/nix/store/z9y5gx1hh3cgb2anxgcglnl2ig0pfnqw-Agda-2.6.4.3","default":true},{"name":"bin","path":"/nix/store/0cp8cnprg1f2d4gk3009v1ya94vf9z54-Agda-2.6.4.3-bin","default":true},{"name":"data","path":"/nix/store/vjbxkdyhlhyi53ibi4a0rrf1cnlkl9n6-Agda-2.6.4.3-data"},{"name":"doc","path":"/nix/store/cdz7j3bdbirdijc064pf8x5d3j3khq89-Agda-2.6.4.3-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b4061fd60ccc3b3f44b73faa7c983eacf7a6f7b"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-09-03T13:22:53Z","outputs":[{"name":"out","path":"/nix/store/myxnhi0ax0r2inrv62pgl0cgb4kjsx8y-Agda-2.6.4.3","default":true},{"name":"bin","path":"/nix/store/d78yv43yvnpfm8zdqz0krphp2bpmb8k2-Agda-2.6.4.3-bin","default":true},{"name":"doc","path":"/nix/store/y6rhchsxzqz94a3jy1xpa548vfjc7yqw-Agda-2.6.4.3-doc"},{"name":"data","path":"/nix/store/48qmi8hjk9fv07mh4v98nwlcgr7r0xi7-Agda-2.6.4.3-data"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"8b4061fd60ccc3b3f44b73faa7c983eacf7a6f7b"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-09-03T13:22:53Z","outputs":[{"name":"out","path":"/nix/store/2kzl9x82pja5yj4aglpwrsnbbna1mcwz-Agda-2.6.4.3","default":true},{"name":"bin","path":"/nix/store/pja3hwjl9l8s1scqn0jqlj273mssk92k-Agda-2.6.4.3-bin","default":true},{"name":"doc","path":"/nix/store/bjxfw4jmaviclv83lmf6ynx2a2h1pzb6-Agda-2.6.4.3-doc"},{"name":"data","path":"/nix/store/5x28zz35kd5x8mgcv6zb0z61n6v280hh-Agda-2.6.4.3-data"}]}}}