diff options
author | Yuri Victorovich <yuri@FreeBSD.org> | 2024-02-23 10:25:12 +0000 |
---|---|---|
committer | Yuri Victorovich <yuri@FreeBSD.org> | 2024-02-23 10:25:42 +0000 |
commit | ac4b8e87bd26c85429f531e49faabb741344b77b (patch) | |
tree | c8c18f22b686c2d60a861bd5410ffdf12d63331f | |
parent | 0b6549a24575c4cbf52b734461738838439c47e4 (diff) | |
download | ports-ac4b8e87bd26c85429f531e49faabb741344b77b.tar.gz ports-ac4b8e87bd26c85429f531e49faabb741344b77b.zip |
math/elan: update 3.0.0 → 3.1.1
Reported by: portscout
-rw-r--r-- | math/elan/Makefile | 3 | ||||
-rw-r--r-- | math/elan/distinfo | 6 |
2 files changed, 4 insertions, 5 deletions
diff --git a/math/elan/Makefile b/math/elan/Makefile index f4c90168d5e3..6b395084a221 100644 --- a/math/elan/Makefile +++ b/math/elan/Makefile @@ -1,7 +1,6 @@ PORTNAME= elan DISTVERSIONPREFIX= v -DISTVERSION= 3.0.0 -PORTREVISION= 1 +DISTVERSION= 3.1.1 CATEGORIES= math MAINTAINER= yuri@FreeBSD.org diff --git a/math/elan/distinfo b/math/elan/distinfo index 929f9c25df43..4906175ee8e4 100644 --- a/math/elan/distinfo +++ b/math/elan/distinfo @@ -1,4 +1,4 @@ -TIMESTAMP = 1705312310 +TIMESTAMP = 1708682352 SHA256 (rust/crates/addr2line-0.19.0.crate) = a76fd60b23679b7d19bd066031410fb7e458ccc5e958eb5c325888ce4baedc97 SIZE (rust/crates/addr2line-0.19.0.crate) = 33210 SHA256 (rust/crates/adler-1.0.2.crate) = f26201604c87b1e01bd3d98f8d5d9a8fcbb815e8cedb41ffccbeb4bf593a35fe @@ -459,5 +459,5 @@ SHA256 (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 94b61c51bb270702d6167b8c SIZE (rust/crates/zstd-safe-4.1.6+zstd.1.5.2.crate) = 17194 SHA256 (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = fc49afa5c8d634e75761feda8c592051e7eeb4683ba827211eb0d731d3402ea8 SIZE (rust/crates/zstd-sys-1.6.3+zstd.1.5.2.crate) = 720054 -SHA256 (leanprover-elan-v3.0.0_GH0.tar.gz) = d1862df96e98515c5799bff168987e69382d824222e3fdebb4f41c63ef75d32c -SIZE (leanprover-elan-v3.0.0_GH0.tar.gz) = 95653 +SHA256 (leanprover-elan-v3.1.1_GH0.tar.gz) = b3e3c7dc6cc23dd319725fccf58c898bf4920ff3440c97cb8f3a35fc0d5bbf5c +SIZE (leanprover-elan-v3.1.1_GH0.tar.gz) = 93564 |