<pre style='margin:0'>
Jackson Isaac (JacksonIsaac) pushed a commit to branch master
in repository macports-ports.

</pre>
<p><a href="https://github.com/macports/macports-ports/commit/8925b77480fd48e9b29fb012892bd81d528b4492">https://github.com/macports/macports-ports/commit/8925b77480fd48e9b29fb012892bd81d528b4492</a></p>
<pre style="white-space: pre; background: #F8F8F8">The following commit(s) were added to refs/heads/master by this push:
<span style='display:block; white-space:pre;color:#404040;'>     new 8925b77480f math/acl2: Update to 8.3
</span>8925b77480f is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 8925b77480fd48e9b29fb012892bd81d528b4492
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Sat Apr 17 22:15:58 2021 +0200

<span style='display:block; white-space:pre;color:#404040;'>    math/acl2: Update to 8.3
</span>---
 math/acl2/Portfile | 14 ++++++--------
 1 file changed, 6 insertions(+), 8 deletions(-)

<span style='display:block; white-space:pre;color:#808080;'>diff --git a/math/acl2/Portfile b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;color:#808080;'>index 09b11a15a77..4dd061846cf 100644
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>--- a/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0ff;'>+++ b/math/acl2/Portfile
</span><span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -4,14 +4,12 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 name                acl2
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             8.2
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-set shortversion    v8-2
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           md5     1291723299cad53df3d01029e0e838a4 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    bf52a2d7d879115fbcb3d97a6a206ea1f9be723c \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  6d3e2e5dfceef8fc26cb4a9396f84b3190dbab46 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  83b34b649c3b0448cd3be903d3dd0706bbb7c9a732709106844fbfeaa4d5d435 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    80214015
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             8.3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set shortversion    v8-3
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           rmd160  e23fa1c10ce504ce3033c69853966ac553ef71ac \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  45eedddb36b2eff889f0dba2b96fc7a9b1cf23992fcfdf909bc179f116f2c5ea \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    116808616
</span> 
 github.setup        acl2-devel ${name}-devel ${version}
 github.tarball_from releases
</pre><pre style='margin:0'>

</pre>