openbsd/ports
1
0
Fork 0
mirror of https://github.com/openbsd/ports.git synced 2026-06-18 07:24:23 +02:00
Code Issues Packages Projects Releases Wiki Activity
Files
893c7d84ec3f94de65f0a045d73e24484ebffba5
ports/lang/compcert
T
History
daniel 749f32929e adapt for the rename of coq to rocq 
ok sthen@
2025-05-09 01:33:33 +00:00
..
patches
…
pkg
…
distinfo
…
Makefile
adapt for the rename of coq to rocq
2025-05-09 01:33:33 +00:00