freebsd/ports
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

math/cadical: update 2.0.0 → 2.1.3

Browse Source
This commit is contained in:
Yuri Victorovich 2025-06-19 08:50:39 -07:00
parent 32c333ac1c
commit 24cf5ad9aa
6 changed files with 8 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
math/bitwuzla/Makefile
View File

@ -1,5 +1,6 @@
PORTNAME= bitwuzla
DISTVERSION= 0.7.0
PORTREVISION= 1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

1
math/boolector/Makefile
View File

@ -1,5 +1,6 @@
PORTNAME= boolector
DISTVERSION= 3.2.4
PORTREVISION= 1
CATEGORIES= math
MAINTAINER= yuri@FreeBSD.org

1
math/cadiback/Makefile
View File

@ -1,5 +1,6 @@
PORTNAME= cadiback
DISTVERSION= g20240729
PORTREVISION= 1
CATEGORIES= math devel
MAINTAINER= yuri@FreeBSD.org

2
math/cadical/Makefile
View File

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

6
math/cadical/distinfo
View File

@ -1,3 +1,3 @@
TIMESTAMP = 1727899500
SHA256 (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 9afe5f6439442d854e56fc1fac3244ce241dbb490735939def8fd03584f89331
SIZE (arminbiere-cadical-rel-2.0.0_GH0.tar.gz) = 709136
TIMESTAMP = 1750305187
SHA256 (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = abfe890aa4ccda7b8449c7ad41acb113cfb8e7e8fbf5e49369075f9b00d70465
SIZE (arminbiere-cadical-rel-2.1.3_GH0.tar.gz) = 731545

1
math/lean4/Makefile
View File

@ -1,6 +1,7 @@
PORTNAME= lean4
DISTVERSIONPREFIX= v
DISTVERSION= 4.20.1
PORTREVISION= 1
CATEGORIES= math lang devel # lean4 is primarily a math theorem prover, but it is also a language and a development environment
MAINTAINER= yuri@FreeBSD.org