diff options
Diffstat (limited to 'development/gecode/gecode.info')
| -rw-r--r-- | development/gecode/gecode.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/gecode/gecode.info b/development/gecode/gecode.info new file mode 100644 index 0000000000000..7e15586f774c6 --- /dev/null +++ b/development/gecode/gecode.info @@ -0,0 +1,10 @@ +PRGNAM="gecode" +VERSION="3.7.2" +HOMEPAGE="http://www.gecode.org/" +DOWNLOAD="http://www.gecode.org/download/gecode-3.7.2.tar.gz" +MD5SUM="8d505801f5730bd1b639fb2213b24919" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +REQUIRES="" +MAINTAINER="Thibaut Notteboom" +EMAIL="tib@tibux.org" |