nixsearch / pkg / ocamlPackages.cooltt
ocamlPackages.cooltt
Cool implementation of normalization by evaluation (nbe) & elaboration for Cartesian cubical type theory
version2023-10-03
attributeocamlPackages.cooltt
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin b6c8664de9b6cc07fe5666a29f91884ba81197c4 aarch64-linux b6c8664de9b6cc07fe5666a29f91884ba81197c4 x86_64-darwin f76e4c7b1840704deda511ab34f37b829f6b5636 x86_64-linux b6c8664de9b6cc07fe5666a29f91884ba81197c4 $ devbox add ocamlPackages.cooltt@2023-10-03
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.cooltt # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.cooltt # aarch64-linux
$ nix shell github:NixOS/nixpkgs/f76e4c7b1840704deda511ab34f37b829f6b5636#ocamlPackages.cooltt # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/b6c8664de9b6cc07fe5666a29f91884ba81197c4#ocamlPackages.cooltt # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 2023-10-03resolved | ✓ | ✓ | ✓ | ✓ | ocamlPackages.cooltt |
varies | ||
| 2022-04-28 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.cooltt |
75a52265bd | ||
| 2021-05-25 | ✓ | ✓ | ✓ | ✓ | ocamlPackages.cooltt |
cce0667703 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.