diff options
author | stas <stas@FreeBSD.org> | 2009-04-11 21:23:05 +0800 |
---|---|---|
committer | stas <stas@FreeBSD.org> | 2009-04-11 21:23:05 +0800 |
commit | 31fdc4858e57df24c1dd96083a17f90a28965ea3 (patch) | |
tree | fd6f260215e8231fc6604982ccc5f798a946a2ca /lang/cduce/distinfo | |
parent | b958e28e499f0b30859e69c9187ac09a27905e63 (diff) | |
download | freebsd-ports-gnome-31fdc4858e57df24c1dd96083a17f90a28965ea3.tar.gz freebsd-ports-gnome-31fdc4858e57df24c1dd96083a17f90a28965ea3.tar.zst freebsd-ports-gnome-31fdc4858e57df24c1dd96083a17f90a28965ea3.zip |
- Update lang/ocaml to 3.11.0. [1]
- Fix devel/cil build with 3.11.0 by using proper object file name
- Fix devel/deputy build with 3.11.0 by using proper object file name
- Fix lang/mtasc. Ocamlp4 syntax has changed and usage of ';' as delimiters
is not allowed now.
- Fix usage message in lang/mtasc.
- Implement a FreeBSD specific code for retriving the executable path in lang/mtasc.
- Update devel/omake to 0.9.8.5.
- Fix devel/omake compilation with 3.11 by dropping an unused reference from the code.
- Fix www/geneweb build with 3.11 by not emitting errors for warnings.
- Fix print/advi build. [2]
- Update lang/cduce to 0.5.3 (this fixes build with ocaml 3.11.0).
PR: ports/130845 [1] [2] (based on)
Submitted by: Hirohisa Yamaguchi <umq@ueo.co.jp> [1],
Tsurutani Naoki <turutani@scphys.kyoto-u.ac.jp> [2]
Diffstat (limited to 'lang/cduce/distinfo')
-rw-r--r-- | lang/cduce/distinfo | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lang/cduce/distinfo b/lang/cduce/distinfo index cc9696ba4a56..76e3c4d86e1f 100644 --- a/lang/cduce/distinfo +++ b/lang/cduce/distinfo @@ -1,3 +1,3 @@ -MD5 (cduce-0.5.2.1.tar.gz) = d2d52bf536c1a8f4397b4c64794d9322 -SHA256 (cduce-0.5.2.1.tar.gz) = 4edd13db651a26d0ce4751f7634eec11b06284839c31f47299a99af7b162b683 -SIZE (cduce-0.5.2.1.tar.gz) = 595196 +MD5 (cduce-0.5.3.tar.gz) = 5506326db28419b3f578ff225417448f +SHA256 (cduce-0.5.3.tar.gz) = 38264f53790075c3046f9ea55984b50366e0888e80512b9cbc2ed42ff36f10b2 +SIZE (cduce-0.5.3.tar.gz) = 594275 |