<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/976b8c94f8d43b2f4c1d2599f58c7c3dcdb76bd7">https://github.com/macports/macports-ports/commit/976b8c94f8d43b2f4c1d2599f58c7c3dcdb76bd7</a></p>
<pre style="white-space: pre; background: #F8F8F8"><span style='display:block; white-space:pre;color:#808000;'>commit 976b8c94f8d43b2f4c1d2599f58c7c3dcdb76bd7
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Sat Apr 14 01:23:03 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Update homepage and fetch links
</span>---
 math/acl2/Portfile | 8 ++++----
 1 file changed, 4 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 7cd55db..ae471ca 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;'>@@ -39,7 +39,7 @@ distfiles           ${name}-${version}${extract.suffix}:sources \
</span>                     workshops-${version}${extract.suffix}:workshops \
                     nonstd-${version}${extract.suffix}:nonstd
 
<span style='display:block; white-space:pre;background:#ffe0e0;'>-homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+homepage            http://www.cs.utexas.edu/users/moore/acl2/older-releases/${shortversion}
</span> master_sites        ${homepage}/distrib/:sources \
                     ${homepage}/distrib/acl2-sources/books:workshops \
                     ${homepage}/distrib/acl2-sources/books:nonstd
<span style='display:block; white-space:pre;background:#e0e0e0;'>@@ -71,17 +71,17 @@ fetch {
</span>     file mkdir ${distpath}
 
     if {![file exists ${distpath}/acl2-${version}.tar.gz]} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        curl fetch http://www.cs.utexas.edu/users/moore/acl2/v3-5/distrib/acl2.tar.gz ${distpath}/acl2.tar.gz.TMP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        curl fetch http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-5/distrib/acl2.tar.gz ${distpath}/acl2.tar.gz.TMP
</span>         file rename -force "${distpath}/acl2.tar.gz.TMP" "${distpath}/acl2-${version}.tar.gz"
     }
 
     if {![file exists ${distpath}/workshops-${version}.tar.gz]} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        curl fetch http://www.cs.utexas.edu/users/moore/acl2/v3-5/distrib/acl2-sources/books/workshops.tar.gz ${distpath}/workshops.tar.gz.TMP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        curl fetch http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-5/distrib/acl2-sources/books/workshops.tar.gz ${distpath}/workshops.tar.gz.TMP
</span>         file rename -force "${distpath}/workshops.tar.gz.TMP" "${distpath}/workshops-${version}.tar.gz"
     }
 
     if {![file exists ${distpath}/nonstd-${version}.tar.gz]} {
<span style='display:block; white-space:pre;background:#ffe0e0;'>-        curl fetch http://www.cs.utexas.edu/users/moore/acl2/v3-5/distrib/acl2-sources/books/nonstd.tar.gz ${distpath}/nonstd.tar.gz.TMP
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+        curl fetch http://www.cs.utexas.edu/users/moore/acl2/older-releases/v3-5/distrib/acl2-sources/books/nonstd.tar.gz ${distpath}/nonstd.tar.gz.TMP
</span>         file rename -force "${distpath}/nonstd.tar.gz.TMP" "${distpath}/nonstd-${version}.tar.gz"
     }
 
</pre><pre style='margin:0'>

</pre>