CVS: cvs.openbsd.org: ports

CVSROOT:        /cvs
Module name:    ports
Changes by:     [email protected]  2026/10/16 07:02:55


Modified files:
        math           : Makefile 

Log message:
+math/cadical

Reply via email to