ports/math/cvc5/pkg-plist, branch 13-eol
FreeBSD ports tree
https://cgit-dev.freebsd.org/ports/atom?h=13-eol
2024-08-11T16:54:42Z
math/cvc5: update 1.1.2 → 1.2.0
2024-08-11T16:54:42Z
Yuri Victorovich
yuri@FreeBSD.org
2024-08-11T16:54:18Z
urn:sha1:d41c16c98e5d078415711d46cad8206d53e70199
Reported by: portscout
math/cvc5: update 1.1.1 → 1.1.2
2024-03-04T23:19:08Z
Yuri Victorovich
yuri@FreeBSD.org
2024-03-04T14:01:59Z
urn:sha1:0d219467b46a43a70b287202b39690a88bf17fe0
Reported by: portscout
math/cvc5: update 1.0.8 → 1.1.0
2024-01-07T20:40:49Z
Yuri Victorovich
yuri@FreeBSD.org
2024-01-07T20:36:03Z
urn:sha1:cf32d424195e2314e3b7eb9f83584af6e697b51c
Reported by: portscout
math/cvc5: update 1.0.5 → 1.0.8
2023-09-17T18:47:39Z
Yuri Victorovich
yuri@FreeBSD.org
2023-09-17T18:47:29Z
urn:sha1:a31acf08261d5c3a734dea6edbc94008688ffeab
math/cvc5: Update 1.0.4 → 1.0.5
2023-03-15T08:50:43Z
Yuri Victorovich
yuri@FreeBSD.org
2023-03-15T06:39:45Z
urn:sha1:a732bcdc59d6acb3b275fd9ae0f3a0776c8b8335
math/cvc5: Update 1.0.3 → 1.0.4
2023-02-07T03:00:43Z
Yuri Victorovich
yuri@FreeBSD.org
2023-02-07T03:00:28Z
urn:sha1:7c8a6b010bfac0c78c4123c4d3e8049600d95f73
math/cvc4: Move to math/cvc5 - CVC4 was succeeded by CVC5
2023-01-04T11:50:53Z
Yuri Victorovich
yuri@FreeBSD.org
2023-01-04T11:27:14Z
urn:sha1:faf8043d8972b9be04156c476417ed611a280821
Remove the PYTHON option - it will be made into a separate port.