diff options
Diffstat (limited to 'devel/why3/DETAILS')
-rwxr-xr-x | devel/why3/DETAILS | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/why3/DETAILS b/devel/why3/DETAILS index 71caabb658..9eae05e0f5 100755 --- a/devel/why3/DETAILS +++ b/devel/why3/DETAILS @@ -1,8 +1,8 @@ SPELL=why3 - VERSION=0.80 + VERSION=0.81 SOURCE="${SPELL}-${VERSION}.tar.gz" - SOURCE_URL[0]=https://gforge.inria.fr/frs/download.php/31724/${SOURCE} - SOURCE_HASH=sha512:260e94378146a9a9d5442cf0f420e3d3f95a12c003f6db70585d46dfb7289e5d48c8aadc01372c8fcf5e7f29ccb4888356d2601a56bb41353f8068b5b97e5e47 + SOURCE_URL[0]=http://why3.lri.fr/download/${SOURCE} + SOURCE_HASH=sha512:1ad2b1019a7e7cf020961c0836b158682120acf058d9df28331fdf73d21abc1af34472c8afb171bb8dd3babdeef86289927cf98fc92341a6eac11f4c4ccbfe80 SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" WEB_SITE="http://why3.lri.fr" LICENSE[0]=GPL |