<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/a825aeb3efcd785ac524522e2998505c196cbd99">https://github.com/macports/macports-ports/commit/a825aeb3efcd785ac524522e2998505c196cbd99</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 a825aeb  acl2: Update to 8.2
</span>a825aeb is described below

<span style='display:block; white-space:pre;color:#808000;'>commit a825aeb3efcd785ac524522e2998505c196cbd99
</span>Author: Jackson Isaac <ijackson@macports.org>
AuthorDate: Sat Aug 24 13:20:52 2019 +0200

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Update to 8.2
</span>---
 math/acl2/Portfile | 16 ++++++++--------
 1 file changed, 8 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 e64b19d..09b11a1 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,14 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 name                acl2
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             8.1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-set shortversion    v8-1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           md5     94892c1a269587237cc540a1053cd13d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    95b9501e89e23be9491616e52c36de48e7c46915 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  f9a4cf4b0b8e17592e391851f9b6b9a6fbc4829d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  7d73f81c979ca3ec67d7c151cc344ab0a768b280f03f608770c3fad081ac80ea \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    78539182
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             8.2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set shortversion    v8-2
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           md5     1291723299cad53df3d01029e0e838a4 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha1    bf52a2d7d879115fbcb3d97a6a206ea1f9be723c \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  6d3e2e5dfceef8fc26cb4a9396f84b3190dbab46 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  83b34b649c3b0448cd3be903d3dd0706bbb7c9a732709106844fbfeaa4d5d435 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    80214015
</span> 
 github.setup        acl2-devel ${name}-devel ${version}
 github.tarball_from releases
</pre><pre style='margin:0'>

</pre>