{"name":"haskellPackages.Agda","version":"2.7.0.1","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"372d9eeeafa5b15913201e2b92e8e539ac7c64d1"},"attr_path":"haskellPackages.Agda"},"last_updated":"2025-08-12T09:17:37Z","outputs":[{"name":"out","path":"/nix/store/y4nwvgyzl6s512l4in0k2wxzir3qvx44-Agda-2.7.0.1","default":true},{"name":"bin","path":"/nix/store/kcan089y9ylkhqh1944m5xn8g8w4ybwq-Agda-2.7.0.1-bin","default":true},{"name":"doc","path":"/nix/store/2iwyjhifbkp4m03jfs7g1j7xsw3xmp9q-Agda-2.7.0.1-doc"},{"name":"data","path":"/nix/store/xnklh5x6x71dn2md0yymqn1gmx2c9c5x-Agda-2.7.0.1-data"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"00b574b1ba8a352f0601c4dde4faff4b534ebb1e"},"attr_path":"haskellPackages.Agda"},"last_updated":"2025-08-09T03:53:37Z","outputs":[{"name":"out","path":"/nix/store/qvbqyq99lk3fdla8pwhmh7aa7z1ly3zc-Agda-2.7.0.1","default":true},{"name":"bin","path":"/nix/store/inrrsa0l0gy5sfhyvbdsfyb3wysc7fb7-Agda-2.7.0.1-bin","default":true},{"name":"data","path":"/nix/store/38ak26m6sjnack3aqz2ny9a36cv7jbvh-Agda-2.7.0.1-data"},{"name":"doc","path":"/nix/store/d8wm7xvxc0kjmj18ib5ddw2kxdxbf1yz-Agda-2.7.0.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e942f9ef5b35526597c354d1ded817d1c285ef1"},"attr_path":"haskellPackages.Agda"},"last_updated":"2025-08-11T16:06:55Z","outputs":[{"name":"out","path":"/nix/store/lm7jj632dc1jm9pk021hjrp40bmzcxra-Agda-2.7.0.1","default":true},{"name":"bin","path":"/nix/store/68avwzlwm0lvnck3b1zqfrhs3gmz8fy1-Agda-2.7.0.1-bin","default":true},{"name":"data","path":"/nix/store/flrd72lrgiaazzf95177qrd880vlw8aa-Agda-2.7.0.1-data"},{"name":"doc","path":"/nix/store/0xh4w527jb72f95jp24wccjyqgx9qkip-Agda-2.7.0.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"bf9fa86a9b1005d932f842edf2c38eeecc98eef3"},"attr_path":"haskellPackages.Agda"},"last_updated":"2025-08-03T19:18:05Z","outputs":[{"name":"out","path":"/nix/store/1w5qgakr7ncwr02zrq7gfdagaj2f2raq-Agda-2.7.0.1","default":true},{"name":"bin","path":"/nix/store/7wbx9qzahbxf51vbb0wxrg5c41y34y87-Agda-2.7.0.1-bin","default":true},{"name":"data","path":"/nix/store/1kdczncsjxwhhpyaxszq67xn1mxxan12-Agda-2.7.0.1-data"},{"name":"doc","path":"/nix/store/fqbqrljjh47q559xnf87m55sxbm6hjh1-Agda-2.7.0.1-doc"}]}}}