CVSROOT: /cvs Module name: ports Changes by: [email protected] 2026/10/16 07:02:13
Log message:
math/cadical: new port (version 3.0.1)
Required as dependency for math/lean update
OK: tb@
Status:
Vendor Tag: kirill
Release Tags: kirill_20261016
N ports/math/cadical/Makefile
N ports/math/cadical/distinfo
N ports/math/cadical/patches/patch-src_mobical_cpp
N ports/math/cadical/pkg/DESCR
N ports/math/cadical/pkg/PLIST
No conflicts created by this import
