{"name":"ocamlPackages_latest.cooltt","version":"2023-10-03","summary":"Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory","systems":{"aarch64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aff8a0b28396750446e5537a96461bc4facdb287"},"attr_path":"ocamlPackages_latest.cooltt"},"last_updated":"2026-09-10T20:56:27Z","outputs":[{"name":"out","path":"/nix/store/q180jblmbrzfaigsn47nrr4la05p041n-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}]},"aarch64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aff8a0b28396750446e5537a96461bc4facdb287"},"attr_path":"ocamlPackages_latest.cooltt"},"last_updated":"2026-09-10T20:56:27Z","outputs":[{"name":"out","path":"/nix/store/9xf9hxkqrff8q16y0cz94lrvgrvrwdyd-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}]},"x86_64-darwin":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"fef9403a3e4d31b0a23f0bacebbec52c248fbb51"},"attr_path":"ocamlPackages_latest.cooltt"},"last_updated":"2026-02-08T07:51:33Z","outputs":[{"name":"out","path":"/nix/store/cirq0m5xhc40f26lmzjw6y076888l67m-ocaml5.4.0-cooltt-unstable-2023-10-03","default":true}]},"x86_64-linux":{"flake_installable":{"ref":{"type":"github","owner":"NixOS","repo":"nixpkgs","rev":"aff8a0b28396750446e5537a96461bc4facdb287"},"attr_path":"ocamlPackages_latest.cooltt"},"last_updated":"2026-09-10T20:56:27Z","outputs":[{"name":"out","path":"/nix/store/pyvbqnmv7ifxh300d8j2phgwm80332b4-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}]}}}