{"name":"haskellPackages.Agda","version":"2.6.2.2","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a1291d0d020a200c7ce3c48e96090bfa4890a475"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-02-19T07:08:29Z","outputs":[{"name":"out","path":"/nix/store/8c0whp6iyhar3234idvm2f5yvy9axlrx-Agda-2.6.2.2","default":true},{"name":"data","path":"/nix/store/8c6p5i7pwbf88d69f91l1pd2fdqjsm2j-Agda-2.6.2.2-data"},{"name":"doc","path":"/nix/store/42kzi2l5rbqlkgicb4kdgvcybxwix3cw-Agda-2.6.2.2-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"06365ba4549654b7ce58c33365c1282800e83a9e"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-02-18T23:39:43Z","outputs":[{"name":"out","path":"/nix/store/ava0pkqd91jx9gvvy3zi2pxpz8y8k8bl-Agda-2.6.2.2","default":true},{"name":"doc","path":"/nix/store/kc90jvc2baln5xqk71nyfryd39xzs2ma-Agda-2.6.2.2-doc"},{"name":"data","path":"/nix/store/ragwk2ghsz9f5mhwryaccbcldvvr9lrh-Agda-2.6.2.2-data"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"0a25e2c87e784bf7e06e7833ec0e06d34836959a"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-02-14T00:52:29Z","outputs":[{"name":"out","path":"/nix/store/wdpbkkynh4jc56sylghd97qna49fjfc4-Agda-2.6.2.2","default":true},{"name":"data","path":"/nix/store/w3wan1769ansx73s1mvaw71917lq100v-Agda-2.6.2.2-data"},{"name":"doc","path":"/nix/store/i8szn61jbvx14fgj9nv6p7n2kx0qwgfa-Agda-2.6.2.2-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"06365ba4549654b7ce58c33365c1282800e83a9e"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-02-18T23:39:43Z","outputs":[{"name":"out","path":"/nix/store/x40bacwv8jdpn8k4qvh9kghg31ajcfyz-Agda-2.6.2.2","default":true},{"name":"data","path":"/nix/store/qvbrnznwxixyinwjkhp8yzk685wil807-Agda-2.6.2.2-data"},{"name":"doc","path":"/nix/store/6mla7z0kfijzi6j73w9bm32a3n13qjvi-Agda-2.6.2.2-doc"}]}}}