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

ocamlPackages.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.cooltt@2023-10-03
systemsaarch64-darwin, aarch64-linux, x86_64-linux commitb6c8664de9b6cc07fe5666a29f91884ba81197c4 
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.cooltt
systemsx86_64-darwin commitf76e4c7b1840704deda511ab34f37b829f6b5636 
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.cooltt

Per system

SystemAttributeCommitDateOutputsFlags
aarch64-darwin
macOS · arm64		 ocamlPackages.cooltt b6c8664de9b6
out
/nix/store/kqbw1j019b11rs95b6nmrq3gh1sf698h-ocaml5.5.0-cooltt-unstable-2023-10-03
aarch64-linux
Linux · arm64		 ocamlPackages.cooltt b6c8664de9b6
out
/nix/store/4bsp810knjy8plzd38cf2ippqwplim7y-ocaml5.5.0-cooltt-unstable-2023-10-03
x86_64-darwin
macOS · x86-64		 ocamlPackages.cooltt f76e4c7b1840
out
/nix/store/wc7kvkm0fsnrdhdm350v1yaj5xcb0s59-ocaml5.4.1-cooltt-unstable-2023-10-03
x86_64-linux
Linux · x86-64		 ocamlPackages.cooltt b6c8664de9b6
out
/nix/store/hzhd9zjy83ym82j87k4bj6dkxlakwwpz-ocaml5.5.0-cooltt-unstable-2023-10-03
all 3 releases older: 2022-04-28 →

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