openbsd-ports/math/coq/patches
2022-03-11 19:36:11 +00:00
..
patch-Makefile_ide drop RCS Ids 2022-03-11 19:36:11 +00:00