Date: Fri, 29 Jan 2021 16:45:52 +0000 (UTC) From: Yuri Victorovich <yuri@FreeBSD.org> To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r563219 - head/math/abella Message-ID: <202101291645.10TGjqPl065197@repo.freebsd.org>
next in thread | raw e-mail | index | archive | help
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
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?202101291645.10TGjqPl065197>