OpenBSD/ports wg6hH6A — math/coq Makefile2019-10-08 10:56:29 UTC by sthen on ⎇HEAD🏷OPENBSD_6_6_BASE really bump REVISION VersionDeltaFile1.47+2-3math/coq/Makefile+2-31 filesUnifiedSplitRaw+ '/diff/unified' Diff