{"name":"haskellPackages.Agda","version":"2.7.0","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"4e0eec54db79d4d0909f45a88037210ff8eaffee"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-10-26T14:05:56Z","outputs":[{"name":"out","path":"/nix/store/lpgr3jsgxgy2ak66awnwm0glg1y8gl13-Agda-2.7.0","default":true},{"name":"bin","path":"/nix/store/bfvvp0x8ixzvc4p3743v6kx1ngd34aqr-Agda-2.7.0-bin","default":true},{"name":"data","path":"/nix/store/rsjvirpznkjz5k5hqdqqvvgrlw4k5jig-Agda-2.7.0-data"},{"name":"doc","path":"/nix/store/q3chvsjy8i88mbdswby0ldhhkanry6j5-Agda-2.7.0-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"dfffb2e7a52d29a0ef8e21ec8a0f30487b227f1a"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-10-23T04:36:58Z","outputs":[{"name":"out","path":"/nix/store/r3hgvch80bg4s55759ll8ngx7g0gxshw-Agda-2.7.0","default":true},{"name":"bin","path":"/nix/store/9fx83g7xsi1b4ilxa7w539qadnyymmak-Agda-2.7.0-bin","default":true},{"name":"data","path":"/nix/store/rkjk8kz1ri8qn8919cqs98hkfzpsxaw8-Agda-2.7.0-data"},{"name":"doc","path":"/nix/store/08h0rww7wvyil5xb2jbx82f95mbqvbck-Agda-2.7.0-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"30c9efeef01e2ad4880bff6a01a61dd99536b3c9"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-10-29T02:50:45Z","outputs":[{"name":"out","path":"/nix/store/8h1hds18jn21c8yc5c5bpyz0vbir1xw3-Agda-2.7.0","default":true},{"name":"bin","path":"/nix/store/yl2jiff2yddwvs39ad2wmfq8n5wx3gq2-Agda-2.7.0-bin","default":true},{"name":"data","path":"/nix/store/djhnrbh9xiv5199mixkh3pz4jl0ai6rf-Agda-2.7.0-data"},{"name":"doc","path":"/nix/store/b26fbfc3xihidr813ixqnizdbghm44n0-Agda-2.7.0-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"2d2a9ddbe3f2c00747398f3dc9b05f7f2ebb0f53"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-10-30T07:09:13Z","outputs":[{"name":"out","path":"/nix/store/rv9nh6chn0hx7rd4mmlhnbja98r3gy9k-Agda-2.7.0","default":true},{"name":"bin","path":"/nix/store/cg5wgg944kn1nqbmj6v6kpxmaqr440m9-Agda-2.7.0-bin","default":true},{"name":"data","path":"/nix/store/4ylm22jaxxz26psij5ag3gdmnlpqz5k4-Agda-2.7.0-data"},{"name":"doc","path":"/nix/store/7iga0bkpzia54alfw4bbfi4ci29g50z8-Agda-2.7.0-doc"}]}}}