[godi-manual] name=godi-manual version=20110719 comment=The=20GODI=20manual=20for=20users=20and=20developers descr=Contains=3A=0A=2D=20The=20GODI=20User=27s=20Guide=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.ocaml-programming.de svn_path=trunk/godi/godi-manual svn_rev=3542 date=Mon, 22 Oct 2012 00:22:12 +0000 rel_by=gerd section=rocketboost distfiles=godi-manual-20110719.tar.gz [godi-core-mk] name=godi-core-mk version=2.0 comment=This=20is=20a=20dummy=20package=3B=20godi=2Dcore=2Dmk=20is=20now=20part=20of=20godi=2Dtools descr=This=20is=20a=20dummy=20package=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=branch-godidev/godi/godi-core-mk svn_rev=1730 date=Thu, 12 Jun 2008 21:17:35 +0000 rel_by=gerd section=rocketboost [godi-tools] name=godi-tools version=2.0.15 comment=godi=5Fconsole=20and=20other=20tools=20for=20GODI descr=godi=2Dtools=20contains=3A=0A=2D=20godi=5Fconsole=2C=20the=20package=20management=20utility=0A=2D=20build=2Fmk=2C=20the=20make=20framework=0A=2D=20godi=5Fscript=2C=20for=20simple=20O=27Caml=20scripts=20in=20godi=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=rocketboost/godi/godi-tools svn_rev=3100 date=Tue, 06 Jul 2010 00:17:42 +0000 rel_by=gerd section=rocketboost distfiles=godi-tools-2.0.15.tar.gz [godi-core-script] name=godi-core-script version=2.0godi1 comment=Run=20configure=20scripts=20written=20in=20ocaml descr=This=20is=20a=20dummy=20package=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=rocketboost/godi/godi-core-script svn_rev=3280 date=Tue, 28 Dec 2010 15:37:56 +0000 rel_by=gerd section=rocketboost