nixsearch
nixsearch / pkg / ocamlPackages_latest.cooltt / 2023-10-03

ocamlPackages_latest.cooltt 2023-10-03

Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory
Linux and macOS last changed

Pin this version

$ devbox add ocamlPackages_latest.cooltt@2023-10-03
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitc27cdad491a991b11ed731760aa2ef8db0cb0410 
$ nix shell github:NixOS/nixpkgs/c27cdad491a991b11ed731760aa2ef8db0cb0410#ocamlPackages_latest.cooltt
systemsx86_64-darwin commitfef9403a3e4d31b0a23f0bacebbec52c248fbb51 
$ nix shell github:NixOS/nixpkgs/fef9403a3e4d31b0a23f0bacebbec52c248fbb51#ocamlPackages_latest.cooltt

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages_latest.cooltt c27cdad491a9
out
/nix/store/q180jblmbrzfaigsn47nrr4la05p041n-ocaml5.5.0-cooltt-unstable-2023-10-03
aarch64-linux
Linux · arm64		 ocamlPackages_latest.cooltt c27cdad491a9
out
/nix/store/9xf9hxkqrff8q16y0cz94lrvgrvrwdyd-ocaml5.5.0-cooltt-unstable-2023-10-03
x86_64-darwin
macOS · x86-64		 ocamlPackages_latest.cooltt fef9403a3e4d
out
/nix/store/cirq0m5xhc40f26lmzjw6y076888l67m-ocaml5.4.0-cooltt-unstable-2023-10-03
x86_64-linux
Linux · x86-64		 ocamlPackages_latest.cooltt c27cdad491a9
out
/nix/store/pyvbqnmv7ifxh300d8j2phgwm80332b4-ocaml5.5.0-cooltt-unstable-2023-10-03
all 1 releases

JSON: /v2/pkg?name=ocamlPackages_latest.cooltt · /v2/resolve?name=ocamlPackages_latest.cooltt&version=2023-10-03