mirror/freebsd-ports
1
0
Fork 0
mirror of https://git.FreeBSD.org/ports.git synced 2025-01-24 09:25:01 +00:00
Code Issues Releases Activity
da345ab023
freebsd-ports/math/cvc5
History
Yuri Victorovich 359167a298 math/cvc5: Fix tests
2023-03-27 11:25:49 -07:00
..
files
distinfo math/cvc5: Update 1.0.4 → 1.0.5 2023-03-15 01:50:43 -07:00
Makefile math/cvc5: Fix tests 2023-03-27 11:25:49 -07:00
pkg-descr
pkg-plist math/cvc5: Update 1.0.4 → 1.0.5 2023-03-15 01:50:43 -07:00