diff options
Diffstat (limited to 'development/noweb/noweb.info')
-rw-r--r-- | development/noweb/noweb.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/development/noweb/noweb.info b/development/noweb/noweb.info new file mode 100644 index 0000000000..6b3b10a0f7 --- /dev/null +++ b/development/noweb/noweb.info @@ -0,0 +1,10 @@ +PRGNAM="noweb" +VERSION="2.11b" +HOMEPAGE="http://www.cs.tufts.edu/~nr/noweb/" +DOWNLOAD="ftp://www.eecs.harvard.edu/pub/nr/noweb-2.11b.tgz" +MD5SUM="1df580723497b2f2efde07646abf764c" +DOWNLOAD_x86_64="" +MD5SUM_x86_64="" +MAINTAINER="Kyle Guinn" +EMAIL="elyk03@gmail.com" +APPROVED="Niels Horn" |