diff options
Diffstat (limited to 'devel/alt-ergo/DETAILS')
| -rwxr-xr-x | devel/alt-ergo/DETAILS | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS index 6dea232265..50c481c493 100755 --- a/devel/alt-ergo/DETAILS +++ b/devel/alt-ergo/DETAILS @@ -1,8 +1,8 @@ SPELL=alt-ergo - VERSION=0.95 + VERSION=0.95.1 SOURCE="${SPELL}-${VERSION}.tar.gz" SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SPELL}-${VERSION}/${SOURCE} - SOURCE_HASH=sha512:04256d73417d1b708c0d5a8533f0e9f45568cc862a4ca2354c657035911a66e31f24128be7938a3eb13a35d40b76c54316374559a70fdb4c4ff85671f630bc91 + SOURCE_HASH=sha512:1a295884c5ffcfc11368828eaab1e86e5d6956bddda88505b0c5344668b418d3efb926b1922adce8b6369c66de0ec5b9037eb9e780a07f43d830a108f9659843 SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}" WEB_SITE="http://alt-ergo.lri.fr" LICENSE[0]=CeCILL-C |