<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>