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

<span style='display:block; white-space:pre;color:#808000;'>commit c3ac85cc9bdec6e6f224adb1a4410d9df120fc4c
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Thu Sep 20 23:32:21 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Update to 8.1
</span>---
 math/acl2/Portfile | 19 ++++++++-----------
 1 file changed, 8 insertions(+), 11 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 1c4bc1a..e64b19d 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,15 +4,18 @@ PortSystem          1.0
</span> PortGroup           github 1.0
 
 name                acl2
<span style='display:block; white-space:pre;background:#ffe0e0;'>-version             8.0
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-set shortversion    v8-0
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+version             8.1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+set shortversion    v8-1
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           md5     94892c1a269587237cc540a1053cd13d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha1    95b9501e89e23be9491616e52c36de48e7c46915 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  f9a4cf4b0b8e17592e391851f9b6b9a6fbc4829d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  7d73f81c979ca3ec67d7c151cc344ab0a768b280f03f608770c3fad081ac80ea \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    78539182
</span> 
 github.setup        acl2-devel ${name}-devel ${version}
 github.tarball_from releases
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-## Remove this when a new update is released.
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-dist_subdir         ${name}/${version}_1
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span> license             BSD
 categories          math
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -48,12 +51,6 @@ in the included examples. This can take several hours.
</span> homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
 distname            ${name}-${version}
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           md5     b0269a6c7ea89b6442acafd59452764d \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    197b90da2efc37b4558aad0f58314403ee8d25a4 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  84ff4521dfe5f115ca1298d1acec25480231f3e1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  32659eca6eaad00ab455779644dd9df9f82c898b81780df0eb040adc13e204c6 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    size    77190378
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-
</span> use_configure           no
 
 depends_lib             port:sbcl
</pre><pre style='margin:0'>

</pre>