acl2: Use github releases for fetching distfile

macports · May 7, 2018 · 1b77897 · 1b77897
1 parent 0ee8338
commit 1b77897
Showing 1 changed file with 9 additions and 4 deletions.
diff --git a/math/acl2/Portfile b/math/acl2/Portfile
@@ -6,9 +6,13 @@ PortGroup           github 1.0
 name                acl2
 version             8.0
 set shortversion    v8-0
+
 github.setup        acl2-devel ${name}-devel ${version}
+github.tarball_from releases
+
 license             BSD
 categories          math
+
 maintainers         {ijackson @JacksonIsaac} openmaintainer
 platforms           darwin
 
@@ -41,10 +45,11 @@ in the included examples. This can take several hours.
 homepage            http://www.cs.utexas.edu/users/moore/acl2/${shortversion}
 distfiles           ${name}-${version}${extract.suffix}
 
-checksums           md5     d343b03e94f1f15368355dd9309cf9a0 \
-                    sha1    9e94663075aa5d87913a4129979f176316a83c8b \
-                    rmd160  a013826458b0004b980283ad9b43d65748c87bc1 \
-                    sha256  e44bc2f6bcd605b2f7b766f2112ef178c325cf2e6b438bcc77d7e2deb8195756 \
+checksums           md5     b0269a6c7ea89b6442acafd59452764d \
+                    sha1    197b90da2efc37b4558aad0f58314403ee8d25a4 \
+                    rmd160  84ff4521dfe5f115ca1298d1acec25480231f3e1 \
+                    sha256  32659eca6eaad00ab455779644dd9df9f82c898b81780df0eb040adc13e204c6 \
+                    size    77190378
 
 use_configure           no