sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-05-20 19:13:27 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions
ports/math/coq/files
History
Alexey Dokuchaev 4c90e1b3af math/coq: force unsafe strings to unbreak against modern OCaml.
2022-04-10 18:27:14 +00:00
..
patch-Makefile.build
patch-Makefile.install