CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]        2023/01/18 14:24:29


Modified files:
        math/coq       : Makefile 

Log message:
add forgotten REVISION bump

Reply via email to