<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/1b77897c4010309d7346607ff5b5728dac50dd88">https://github.com/macports/macports-ports/commit/1b77897c4010309d7346607ff5b5728dac50dd88</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 1b77897  acl2: Use github releases for fetching distfile
</span>1b77897 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 1b77897c4010309d7346607ff5b5728dac50dd88
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Tue May 8 02:48:08 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Use github releases for fetching distfile
</span>---
 math/acl2/Portfile | 13 +++++++++----
 1 file changed, 9 insertions(+), 4 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 c128f09..4707300 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;'>@@ -6,9 +6,13 @@ PortGroup           github 1.0
</span> name                acl2
 version             8.0
 set shortversion    v8-0
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> github.setup        acl2-devel ${name}-devel ${version}
<span style='display:block; white-space:pre;background:#e0ffe0;'>+github.tarball_from releases
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> license             BSD
 categories          math
<span style='display:block; white-space:pre;background:#e0ffe0;'>+
</span> maintainers         {ijackson @JacksonIsaac} openmaintainer
 platforms           darwin
 
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -41,10 +45,11 @@ in the included examples. This can take several hours.
</span> homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
 distfiles           ${name}-${version}${extract.suffix}
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-checksums           md5     d343b03e94f1f15368355dd9309cf9a0 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha1    9e94663075aa5d87913a4129979f176316a83c8b \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    rmd160  a013826458b0004b980283ad9b43d65748c87bc1 \
</span><span style='display:block; white-space:pre;background:#ffe0e0;'>-                    sha256  e44bc2f6bcd605b2f7b766f2112ef178c325cf2e6b438bcc77d7e2deb8195756 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+checksums           md5     b0269a6c7ea89b6442acafd59452764d \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha1    197b90da2efc37b4558aad0f58314403ee8d25a4 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    rmd160  84ff4521dfe5f115ca1298d1acec25480231f3e1 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    sha256  32659eca6eaad00ab455779644dd9df9f82c898b81780df0eb040adc13e204c6 \
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+                    size    77190378
</span> 
 use_configure           no
 
</pre><pre style='margin:0'>

</pre>