cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
c66fbc5574
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