diff options
| author | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-29 16:45:52 +0000 |
|---|---|---|
| committer | Yuri Victorovich <yuri@FreeBSD.org> | 2021-01-29 16:45:52 +0000 |
| commit | a94f16489170c8ab974a29255cb53f1be4c67a4d (patch) | |
| tree | c4ace0d897582b87cd66678b7807a97a3a69c100 | |
| parent | af338566944495e03733e45047d5e8a91567bff7 (diff) | |
| download | ports-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/Makefile | 2 | ||||
| -rw-r--r-- | math/abella/distinfo | 6 |
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 |