summaryrefslogtreecommitdiffstats
path: root/devel/alt-ergo/DETAILS
diff options
context:
space:
mode:
Diffstat (limited to 'devel/alt-ergo/DETAILS')
-rwxr-xr-xdevel/alt-ergo/DETAILS6
1 files changed, 3 insertions, 3 deletions
diff --git a/devel/alt-ergo/DETAILS b/devel/alt-ergo/DETAILS
index 5a089ba584..50c481c493 100755
--- a/devel/alt-ergo/DETAILS
+++ b/devel/alt-ergo/DETAILS
@@ -1,8 +1,8 @@
SPELL=alt-ergo
- VERSION=0.94
+ VERSION=0.95.1
SOURCE="${SPELL}-${VERSION}.tar.gz"
- SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SOURCE}
- SOURCE_HASH=sha512:7bd5f725f9861b764dcc1a71cf89e8abe9398a0138d1f137094a9d1b089938ef3a3933bb5d55677f50b197a443c66bbbbf0a57e07da32e592f741a7aab527bdf
+ SOURCE_URL[0]=http://${SPELL}.lri.fr/http/${SPELL}-${VERSION}/${SOURCE}
+ SOURCE_HASH=sha512:1a295884c5ffcfc11368828eaab1e86e5d6956bddda88505b0c5344668b418d3efb926b1922adce8b6369c66de0ec5b9037eb9e780a07f43d830a108f9659843
SOURCE_DIRECTORY="${BUILD_DIRECTORY}/${SPELL}-${VERSION}"
WEB_SITE="http://alt-ergo.lri.fr"
LICENSE[0]=CeCILL-C