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/math/rocq
T
History
daniel aca789d01b update rocq to build coqide again 
Now that both dune and lablgtk3 have been updated, we can resume building
coqide as part of rocq.

ok MAINTAINER
2026-02-22 20:40:37 +00:00
..
pkg
update rocq to build coqide again
2026-02-22 20:40:37 +00:00
distinfo
…
Makefile
update rocq to build coqide again
2026-02-22 20:40:37 +00:00