{"name":"haskellPackages.Agda","version":"2.6.4.1","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"9b09bde6e3fc9493b6a8b2a5702ac87c66505c64"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-03-29T03:06:03Z","outputs":[{"name":"out","path":"/nix/store/cgn7jb3s75g1k816wy4s7w88kizzhb0d-Agda-2.6.4.1","default":true},{"name":"doc","path":"/nix/store/py9m392mmdlbfg4nr0x4zrp0dmh4m8hx-Agda-2.6.4.1-doc"},{"name":"data","path":"/nix/store/qf71vc2napfx6376x3md50b6cmd2821r-Agda-2.6.4.1-data"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"64c81edb4b97a51c5bbc54c191763ac71a6517ee"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-03-28T19:46:15Z","outputs":[{"name":"out","path":"/nix/store/pxlhn69nbvkzaccaaw6dvhww8694b9gx-Agda-2.6.4.1","default":true},{"name":"data","path":"/nix/store/si6nl7fi171h520hbbibdjynf1j7rf9n-Agda-2.6.4.1-data"},{"name":"doc","path":"/nix/store/4q9s6f66r0lx40rz9jaj909xfms4rd5l-Agda-2.6.4.1-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"807c549feabce7eddbf259dbdcec9e0600a0660d"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-03-29T12:35:36Z","outputs":[{"name":"out","path":"/nix/store/jxaq8l065d5zn9swr3n47sh8395wh2x9-Agda-2.6.4.1","default":true},{"name":"data","path":"/nix/store/pcw4wvm5mp987xf1dmnxnkwcgs2glqm3-Agda-2.6.4.1-data"},{"name":"doc","path":"/nix/store/07hgn6k6fgba0gd4yb76mf4kiqwb165j-Agda-2.6.4.1-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"07262b18b97000d16a4bdb003418bd2fb067a932"},"attr_path":"haskellPackages.Agda"},"last_updated":"2024-03-25T21:25:22Z","outputs":[{"name":"out","path":"/nix/store/8qnxyvrx8bifwkfqamyppm5vivgrrxyl-Agda-2.6.4.1","default":true},{"name":"data","path":"/nix/store/9dsqpg02j49rh77i9v3ax42ygh02xvqd-Agda-2.6.4.1-data"},{"name":"doc","path":"/nix/store/x1nfpaahni4jzhbw8lg7flcx92mm9fpn-Agda-2.6.4.1-doc"}]}}}