mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2024-11-19 00:13:33 +00:00
Code Issues Releases Activity
7cb7d2d50a
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