<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/4322e3393a7ec62db468988cfc810d8f254344c1">https://github.com/macports/macports-ports/commit/4322e3393a7ec62db468988cfc810d8f254344c1</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 4322e33  acl2: Remove ':sources' tag from distfiles
</span>4322e33 is described below

<span style='display:block; white-space:pre;color:#808000;'>commit 4322e3393a7ec62db468988cfc810d8f254344c1
</span>Author: ijackson <ijackson@macports.org>
AuthorDate: Thu Apr 26 01:51:17 2018 +0530

<span style='display:block; white-space:pre;color:#404040;'>    acl2: Remove ':sources' tag from distfiles
</span>---
 math/acl2/Portfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

<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 d41cbf3..c0640a9 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 @@ in the included examples. This can take several hours.
</span> "
 
 homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
<span style='display:block; white-space:pre;background:#ffe0e0;'>-distfiles           ${name}-${version}${extract.suffix}:sources
</span><span style='display:block; white-space:pre;background:#e0ffe0;'>+distfiles           ${name}-${version}${extract.suffix}
</span> 
 checksums           md5     d343b03e94f1f15368355dd9309cf9a0 \
                     sha1    9e94663075aa5d87913a4129979f176316a83c8b \
</pre><pre style='margin:0'>

</pre>