openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-19 16:05:12 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
a36c636c86dbcd94dea4076f633eedef87800a9e
ports/lang/compcert
T
History
sthen 1622e664d7 mark BROKEN-i386
2024-04-30 10:31:38 +00:00
..
patches
…
pkg
…
distinfo
update to CompCert 3.13.1
2023-09-17 03:45:05 +00:00
Makefile
mark BROKEN-i386
2024-04-30 10:31:38 +00:00