{"name":"haskellPackages.Agda","version":"2.6.2.1","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4d60081494259c0785f7e228518fee74e0792c1b"},"attr_path":"haskellPackages.Agda"},"last_updated":"2022-03-24T04:49:18Z","outputs":[{"name":"out","path":"/nix/store/vfrw0dwrhlsc0n3m91ycsq38c9qjsllz-Agda-2.6.2.1","default":true},{"name":"data","path":"/nix/store/r05s5sbml4kdkpj64lbpip8l4rygf32g-Agda-2.6.2.1-data"},{"name":"doc","path":"/nix/store/anwgpzi2h856s13wijixi6vq0r36975n-Agda-2.6.2.1-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634"},"attr_path":"haskellPackages.Agda"},"last_updated":"2022-03-25T14:41:56Z","outputs":[{"name":"out","path":"/nix/store/qb9a6vyfgniagqzf1ll4pyyzilnd1awn-Agda-2.6.2.1","default":true},{"name":"data","path":"/nix/store/br8i0x693xin5z89yjs58rb62wl8jgdy-Agda-2.6.2.1-data"},{"name":"doc","path":"/nix/store/0qcwd1ccah4ylbkvf19iwns4f25v896n-Agda-2.6.2.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"30d3d79b7d3607d56546dd2a6b49e156ba0ec634"},"attr_path":"haskellPackages.Agda"},"last_updated":"2022-03-25T14:41:56Z","outputs":[{"name":"out","path":"/nix/store/z0pnf9jxc4295qmqcjqdfw6dk7j4c1np-Agda-2.6.2.1","default":true},{"name":"doc","path":"/nix/store/hwab3rkrqv2d3fwa30q8ywbffgm4s3dy-Agda-2.6.2.1-doc"},{"name":"data","path":"/nix/store/v1xrxn2sk2n3yw7bmvc5ggrm17kwibyn-Agda-2.6.2.1-data"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"98bb5b77c8c6666824a4c13d23befa1e07210ef1"},"attr_path":"haskellPackages.Agda"},"last_updated":"2022-02-09T15:24:27Z","outputs":[{"name":"out","path":"/nix/store/1rhlv5v1p8gdw6lcsbi2r983nnyjrij5-Agda-2.6.2.1","default":true},{"name":"data","path":"/nix/store/pk13lsimx5pz4nbjbyj7ydi2sfhysij1-Agda-2.6.2.1-data"},{"name":"doc","path":"/nix/store/1zgnbdd5fxmmd4fy2ybmjxnyay692gbl-Agda-2.6.2.1-doc"}]}}}