{"name":"haskellPackages.Agda","version":"2.6.4","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d44d59d2b5bd694cd9d996fd8c51d03e3e9ba7f7"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-12-31T07:44:09Z","outputs":[{"name":"out","path":"/nix/store/zzr1mlkh0w7gnra6imgysbin2905qsr7-Agda-2.6.4","default":true},{"name":"data","path":"/nix/store/0jlqxmnhlr3q144b058gkxbcrilfw111-Agda-2.6.4-data"},{"name":"doc","path":"/nix/store/v07x8n7c47sr35fycggry0rwmizrshcr-Agda-2.6.4-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aa9d4729cbc99dabacb50e3994dcefb3ea0f7447"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-12-14T07:33:05Z","outputs":[{"name":"out","path":"/nix/store/51a30k3w5hhyf5ay5gk7y783rx44nv4x-Agda-2.6.4","default":true},{"name":"data","path":"/nix/store/yblkj8gp411djnxzhhl57cphgdkbwi81-Agda-2.6.4-data"},{"name":"doc","path":"/nix/store/1ky4d71hi95a3w9ih71zxwbmczsdlnsn-Agda-2.6.4-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"d6863cbcbbb80e71cecfc03356db1cda38919523"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-12-21T04:58:04Z","outputs":[{"name":"out","path":"/nix/store/jhlvlnk9i2xnhxh2yj7zn0yjjkam48gv-Agda-2.6.4","default":true},{"name":"data","path":"/nix/store/mi8w0k4xnhrxc3h6vzxdgybch7l7jdp5-Agda-2.6.4-data"},{"name":"doc","path":"/nix/store/77a1bkj2wj8gaq2pasck51fj5wsn485k-Agda-2.6.4-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e1fa12d4f6c6fe19ccb59cac54b5b3f25e160870"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-12-25T10:13:25Z","outputs":[{"name":"out","path":"/nix/store/8icsf1alnxcpbkc56z0mkvzb8b28lsaa-Agda-2.6.4","default":true},{"name":"data","path":"/nix/store/608xqvjg39cskqsi9swckvc36czijnbm-Agda-2.6.4-data"},{"name":"doc","path":"/nix/store/pdl66v8hn8j4462jvi5zjbbjvzl4mqi6-Agda-2.6.4-doc"}]}}}