aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorYuri Victorovich <yuri@FreeBSD.org>2021-01-29 16:45:52 +0000
committerYuri Victorovich <yuri@FreeBSD.org>2021-01-29 16:45:52 +0000
commita94f16489170c8ab974a29255cb53f1be4c67a4d (patch)
treec4ace0d897582b87cd66678b7807a97a3a69c100
parentaf338566944495e03733e45047d5e8a91567bff7 (diff)
downloadports-a94f16489170c8ab974a29255cb53f1be4c67a4d.tar.gz
ports-a94f16489170c8ab974a29255cb53f1be4c67a4d.zip
math/abella: Update 2.0.6 -> 2.0.7
Notes
Notes: svn path=/head/; revision=563219
-rw-r--r--math/abella/Makefile2
-rw-r--r--math/abella/distinfo6
2 files changed, 4 insertions, 4 deletions
diff --git a/math/abella/Makefile b/math/abella/Makefile
index f2a1a2408bb4..54b70018bc88 100644
--- a/math/abella/Makefile
+++ b/math/abella/Makefile
@@ -1,7 +1,7 @@
# $FreeBSD$
PORTNAME= abella
-DISTVERSION= 2.0.6
+DISTVERSION= 2.0.7
CATEGORIES= math
MASTER_SITES= http://abella-prover.org/distributions/
diff --git a/math/abella/distinfo b/math/abella/distinfo
index 8b2638535e06..71c2d2017cda 100644
--- a/math/abella/distinfo
+++ b/math/abella/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1575054547
-SHA256 (abella-2.0.6.tar.gz) = d1f793b1e34f3adcaf6d28e2c0274bccb281afe89c8e3093c1e64df6ec4b9898
-SIZE (abella-2.0.6.tar.gz) = 214785
+TIMESTAMP = 1611938365
+SHA256 (abella-2.0.7.tar.gz) = fde3a279b3051e0aeeaedad21cf96064edf19a6c413949b2033b305d92dddd87
+SIZE (abella-2.0.7.tar.gz) = 215056