diff options
Diffstat (limited to 'development/gecode/gecode.info')
| -rw-r--r-- | development/gecode/gecode.info | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/development/gecode/gecode.info b/development/gecode/gecode.info index 7e15586f77..ffd930f1db 100644 --- a/development/gecode/gecode.info +++ b/development/gecode/gecode.info @@ -1,10 +1,10 @@ PRGNAM="gecode" -VERSION="3.7.2" +VERSION="4.4.0" HOMEPAGE="http://www.gecode.org/" -DOWNLOAD="http://www.gecode.org/download/gecode-3.7.2.tar.gz" -MD5SUM="8d505801f5730bd1b639fb2213b24919" +DOWNLOAD="http://www.gecode.org/download/gecode-4.4.0.tar.gz" +MD5SUM="a892852927b12ed291b435c72c085834" DOWNLOAD_x86_64="" MD5SUM_x86_64="" REQUIRES="" MAINTAINER="Thibaut Notteboom" -EMAIL="tib@tibux.org" +EMAIL="thibaut.notteboom@gmail.com" |