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
8906117a65
freebsd-ports/math/cvc5
History
Yuri Victorovich 584102d5e0 math/cadical: Update 1.5.3 → 1.6.0
2023-06-25 11:29:33 -07:00
..
files
distinfo math/cvc5: Update 1.0.4 → 1.0.5 2023-03-15 01:50:43 -07:00
Makefile math/cadical: Update 1.5.3 → 1.6.0 2023-06-25 11:29:33 -07:00
pkg-descr
pkg-plist math/cvc5: Update 1.0.4 → 1.0.5 2023-03-15 01:50:43 -07:00