On May 7, 2018, at 16:18, Jackson Isaac wrote: > Jackson Isaac (JacksonIsaac) pushed a commit to branch master > in repository macports-ports. > > > https://github.com/macports/macports-ports/commit/1b77897c4010309d7346607ff5b5728dac50dd88 > > The following commit(s) were added to refs/heads/master by this push: > > new 1b77897 acl2: Use github releases for fetching distfile
> @@ -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 Because the file name didn't change, but its contents did, this was a stealth update, and needed to be handled per: https://trac.macports.org/wiki/PortfileRecipes#stealth-updates