{"name":"haskellPackages.Agda","version":"2.8.0","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/pdvxvpssmqlw1va5j4p7c3i36qv0pxbi-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/77qfgmnjf9birhn9snz1gib81ssydrsz-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/5pkjmdy97wi5cklgkn1axb7mv5pcd63j-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/x0g5jiqgwkxsrpxvv0a80dy0xl9n5xqd-Agda-2.8.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/7vr54yr3wk9k2mj4ngjdb2g4p5n6jv74-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/qcdslnb8r2da10gqm673an46mykdszfy-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/11fvx4zzpcxcgzv0qzyx1ik650cbxsi1-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/na10kw68m3zvpw18rqqvw7qz793mhfgv-Agda-2.8.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"05988b07fb05cbcb50be6bce197b4b5f75b5e61b"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-07-08T01:50:52Z","outputs":[{"name":"out","path":"/nix/store/nsv187phkrzkmwhg6xvafr928y4qi8mw-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/b1br03l1k6p9irdvkhn8rgndgk2y3487-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/0ahxmqz9sbmrq0b8vah55zz563mb86l4-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/k0j196n1q8sykx4vimmgfiwl5wqk7l8y-Agda-2.8.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"682ba80136e2c8dacd6b8900f578a72329458901"},"attr_path":"haskellPackages.Agda"},"last_updated":"2026-10-19T15:20:57Z","outputs":[{"name":"out","path":"/nix/store/b3ixm67mnf4gw9ns1vnkggk3l00v21rs-Agda-2.8.0","default":true},{"name":"bin","path":"/nix/store/z4grrr2qghva3aflpb9hjh7j0fidd36j-Agda-2.8.0-bin","default":true},{"name":"data","path":"/nix/store/7b4iyzfjnwb4k2i70gfrqbhpnviandzp-Agda-2.8.0-data"},{"name":"doc","path":"/nix/store/pqp0gbk795lydqs6jq09wffy6w81g03v-Agda-2.8.0-doc"}]}}}