{"name":"haskellPackages.Agda","version":"2.6.3","summary":"A dependently typed functional programming language and proof assistant","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e06c716ef149f466f25e62a836c30b90476e65e5"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-11-10T07:38:13Z","outputs":[{"name":"out","path":"/nix/store/50xns3bq701v7dv669sipqb2z3gq821a-Agda-2.6.3","default":true},{"name":"data","path":"/nix/store/y5j5myx793vq6cnpgsivs0gqy5b33fir-Agda-2.6.3-data"},{"name":"doc","path":"/nix/store/68j85759gvfakpmnmayls2f25dr84f9r-Agda-2.6.3-doc"}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a0b3b06b7a82c965ae0bb1d59f6e386fe755001d"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-11-05T12:12:45Z","outputs":[{"name":"out","path":"/nix/store/g58ang3hpy5ii74v06b6abvwn5wlpmq3-Agda-2.6.3","default":true},{"name":"data","path":"/nix/store/cjggswb7r65df8rff0wqp430d2kl53yw-Agda-2.6.3-data"},{"name":"doc","path":"/nix/store/bzzqjmr0dgd4i7hgsyxrg46p2v649i9s-Agda-2.6.3-doc"}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e06c716ef149f466f25e62a836c30b90476e65e5"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-11-10T07:38:13Z","outputs":[{"name":"out","path":"/nix/store/9kzcggmlw196pn6xyv7ghvps9ga915ca-Agda-2.6.3","default":true},{"name":"data","path":"/nix/store/d1rr10avjjc5syyar42kf1mr8ifkfvic-Agda-2.6.3-data"},{"name":"doc","path":"/nix/store/zbr2j17j5m8lbzfdmbpmbjl2zlqh4v47-Agda-2.6.3-doc"}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"e06c716ef149f466f25e62a836c30b90476e65e5"},"attr_path":"haskellPackages.Agda"},"last_updated":"2023-11-10T07:38:13Z","outputs":[{"name":"out","path":"/nix/store/gykb0nx4vl1wwj48vlic3v77dvwvwgfk-Agda-2.6.3","default":true},{"name":"data","path":"/nix/store/6fx2j9hgh0jcxqsfmv0ly5d7hp9y71mf-Agda-2.6.3-data"},{"name":"doc","path":"/nix/store/9mckv2d4f95fx019jmp1mmsp8apdz6ls-Agda-2.6.3-doc"}]}}}