6 package(s) known
| Repository | Package name | Version | Category | Maintainer(s) |
|---|---|---|---|---|
| AUR | compcert-git | 3.7.r35.gbb9fa555 | - | xuanruiqi@aur |
| AUR | compcert | 3.18 | - | xuanruiqi@aur, koraynilay@aur |
| nixpkgs stable 26.05 | compcert | 3.17 | - | [email protected], [email protected], [email protected] |
| nixpkgs unstable | compcert | 3.18 | - | [email protected], [email protected], [email protected] |
| OpenBSD Ports | lang/compcert | 3.18 | lang | [email protected] |
| T2 SDE | compcert | 3.18 | extra/development | [email protected] |