svn commit: r563219 - head/math/abella

[Yuri Victorovich]

Author: yuri
Date: Fri Jan 29 16:45:52 2021
New Revision: 563219
URL: https://svnweb.freebsd.org/changeset/ports/563219

Log:
  math/abella: Update 2.0.6 -> 2.0.7

Modified:
  head/math/abella/Makefile
  head/math/abella/distinfo

Modified: head/math/abella/Makefile
==============================================================================
--- head/math/abella/Makefile	Fri Jan 29 16:38:20 2021	(r563218)
+++ head/math/abella/Makefile	Fri Jan 29 16:45:52 2021	(r563219)
@@ -1,7 +1,7 @@
 # $FreeBSD$
 
 PORTNAME=	abella
-DISTVERSION=	2.0.6
+DISTVERSION=	2.0.7
 CATEGORIES=	math
 MASTER_SITES=	http://abella-prover.org/distributions/
 

Modified: head/math/abella/distinfo
==============================================================================
--- head/math/abella/distinfo	Fri Jan 29 16:38:20 2021	(r563218)
+++ head/math/abella/distinfo	Fri Jan 29 16:45:52 2021	(r563219)
@@ -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