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