summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorErich Eckner <git@eckner.net>2022-11-03 21:28:32 +0100
committerErich Eckner <git@eckner.net>2022-11-03 21:28:32 +0100
commitec2cb025f9f70dd6715d364375c4a202168edd63 (patch)
tree78070ecf06a05ad003ecddab5bc82cde18b1d3e0
parent5cef01c206fc7e40f5a2d494003f492b2ecca27a (diff)
downloadcrux-ports-ec2cb025f9f70dd6715d364375c4a202168edd63.tar.xz
cgal: 5.5 -> 5.5.1
-rw-r--r--manualPorts/cgal/.md5sum2
-rw-r--r--manualPorts/cgal/.signature6
-rw-r--r--manualPorts/cgal/Pkgfile2
3 files changed, 5 insertions, 5 deletions
diff --git a/manualPorts/cgal/.md5sum b/manualPorts/cgal/.md5sum
index 25c5d74..3158682 100644
--- a/manualPorts/cgal/.md5sum
+++ b/manualPorts/cgal/.md5sum
@@ -1 +1 @@
-898d91f4e5d9f3baffc089d0bed0926c CGAL-5.5.tar.xz
+aeed303065e0132aa49abcc9331502ef CGAL-5.5.1.tar.xz
diff --git a/manualPorts/cgal/.signature b/manualPorts/cgal/.signature
index 95d19a7..64c6845 100644
--- a/manualPorts/cgal/.signature
+++ b/manualPorts/cgal/.signature
@@ -1,5 +1,5 @@
untrusted comment: verify with /etc/ports/deepthought.pub
-RWQxCptPusLGGvK+krKKZyZ0crd54Y64p7cisrWBdIEHFllPAdaCzpv6K2wE3Ms/61q7iY8xxdzPpxQKo2SIN4+pSouMXukZNg8=
-SHA256 (Pkgfile) = 26cd91044d732193663e1f143a9b4dbcef9332af204b2f1dcb8f205b23552560
+RWQxCptPusLGGgAsz/PiSM+4U19TxLYbTn8oCYFV2mTHSXz7DJj1DP6y+a7/+TTbApkxVOAwX2U0CRS3c/UqmvSB1O1H+XtbLQ0=
+SHA256 (Pkgfile) = 32082e18c3c6be49e5948bd5f59ae5fa56375a269136ad3ace00728cbdd9c492
SHA256 (.footprint) = 730809783ccdcec84fd7135aee350221e5d0c27929f5921050b6d25dfbb5b73b
-SHA256 (CGAL-5.5.tar.xz) = 98ac395ca08aacf38b7a8170a822b650aedf10355df41dd0e4bfb238408e08a6
+SHA256 (CGAL-5.5.1.tar.xz) = 091630def028facdcaf00eb5b68ad79eddac1b855cca6e87eef18a031566edfc
diff --git a/manualPorts/cgal/Pkgfile b/manualPorts/cgal/Pkgfile
index a83cc8c..f6cf769 100644
--- a/manualPorts/cgal/Pkgfile
+++ b/manualPorts/cgal/Pkgfile
@@ -4,7 +4,7 @@
# Depends on: boost libgmp libmpfr eigen
name=cgal
-version=5.5
+version=5.5.1
release=1
source=(https://github.com/CGAL/cgal/releases/download/v$version/CGAL-$version.tar.xz)