{"name":"coqPackages.HoTT","version":"9.0","summary":"Homotopy Type Theory library","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.HoTT"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/8djkn1w0bsi77w317r8k3c8fzbagvh3a-coq9.0-HoTT-9.0","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.HoTT"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/b2r2vsw5zk8cm0gb1x7bqaz2lfydn042-coq9.0-HoTT-9.0","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.HoTT"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/x49jan3w1cy15m3ny3yrwb47a2yhmmw1-coq9.0-HoTT-9.0","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"09061f748ee21f68a089cd5d91ec1859cd93d0be"},"attr_path":"coqPackages.HoTT"},"last_updated":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/d3ijdrdlpiwd6vnalf5vhyi32k181wg1-coq9.0-HoTT-9.0","default":true}]}}}