[macports-ports] branch master updated: acl2: Use github releases for fetching distfile

[Ryan Schmidt]

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