sync/ports
1
0
Fork 0
mirror of https://git.freebsd.org/ports.git synced 2025-04-28 09:36:41 -04:00
Code Issues Projects Releases Packages Wiki Activity Actions

math/cvc5: update 1.2.0 → 1.2.1

Browse source 
Reported by:	portscout
This commit is contained in:
Yuri Victorovich 2025-01-27 21:58:21 -08:00
parent 13c3bfb8c9
commit 2cae0a1952
2 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
math/cvc5/Makefile
View file

@ -1,6 +1,6 @@
PORTNAME= cvc5 PORTNAME= cvc5
DISTVERSIONPREFIX= cvc5- DISTVERSIONPREFIX= cvc5-
DISTVERSION= 1.2.0 DISTVERSION= 1.2.1
CATEGORIES= math java CATEGORIES= math java
EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX} EXTRACT_ONLY= ${DISTNAME}${EXTRACT_SUFX}

6
math/cvc5/distinfo
View file

@ -1,3 +1,3 @@
TIMESTAMP = 1723346538 TIMESTAMP = 1738036883
SHA256 (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e SHA256 (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 01197ca37a810bce418ae98a44dbb3348697554582395300a09c85d7af182d69
SIZE (cvc5-cvc5-cvc5-1.2.0_GH0.tar.gz) = 8916450 SIZE (cvc5-cvc5-cvc5-1.2.1_GH0.tar.gz) = 9045038