{"name":"coqPackages.HoTT","version":"8.18","summary":"The Homotopy Type Theory library","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.HoTT"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/nnxkwwhaphx0rzcx51rnrs90fq1yj9zn-coq8.18-HoTT-8.18","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.HoTT"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/v8jz3m0v237wxpr9xq5gf9s6cqs0dskp-coq8.18-HoTT-8.18","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.HoTT"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/c6zsj7dkjgc8l0chlmgz3cnf0p6ncbam-coq8.18-HoTT-8.18","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"a9040b7bf8adcd322493722106dd603eb87694ea"},"attr_path":"coqPackages.HoTT"},"last_updated":"2024-04-24T04:52:23Z","outputs":[{"name":"out","path":"/nix/store/kgmvmvhgm2jqd1blr2cbi01vd6chnbj7-coq8.18-HoTT-8.18","default":true}]}}}