nixsearch / pkg / coqPackages.compcert
coqPackages.compcert
Formally verified C compiler
version3.17
attributecoqPackages.compcert
rev
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
aarch64-darwin 419fe0f449b3fbe3bdd53d9840288db4509ec32e aarch64-linux 419fe0f449b3fbe3bdd53d9840288db4509ec32e x86_64-darwin d33369954a67ae3322177dc9a3d564092912120c x86_64-linux 419fe0f449b3fbe3bdd53d9840288db4509ec32e $ devbox add coqPackages.compcert@3.17
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.compcert # aarch64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.compcert # aarch64-linux
$ nix shell github:NixOS/nixpkgs/d33369954a67ae3322177dc9a3d564092912120c#coqPackages.compcert # x86_64-darwin
$ nix shell github:NixOS/nixpkgs/419fe0f449b3fbe3bdd53d9840288db4509ec32e#coqPackages.compcert # x86_64-linux
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 3.17resolved | ✓ | ✓ | ✓ | ✓ | coqPackages.compcert |
varies | man, out, doc, lib | |
| 3.16 | ✓ | ✓ | ✓ | ✓ | coqPackages.compcert |
varies | man, out, doc, lib | |
| 3.11 | – | – | ✓ | ✓ | coqPackages.compcert |
7d0ed7f2e5 | ||
| 3.10 | – | – | ✓ | ✓ | coqPackages.compcert |
varies | ||
| 3.9 | – | – | ✓ | ✓ | coqPackages.compcert |
7fad01d9d5 | ||
| 3.8 | – | – | ✓ | ✓ | coqPackages.compcert |
4b7c8d538e |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.