diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-19 08:50:39 -0700 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2025-06-19 08:52:36 -0700 |
| commit | 24cf5ad9aa4cb04a47a277e0cdcb3bb75579109d (patch) | |
| tree | 5ddbe151926678d8981cc6fb6d245eac2982ba59 /math | |
| parent | misc/{,py-}ezc3d: update 1.5.11 → 1.5.19 (diff) | |
math/cadical: update 2.0.0 → 2.1.3
Diffstat (limited to 'math')
| -rw-r--r-- | math/bitwuzla/Makefile | 1 | ||||
| -rw-r--r-- | math/boolector/Makefile | 1 | ||||
| -rw-r--r-- | math/cadiback/Makefile | 1 | ||||
| -rw-r--r-- | math/cadical/Makefile | 2 | ||||
| -rw-r--r-- | math/cadical/distinfo | 6 | ||||
| -rw-r--r-- | math/lean4/Makefile | 1 |
6 files changed, 8 insertions, 4 deletions
diff --git a/math/bitwuzla/Makefile b/math/bitwuzla/Makefile index 2a9354538866..63387ea1b148 100644 --- a/math/bitwuzla/Makefile +++ b/math/bitwuzla/Makefile @@ -1,5 +1,6 @@ PORTNAME= bitwuzla DISTVERSION= 0.7.0 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/boolector/Makefile b/math/boolector/Makefile index 2450bea7df94..4d654fa79dbf 100644 --- a/math/boolector/Makefile +++ b/math/boolector/Makefile @@ -1,5 +1,6 @@ PORTNAME= boolector DISTVERSION= 3.2.4 +PORTREVISION= 1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/cadiback/Makefile b/math/cadiback/Makefile index 1b7786ef63dd..594109c0d317 100644 --- a/math/cadiback/Makefile +++ b/math/cadiback/Makefile @@ -1,5 +1,6 @@ PORTNAME= cadiback DISTVERSION= g20240729 +PORTREVISION= 1 CATEGORIES= math devel MAINTAINER= yuri@FreeBSD.org diff --git a/math/cadical/Makefile b/math/cadical/Makefile index 044ecfaffdd0..67a944066d57 100644 --- a/math/cadical/Makefile +++ b/math/cadical/Makefile @@ -1,6 +1,6 @@ PORTNAME= cadical DISTVERSIONPREFIX= rel- -DISTVERSION= 2.0.0 +DISTVERSION= 2.1.3 CATEGORIES= math devel MAINTAINER= yuri@FreeBSD.org diff --git a/math/cadical/distinfo b/math/cadical/distinfo index 7c8447d30fa9..945a9f90c070 100644 --- a/math/cadical/distinfo +++ b/math/cadical/distinfo @@ -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 diff --git a/math/lean4/Makefile b/math/lean4/Makefile index f88c468e34d0..acc607f13634 100644 --- a/math/lean4/Makefile +++ b/math/lean4/Makefile @@ -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 |