mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-10-19 19:59:43 +00:00
Code Issues Releases Activity
98a406d77e
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 math/py-pysmt: Test dependency changed to CVC5 2023-01-04 03:50:54 -08:00
pkg-descr