nixsearch / pkg / coqPackages.Verdi
coqPackages.Verdi
version20230503
attributecoqPackages.Verdi
reva9040b7bf8adcd322493722106dd603eb87694ea · one commit for every system
systems✓ aarch64-darwin✓ aarch64-linux✓ x86_64-darwin✓ x86_64-linux
$ devbox add coqPackages.Verdi@20230503
$ nix shell github:NixOS/nixpkgs/a9040b7bf8adcd322493722106dd603eb87694ea#coqPackages.Verdi
Releases
newest first, as/v2/pkg orders them
| Version | arm mac | arm linux | x86 mac | x86 linux | Attribute | Commit | Date | Outputs |
|---|---|---|---|---|---|---|---|---|
| 20230503resolved | ✓ | ✓ | ✓ | ✓ | coqPackages.Verdi |
a9040b7bf8 | ||
| 20211026 | ✓ | ✓ | ✓ | ✓ | coqPackages.Verdi |
96ba1c52e5 | ||
| 20210524 | ✓ | ✓ | ✓ | ✓ | coqPackages.Verdi |
varies | ||
| 20200131 | ✓ | – | ✓ | ✓ | coqPackages.Verdi |
ee084c0204 |
Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.