openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-17 23:13:55 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
ports/lang/compcert/patches
T
History
daniel 39bd23c767 update to CompCert 3.16 
IBT/BTI is not yet ready for this release so it is turned off but hopefully
support will be included in a future release.
2025-09-02 12:39:32 +00:00
..
patch-configure
update to CompCert 3.16
2025-09-02 12:39:32 +00:00