{"name":"ocamlPackages_latest.cooltt","summary":"Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory","description":"","homepage_url":"https://github.com/RedPRL/cooltt","license":"Apache-2.0","attribute_paths":["ocamlPackages_latest.cooltt"],"releases":[{"version":"2023-10-03","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"ocamlPackages_latest.cooltt","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/q180jblmbrzfaigsn47nrr4la05p041n-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"ocamlPackages_latest.cooltt","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/9xf9hxkqrff8q16y0cz94lrvgrvrwdyd-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"ocamlPackages_latest.cooltt","commit_hash":"fef9403a3e4d31b0a23f0bacebbec52c248fbb51","date":"2026-02-08T07:51:33Z","outputs":[{"name":"out","path":"/nix/store/cirq0m5xhc40f26lmzjw6y076888l67m-ocaml5.4.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"ocamlPackages_latest.cooltt","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/pyvbqnmv7ifxh300d8j2phgwm80332b4-ocaml5.5.0-cooltt-unstable-2023-10-03","default":true}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"","prerelease":false,"broken":false,"insecure":false}]}