math/cadical: update 1.9.5 → 2.0.0

This commit is contained in:
Yuri Victorovich 2024-10-02 18:23:55 -07:00
parent 979ab251b9
commit ac49279950
2 changed files with 4 additions and 5 deletions

View file

@ -1,7 +1,6 @@
PORTNAME= cadical
DISTVERSIONPREFIX= rel-
DISTVERSION= 1.9.5
PORTREVISION= 1
DISTVERSION= 2.0.0
CATEGORIES= math devel
MAINTAINER= yuri@FreeBSD.org

View file

@ -1,3 +1,3 @@
TIMESTAMP = 1709755914
SHA256 (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = fb1850e08c578229c8a3a020673fd65ae271c54f0ce660386a0de952bfd7b2b0
SIZE (arminbiere-cadical-rel-1.9.5_GH0.tar.gz) = 691268
TIMESTAMP = 1727899500
SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136