mykola/freebsd-ports
1
0
Fork 0
forked from Lainports/freebsd-ports
Code Pull requests Activity
freebsd-ports/math/py-pysmt
History
Yuri Victorovich a41f63c03e math/py-pysmt: Test dependency changed to CVC5 
The project so far doesn't support CVC5.
2023-01-04 03:50:54 -08:00
..
distinfo
Makefile
pkg-descr