[godi-zip] name=godi-zip version=1.04 comment=Bindings=20for=20zlib descr=This=20library=20provides=20easy=20access=20to=20compressed=20files=20in=20ZIP=20and=20GZIP=0Aformat=2C=20as=20well=20as=20to=20Java=20JAR=20files=2E=20=20It=20provides=20functions=20for=20reading=0Afrom=20and=20writing=20to=20compressed=20files=20in=20these=20formats=2E=0A maintainer=Julien=2ESignoles=40gmail=2Ecom homepage=http://forge.ocamlcore.org/projects/camlzip svn_path=trunk/godi/godi-zip svn_rev=3035 date=Wed, 14 Apr 2010 12:05:08 +0000 rel_by=signoles section=3.08 distfiles=camlzip-1.04.tar.gz [godi-ocaml-xml-rpc] name=godi-ocaml-xml-rpc version=0.2.6 comment=xml=20rpc=20server=20and=20client=20library descr=XML=2DRPC=20library=20for=20clients=20and=20servers=2E=20Stubs=20are=20generated=20from=0A=2Eidl=20files=2E=0A=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/ svn_path=trunk/godi/godi-ocaml-xml-rpc svn_rev=1002 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocaml-xml-rpc-0.2.6.tar.gz [apps-headache] name=apps-headache version=1.03 comment=Tool=20for=20managing=20headers=20in=20source=20code=20files descr=Headache=20is=20a=20simple=20and=20lightweight=20tool=20for=20managing=20headers=20in=0Asource=20code=20files=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://pauillac.inria.fr/~simonet/soft/ svn_path=trunk/apps/apps-headache svn_rev=276 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=headache-1.03.tar.gz [godi-ocaml-labltk] name=godi-ocaml-labltk version=3.08.4godi1 comment=The=20labltk=20and=20camltk=20libraries=2C=20ocamlbrowser descr=This=20package=20contains=20the=20labltk=20and=20camltk=20libraries=20of=20Objective=20Caml=2E=0AFurthermore=2C=20ocamlbrowser=20is=20included=2E=0A=0AFrom=20the=20manual=3A=0A=0A=22The=20labltk=20library=20provides=20access=20to=20the=20Tcl=2FTk=20GUI=20from=20Objective=0ACaml=20programs=2E=20This=20interface=20is=20generated=20in=20an=20automated=20way=2C=20and=0Ayou=20should=20refer=20to=20Tcl=2FTk=20books=20and=20man=20pages=20for=20detailed=0Ainformation=20on=20the=20behavior=20of=20the=20numerous=20functions=2E=20We=20also=20suggest=0Ato=20use=20ocamlbrowser=20to=20see=20the=20types=20of=20the=20various=20functions=2C=20that=0Aare=20the=20best=20documentation=20for=20the=20library=20itself=2E=20=2E=2E=2E=20Unix=3A=20The=0Alabltk=20library=20is=20available=20for=20any=20system=20with=20Tcl=2FTk=20installed=2C=0Astarting=20from=20Tcl=207=2E5=2FTk=204=2E1=20up=20to=20Tcl=2FTk=208=2E3=2E=20Beware=20that=20some=20beta=0Aversions=20may=20have=20compatibility=20problems=2E=22=0A=0AFor=20this=20version=20of=20OCaml=20the=20labltk=20library=20includes=20full=20support=0Afor=20the=20older=20camltk=20interface=20=28by=20a=20compatibility=20layer=29=2E=0A=0AAbout=20ocamlbrowser=3A=0A=0A=22=2E=2E=2E=20OCamlBrowser=2C=20a=20source=20and=20compiled=20interface=20browser=2C=20written=0Ausing=20LablTk=2E=20This=20is=20a=20useful=20companion=20to=20the=20programmer=2E=0A=0AIts=20functions=20are=3A=0A=0A=20=20=20=20=2A=20navigation=20through=20Objective=20Caml=27s=20modules=20=28using=20compiled=20interfaces=29=2E=0A=20=20=20=20=2A=20source=20editing=2C=20type=2Dchecking=2C=20and=20browsing=2E=0A=20=20=20=20=2A=20integrated=20Objective=20Caml=20shell=2C=20running=20as=20a=20subprocess=2E=22=0A=0A=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=0A=0AInformal=20runtime=20dependencies=3A=0A=0A=2D=20It=20is=20required=20that=20the=20X11=20client=20libraries=20are=20installed=2E=0A=2D=20It=20is=20required=20that=20the=20tcl=2Ftk=20libraries=20are=20installed=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-ocaml-labltk svn_rev=1123 date=Tue, 04 Oct 2005 13:12:58 +0000 rel_by=gerd section=3.08 [godi-ocaml-fileutils] name=godi-ocaml-fileutils version=0.3.0godi1 comment=Library=20for=20common=20file=20operations descr=Le=20but=20de=20ocaml=2Dfileutils=20est=20de=20fournir=20un=20ensemble=20de=20fonction=20OCaml=20afin=20de=0Apermettre=20la=20manipulation=20de=20fichier=20directement=20en=20OCaml=2E=0A=0AThe=20goal=20of=20ocaml=2Dfileutils=20is=20to=20provide=20a=20set=20of=20ocaml=20functions=20in=20order=20to=0Aallow=20manipulation=20of=20files=20directly=20in=20ocaml=2E=0A maintainer=Sylvain=20LE=20GALL=20=3Csylvain=2Ele=2Dgall=40polytechnique=2Eorg=3E homepage=http://www.carva.org/sylvain.le-gall/ocaml-fileutils.html svn_path=trunk/godi/godi-ocaml-fileutils svn_rev=2004 date=Sun, 20 Jan 2008 14:24:52 +0000 rel_by=gerd section=3.08 distfiles=ocaml-fileutils-0.3.0.tar.gz [godi-lacaml] name=godi-lacaml version=3.0.27godi1 comment=Linear=20algebra=20library=20interfacing=20LAPACK=20and=20BLAS descr=LACAML=20is=20a=20linear=20algebra=20library=20interfacing=20LAPACK=2C=20BLAS=20and=20some=20custom=0AC=2Dfunctions=20for=20high=2Dperformance=20numerical=20computations=20on=20bigarrays=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html#LACAML svn_path=trunk/godi/godi-lacaml svn_rev=1933 date=Sun, 20 Jan 2008 14:24:52 +0000 rel_by=gerd section=3.08 distfiles=lacaml-3.0.27.tar.gz [godi-equeue-gtk2] name=godi-equeue-gtk2 version=2.1.4 comment=Glib=2Fgtk2=20extension=20for=20equeue descr=This=20package=20is=20the=20Glib=2Fgtk2=20extension=20of=20equeue=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-gtk2 svn_rev=1141 date=Thu, 13 Oct 2005 23:25:49 +0000 rel_by=gerd section=3.08 distfiles=equeue-2.1.4.tar.gz [godi-ocamlsdl] name=godi-ocamlsdl version=0.7.2godi2 comment=SDL=2C=20the=20Simple=20Direct=20Layer=20for=20video=2C=20audio=2C=20input=20devices descr=O=27Caml=20bindings=20for=20SDL=2C=20the=20Simple=20Direct=20Layer=2E=20This=20is=20an=20API=0Ato=20write=20games=2E=20It=20provides=20access=20to=20video=2C=20audio=2C=20and=20input=0Adevices=20like=20joysticks=2E=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlsdl.sourceforge.net/ svn_path=trunk/godi/godi-ocamlsdl svn_rev=1092 date=Sun, 04 Sep 2005 11:39:12 +0000 rel_by=gerd section=3.08 distfiles=ocamlsdl-0.7.2.tar.gz [godi-caml2html] name=godi-caml2html version=1.2.3 comment=HTML=20colored=20syntax=20from=20OCaml=20source=20files descr=Caml2html=20provides=20a=20command=2Dline=20executable=20which=20converts=20a=20set=20of=20OCaml=0Asource=20files=20into=20a=20HTML=20document=20with=20colored=20syntax=2E=20A=20library=20is=20also=0Aprovided=20for=20building=20web=2Dpage=20generators=20that=20would=20color=20OCaml=20code=0Aappropriately=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/caml2html.html svn_path=trunk/godi/godi-caml2html svn_rev=1157 date=Fri, 21 Oct 2005 00:48:04 +0000 rel_by=mjambon section=3.08 distfiles=caml2html-1.2.3.tar.gz [base-gdbm] name=base-gdbm version=1.8.3godi6 comment=The=20GNU=20database=20manager descr=GNU=20=60dbm=27=20is=20a=20library=20of=20functions=20implementing=20a=20hashed=20database=0Aon=20a=20disk=20file=2E=20=20The=20software=20was=20written=20by=20Philip=20A=2E=20Nelson=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.gnu.org/software/gdbm/gdbm.html svn_path=trunk/base/base-gdbm svn_rev=840 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=gdbm-1.8.3.tar.gz [godi-equeue-gtk1] name=godi-equeue-gtk1 version=2.1.4 comment=Glib=2Fgtk1=20extension=20for=20equeue descr=This=20package=20is=20the=20Glib=2Fgtk1=20extension=20of=20equeue=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-gtk1 svn_rev=1141 date=Thu, 13 Oct 2005 23:25:49 +0000 rel_by=gerd section=3.08 distfiles=equeue-2.1.4.tar.gz [godi-ocamldbi] name=godi-ocamldbi version=0.9.11godi1 comment=Database=20access=20independent=20of=20DBMS=20type descr=ocamldbi=20is=20a=20database=20independent=20layer=20for=20Objective=20CAML=20=28OCaml=29=0Apatterned=20upon=20Perl=20DBI=2E=0A=0ACopyright=20=28C=29=202003=20Merjis=20Ltd=2E=20=28http=3A=2F=2Fwww=2Emerjis=2Ecom=2F=29=0A=0AThe=20GODI=20version=20of=20ocamldbi=20supports=20drivers=20for=3A=20PostgreSQL=2C=20MySQL=2C=0Aand=20generic=20access=20via=20ODBC=2E=0A=0Aocamldbi=20is=20distributed=20under=20the=20GNU=20Library=20General=20Public=20License=0A=28see=20file=20COPYING=2ELIB=20for=20terms=20and=20conditions=29=2E=0A=0Aocamldbi=20was=20mainly=20written=20by=20Richard=20W=2EM=2E=20Jones=0A=28rich=40annexia=2Eorg=29=2E=20See=20file=20AUTHORS=20for=20other=20contributors=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://savannah.nongnu.org/projects/modcaml svn_path=trunk/godi/godi-ocamldbi svn_rev=1461 date=Mon, 26 Jun 2006 19:09:25 +0000 rel_by=gerd section=3.08 distfiles=ocamldbi-0.9.11.tar.gz [godi-wdialog] name=godi-wdialog version=2.1.1 comment=Framework=20for=20web=20applications descr=WDialog=20is=20an=20advanced=20system=20to=20create=20dialog=2Dcentric=20web=20applications=2E=0A=0AFeature=20list=3A=0A=0A=20=20=20=20=2A=20Separation=20of=20the=20user=20interface=20=28UI=29=20definition=20from=20the=0A=20=20=20=20=20=20backend=20program=2C=20improving=20the=20structure=20of=20the=20application=20and=0A=20=20=20=20=20=20enabling=20advanced=20software=20engineering=20processes=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20UI=20definition=20is=20contained=20in=20an=20XML=20file=2C=20and=20it=20describes=0A=20=20=20=20=20=20the=20whole=20UI=20from=20the=20overall=20dialog=20structure=20to=20the=20style=20of=0A=20=20=20=20=20=20the=20individual=20HTML=20element=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20dialogs=20have=20built=2Din=20persistency=20for=20session=20state=2E=20The=0A=20=20=20=20=20=20HTML=20form=20elements=20can=20be=20tied=20to=20dialog=20variables=20reflecting=0A=20=20=20=20=20=20their=20current=20state=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20A=20powerful=20template=20system=20manages=20the=20combination=20of=20individual=0A=20=20=20=20=20=20HTML=20fragments=20to=20whole=20pages=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20dialogs=20behave=20like=20GUI=20widgets=2E=20They=20visualize=20the=20state=20of=0A=20=20=20=20=20=20the=20session=2C=20and=20user=20clicks=20are=20treated=20like=20events=20that=20are=0A=20=20=20=20=20=20handled=20by=20programmable=20callback=20methods=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20callbacks=20are=20written=20in=20a=20real=20programming=20language=0A=20=20=20=20=20=20=28Objective=20Caml=2C=20or=20Perl=29=2C=20making=20it=20possible=20to=20formulate=20all=0A=20=20=20=20=20=20algorithms=20and=20to=20use=20all=20system=20resources=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20application=20can=20run=20as=20CGI=20as=20well=20as=20application=20server=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20The=20WDialog=20toolkit=20itself=20does=20not=20require=20any=20database=20as=0A=20=20=20=20=20=20backend=20store=0A=20=20=20=20=20=20=20=0A=20=20=20=20=2A=20WDialog=20preprocesses=20all=20web=20inputs=2C=20and=20ensures=20that=20minimum=0A=20=20=20=20=20=20security=20standards=20are=20fulfilled=0A=0A=2D=2D=0A=0ANote=3A=20This=20GODI=20package=20omits=20the=20Perl=20bindings=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://wdialog.sourceforge.net svn_path=trunk/godi/godi-wdialog svn_rev=1046 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=wdialog-2.1.1.tar.gz [godi-json-static] name=godi-json-static version=0.9.5 comment=JSON=20validator=20and=20converter=20for=20OCaml descr=This=20is=20a=20Camlp4=20syntax=20extension=20that=20reads=20special=20type=20definitions=0Arepresenting=20the=20structure=20of=20JSON=20data=20=28http=3A=2F=2Fjson=2Eorg=2F=29=20and=20produces=0Aconversion=20functions=20between=20those=20types=20and=20generic=20JSON=20data=20of=20type=0AJson=5Ftype=2Et=2E=20Type=20Json=5Ftype=2Et=20is=20defined=20by=20the=20json=2Dwheel=20library=20which=0Aprovides=20parsing=20and=20printing=20functions=20for=20the=20JSON=20format=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/json-static.html svn_path=trunk/godi/godi-json-static svn_rev=1748 date=Tue, 03 Apr 2007 05:01:36 +0000 rel_by=mjambon section=3.08 distfiles=json-static-0.9.5.tar.gz [apps-godiva] name=apps-godiva version=0.9.5.1 comment=High=2Dlevel=20tool=20for=20simplifying=20the=20creation=20of=20GODI=20packages=2E descr=GODIVA=20=28standing=20for=20GODI=20Verpacken=20Assistant=29=20is=20a=20tool=20for=20creating=20GODI=0Apackages=20from=20simple=20specification=20files=2E=20=20It=20rocks=21=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://projects.phauna.org/godiva/ svn_path=trunk/apps/apps-godiva svn_rev=1078 date=Fri, 02 Sep 2005 02:22:00 +0000 rel_by=ogunden section=3.08 distfiles=godiva-0.9.5.1.tar.gz [conf-postgres] name=conf-postgres version=1 comment=Configures=20which=20PostgreSQL=20client=20library=20to=20use descr=This=20package=20configures=20where=20the=20PostgreSQL=20client=20library=20is=20found=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html svn_path=trunk/conf/conf-postgres svn_rev=1520 date=Mon, 31 Jul 2006 04:30:10 +0000 rel_by=mottl section=3.08 [apps-cduce] name=apps-cduce version=0.4.0 comment=XML=2Doriented=20functional=20language descr=CDuce=20is=20a=20programming=20language=20adapted=20to=20XML=20processing=2E=0AMain=20features=3A=0A=2D=20functional=0A=2D=20strong=20static=20typing=20=2B=20dynamic=20dispatch=0A=2D=20powerful=20XML=20types=20and=20patterns=20=28regular=20expressions=29=0A=0ANote=3A=0ACDuce=20can=20take=20advantage=20of=20the=20pxp=2C=20expat=2C=20curl=2C=20and=20netclient=20library=0Aif=20available=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://cduce.org/ svn_path=trunk/apps/apps-cduce svn_rev=1183 date=Sun, 30 Oct 2005 16:02:51 +0000 rel_by=frisch section=3.08 distfiles=cduce-0.4.0.tar.gz [apps-felix] name=apps-felix version=1.0.16 comment=Felix=20Compiler descr=Felix=20Compiler=20 maintainer=John=20Skaller=20=3Cskaller=40users=2Esf=2Enet=3E homepage=http://felix.sf.net svn_path=trunk/apps/apps-felix svn_rev=1080 date=Fri, 02 Sep 2005 13:56:22 +0000 rel_by=gerd section=3.08 distfiles=flx_1.0.16_src.tgz [godi-re] name=godi-re version=0.1 comment=Regular=20expressions descr=RE=20is=20a=20regular=20expression=20library=20for=20OCaml=2E=20=20It=20is=20still=20under=0Adevelopment=2C=20but=20is=20already=20rather=20usable=2E=0A=0AThe=20following=20styles=20of=20regular=20expressions=20are=20supported=3A=0A=2D=20Perl=2Dstyle=20regular=20expressions=20=28module=20Re=5Fperl=29=3B=0A=2D=20Posix=20extended=20regular=20expressions=20=28module=20Re=5Fposix=29=3B=0A=2D=20Emacs=2Dstyle=20regular=20expressions=20=28module=20Re=5Femacs=29=3B=0A=2D=20Shell=2Dstyle=20file=20globbing=20=28module=20Re=5Fglob=29=2E=0A=0AIt=20is=20also=20possible=20to=20build=20regular=20expressions=20by=20combining=20simpler=0Aregular=20expressions=20=28module=20Re=29=0A=0AThe=20most=20notable=20missing=20features=20are=20back=2Dreferences=20and=0Alook=2Dahead=2Flook=2Dbehind=20assertions=2E=0A=0AThe=20matches=20are=20performed=20by=20lazily=20building=20a=20DFA=20=28deterministic=0Afinite=20automata=29=20from=20the=20regular=20expression=2E=20=20As=20a=20consequence=2C=0Amatching=20takes=20linear=20time=20in=20the=20length=20of=20the=20matched=20string=2E=0A=0AThe=20compilation=20of=20patterns=20is=20slower=20than=20with=20libraries=20using=0Aback=2Dtracking=2C=20such=20as=20PCRE=2E=20=20But=2C=20once=20a=20large=20enough=20part=20of=20the=0ADFA=20is=20built=2C=20matching=20is=20extremely=20fast=2E=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://sourceforge.net/projects/libre/ svn_path=trunk/godi/godi-re svn_rev=1114 date=Tue, 27 Sep 2005 16:58:34 +0000 rel_by=gerd section=3.08 distfiles=re.tar.gz [apps-coq] name=apps-coq version=8.0pl2godi2 comment=Interactive=20proof=20assistant descr==0A=20=20=20=20=20=20=20=20=20=20=20=20=09=09THE=20COQ=20V8=2E0=20SYSTEM=0A=20=20=20=20=20=20=20=20=20=20=20=20=09=09=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0AINSTALLATION=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20See=20the=20file=20INSTALL=20for=20installation=20procedure=2E=0A=0A=0ADOCUMENTATION=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20The=20documentation=20of=20Coq=20V8=2E0=20is=20available=20by=20anonymous=20ftp=20=28see=20below=29=2C=0A=20=20=20in=20a=20directory=20doc=2F=2E=20It=20is=20also=20available=20on=20Coq=20web=20site=20at=0A=20=20=20http=3A=2F=2Fcoq=2Einria=2Efr=2Fdoc=2Deng=2Ehtml=2E=0A=0A=0ACHANGES=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20There=20is=20a=20file=20named=20CHANGES=20that=20explains=20the=20differences=20and=20the=0A=20=20=20incompatibilities=20since=20last=20versions=2E=20If=20you=20upgrade=20Coq=2C=20please=20read=0A=20=20=20it=20carefully=2E=0A=0A=0AAVAILABILITY=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20Coq=20is=20available=20by=20anonymous=20FTP=20on=20ftp=2Einria=2Efr=3A=0A=0A=09host=3A=09=20=20=20=20ftp=2Einria=2Efr=20=28192=2E93=2E2=2E54=29=0A=09directory=3A=20=20INRIA=2FLogiCal=2Fcoq=2F=0A=0ATHE=20COQ=20CLUB=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20The=20Coq=20Club=20moderated=20mailing=20list=20is=20meant=20to=20be=20a=20standard=20way=20to=0A=20=20=20discuss=20questions=20about=20the=20Coq=20system=20and=20related=20topics=2E=20The=20submission=0A=20=20=20address=20is=3A=0A=0A=09coq=2Dclub=40coq=2Einria=2Efr=0A=0A=20=20=20The=20topics=20to=20be=20discussed=20in=20the=20club=20should=20include=3A=0A=0A=20=20=20=20=20=2A=20technical=20problems=3B=0A=0A=20=20=20=20=20=2A=20questions=20about=20proof=20developments=3B=0A=0A=20=20=20=20=20=2A=20suggestions=20and=20questions=20about=20the=20implementation=3B=0A=0A=20=20=20=20=20=2A=20announcements=20of=20proofs=3B=0A=0A=20=20=20=20=20=2A=20theoretical=20questions=20about=20typed=20lambda=2Dcalculi=20which=20are=0A=20=20=20=20=20=20=20closely=20related=20to=20Coq=2E=0A=0A=20=20=20To=20be=20added=20to=2C=20or=20removed=20from=2C=20the=20mailing=20list=2C=20please=20write=20to=3A=0A=0A=09coq=2Dclub=2Drequest=40coq=2Einria=2Efr=0A=0A=20=20=20Please=20use=20also=20this=20address=20for=20any=20questions=2Fsuggestions=20about=20the=0A=20=20=20Coq=20Club=2E=20It=20might=20sometimes=20take=20a=20few=20days=20before=20your=20messages=20get=0A=20=20=20forwarded=2E=0A=0A=0ABUGS=20REPORT=2E=0A=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=0A=0A=20=20=20Send=20your=20bug=20reports=20by=20filling=20a=20form=20at=0A=0A=20=20=20=20=20=20=20=20http=3A=2F=2Fcoq=2Einria=2Efr=2Fbin=2Fcoq=2Dbugs=0A=0A=20=20=20or=20by=20E=2Dmail=20to=0A=0A=09coq=2Dbugs=40coq=2Einria=2Efr=0A=0A=20=20=20To=20be=20effective=2C=20bug=20reports=20should=20mention=20the=20Caml=20version=20used=0A=20=20=20to=20compile=20and=20run=20Coq=2C=20the=20Coq=20version=20=28coqtop=20=2Dv=29=2C=20the=20configuration=0A=20=20=20used=2C=20and=20include=20a=20complete=20source=20example=20leading=20to=20the=20bug=2E=0A maintainer=Prashanth=20Mundkur=20=3Cprashanth=2Emundkur=40gmail=2Ecom=3E homepage=http://coq.inria.fr svn_path=trunk/apps/apps-coq svn_rev=1275 date=Sun, 08 Jan 2006 07:51:30 +0000 rel_by=Prashanth_Mundkur section=3.08 distfiles=coq-8.0pl2.tar.gz [apps-aifad] name=apps-aifad version=1.0.26 comment=A=20machine=20learning=20tool=20for=20structured=20data=2E descr=AIFAD=20is=20a=20machine=20learning=20tool=20for=20=22Automated=20Induction=20of=20Functions=0Aover=20Algebraic=20Datatypes=22=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/aifad svn_path=trunk/apps/apps-aifad svn_rev=1611 date=Tue, 14 Nov 2006 19:16:42 +0000 rel_by=mottl section=3.08 distfiles=aifad-1.0.26.tar.gz [godi-expat] name=godi-expat version=0.9.1godi2 comment=Bindings=20for=20the=20expat=20XML=20parser descr=OCaml=20bindings=20for=20the=20expat=20XML=20parser=0A=0A=0A=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://www.xs4all.nl/~mmzeeman/ocaml/ svn_path=trunk/godi/godi-expat svn_rev=827 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocaml-expat-0.9.1.tar.gz [godi-ocamlodbc-unixodbc] name=godi-ocamlodbc-unixodbc version=2.10 comment=Database=20access=20via=20ODBC descr=O=27Caml=20bindings=20for=20ODBC=2E=20This=20package=20is=20pre=2Dconfigured=20for=20the=0Aunixodbc=20library=20=28ocamlodbc=20supports=20some=20direct=20database=20drivers=0Aas=20well=2C=20but=20I=20have=20only=20chosen=20the=20unixodbc=20driver=20because=20of=20its=0Aflexibility=29=2E=0A=0AIn=20order=20to=20connect=20to=20a=20database=2C=20you=20need=20not=20only=20the=20unixodbc=0Alibrary=20but=20also=20an=20ODBC=20driver=2C=20and=20an=20ODBC=20configuration=0A=28odbcinst=2Eini=20and=20odbc=2Eini=29=2E=20See=20http=3A=2F=2Fwww=2Eunixodbc=2Eorg=20for=0Adocumentation=2E=0A=0ANotes=20for=20package=20developers=3A=20ocamlodbc=20supports=20several=20database=0Asystems=20directly=2C=20i=2Ee=2E=20without=20unixodbc=2E=20When=20somebody=20wants=20to=0Amake=20this=20code=20available=20for=20GODI=2C=20this=20should=20be=20done=20as=20a=20separate=0Apackage=2E=20For=20instance=2C=20a=20package=20directly=20connecting=20to=20a=0AMySQL=20database=20system=20could=20be=20named=20ocamlodbc=2Dmysql=2E=20Please=20avoid=0Aname=20conflicts=2C=20especially=20the=20=2Eso=20stub=20library=20should=20have=20a=0Adifferent=20name=2E=20It=20is=20ok=20that=20it=20is=20impossible=20to=20load=20two=20different=0Aocamlodbc=20instances=20into=20the=20same=20executable=20=28because=20of=20symbol=0Aconflicts=20on=20the=20C=20level=29=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://home.gna.org/ocamlodbc/ svn_path=trunk/godi/godi-ocamlodbc-unixodbc svn_rev=1095 date=Wed, 07 Sep 2005 14:16:54 +0000 rel_by=gerd section=3.08 distfiles=ocamlodbc_2.10.tar.gz [godi-wlex] name=godi-wlex version=20040827 comment=Patched=20ocamllex=20to=20support=20wide=2Dcharacter=20lexing descr=This=20package=20consists=20of=20a=20lexer=20generator=20and=20the=20associated=20runtime=0Asystem=2E=20The=20new=20lexing=20model=20adds=20a=20=22classification=22=20layer=20between=20the=0Alexbuf=20and=20the=20lexer=20itself=2E=20This=20layer=20classifies=20characters=20from=20the=0Alexbuf=20into=20a=20few=20number=20of=20classes=2C=20on=20which=20the=20regexps=20in=20the=20lexer=0Aspecification=20are=20built=2E=0A=0AThis=20reduces=20the=20number=20of=20states=20and=20transitions=20in=20the=20automaton=2C=0Aespecially=20when=20working=20with=20large=20encodings=20such=20as=20UTF=2D8=20=28the=0Aprimary=20motivation=20for=20wlex=29=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-wlex svn_rev=521 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=wlex-20040827.tar.gz [godi-frontc] name=godi-frontc version=3.1godi3 comment=Parser=20for=20the=20C=20language descr=FrontC=20is=20an=20OCAML=20library=20providing=20a=20C=20parser=20and=20lexer=2E=20The=20result=0Ais=20a=20syntactic=20tree=20easy=20to=20process=20with=20usual=20OCAML=20tree=20management=2E=0A=0AIt=20provides=20support=20for=20ANSI=20C=20syntax=2C=20old=2DC=20K=26R=20style=20syntax=20and=20the=0Astandard=20GNU=20CC=20attributes=2E=0A=0AIt=20provides=20also=20a=20C=20pretty=20printer=20as=20an=20example=20of=20use=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://casse.hugues.free.fr/projects/frontc.html svn_path=trunk/godi/godi-frontc svn_rev=909 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=FrontC-3.1.tgz [godi-core-script] name=godi-core-script version=0.5 comment=Support=20library=20for=20GODI=20scripts descr=This=20is=20a=20support=20library=20to=20write=20scripts=20for=20GODI=20in=20O=27Caml=2E=0ACurrently=2C=20these=20scripts=20are=20used=20for=20conf=2Dfoo=20packages=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-core-script svn_rev=1035 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=godi-script-0.5.tar.gz [godi-ocamldap] name=godi-ocamldap version=2.1.7 comment=LDAP=20network=20protocol descr=Ocamldap=20is=20a=20toolkit=20for=20querying=2C=20and=20creating=20LDAP=20directory=0Aservices=2E=20It=20also=20contains=20useful=20modules=20for=20dealing=20with=20the=20data=0Aonce=20you=20get=20it=2E=0A=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://ocamldap.sourceforge.net svn_path=trunk/godi/godi-ocamldap svn_rev=1290 date=Wed, 18 Jan 2006 19:29:49 +0000 rel_by=gremlin section=3.08 distfiles=ocamldap-2.1.7.tar.bz2 [godi-json] name=godi-json version=1.0godi2 comment=Data=20marshalling=20with=20JSON descr=JSON=20=28JavaScript=20Object=20Notation=29=20is=20a=20lightweight=20data=2Dinterchange=0Aformat=2E=20It=20is=20easy=20for=20humans=20to=20read=20and=20write=2E=20It=20is=20easy=20for=0Amachines=20to=20parse=20and=20generate=2E=20It=20is=20based=20on=20a=20subset=20of=20the=0AJavaScript=20Programming=20Language=2C=20Standard=20ECMA=2D262=203rd=20Edition=20=2D=0ADecember=201999=2E=20JSON=20is=20a=20text=20format=20that=20is=20completely=20language=0Aindependent=20but=20uses=20conventions=20that=20are=20familiar=20to=20programmers=20of=0Athe=20C=2Dfamily=20of=20languages=2C=20including=20C=2C=20C=2B=2B=2C=20C=23=2C=20Java=2C=20JavaScript=2C=0APerl=2C=20Python=2C=20and=20many=20others=2E=20These=20properties=20make=20JSON=20an=20ideal=0Adata=2Dinterchange=20language=2E=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://www.json.org/ svn_path=trunk/godi/godi-json svn_rev=1340 date=Wed, 15 Mar 2006 19:17:02 +0000 rel_by=gerd section=3.08 distfiles=ocaml-json-1.0.tar.gz [godi-cfg] name=godi-cfg version=1.7.3 comment=OCaml=20library=20for=20manipulating=20context=2Dfree=20grammars descr=CFG=20is=20a=20purely=20functional=20library=20for=20manipulating=20context=2Dfree=20grammars=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html#CFG svn_path=trunk/godi/godi-cfg svn_rev=1520 date=Mon, 31 Jul 2006 04:30:10 +0000 rel_by=mottl section=3.08 distfiles=cfg-1.7.3.tar.gz [godi-ocaml-all] name=godi-ocaml-all version=2 comment=Meta=20pkg=20for=20all=20of=20the=20ocaml=20distribution descr=This=20is=20a=20meta=20package=3B=20install=20it=20to=20get=20all=20components=0Aof=20the=20official=20O=27Caml=20distribution=20at=20once=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-ocaml-all svn_rev=415 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-crypt] name=godi-crypt version=1.0godi1 comment=crypt=20library=20binding descr=This=20is=20a=20binding=20to=20the=20unix=20crypt=20function=20in=20the=20standard=20C=20library=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/ svn_path=trunk/godi/godi-crypt svn_rev=797 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=crypt-1.0.tar.gz [apps-umlmon-web] name=apps-umlmon-web version=1.0.4 comment=A=20system=20monitor=20for=20User=20Mode=20Linux descr=UMLMON=20is=20an=20advanced=20monitor=20for=20User=20Mode=20Linux=2E=0AThis=20package=20contains=20only=20the=20web=20interface=2E=0A=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://www.gerd-stolpmann.de/umlmon svn_path=trunk/apps/apps-umlmon-web svn_rev=1538 date=Sun, 20 Aug 2006 21:52:46 +0000 rel_by=gerd section=3.08 distfiles=umlmon-1.0.4.tar.gz [conf-xpm] name=conf-xpm version=1godi1 comment=Configures=20which=20xpm=20library=20to=20use descr=This=20package=20configures=20where=20the=20xpm=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-xpm svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-bdb] name=conf-bdb version=1 comment=Configures=20which=20bdb=20library=20to=20use descr=This=20package=20configures=20where=20the=20BDB=20library=20is=20found=2E=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=n/a svn_path=trunk/conf/conf-bdb svn_rev=1133 date=Wed, 05 Oct 2005 16:05:31 +0000 rel_by=boender section=3.08 [godi-lablgtk] name=godi-lablgtk version=1.2.6godi3 comment=An=20object=2Doriented=20interface=20to=20GTK descr=A=20full=2Dfledge=20interface=20for=20GTK=0A=0A maintainer=garrigue=40kurims=2Ekyoto=2Du=2Eac=2Ejp homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html svn_path=trunk/godi/godi-lablgtk svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=lablgtk-1.2.6.tar.gz [godi-xstrp4] name=godi-xstrp4 version=1.6 comment=camlp4=20macros=20for=20inline=20expansion descr=This=20is=20a=20camlp4=20extension=20that=20expands=20brace=20expansions=20like=20a=20shell=0Adoes=2E=20=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-xstrp4 svn_rev=1189 date=Mon, 31 Oct 2005 12:56:41 +0000 rel_by=gerd section=3.08 distfiles=xstrp4-1.6.tar.gz [godi-password_gen] name=godi-password_gen version=1.0 comment=Pronouncable=20password=20generator=20library descr=This=20is=20a=20small=20library=20for=20generating=20English=20pronounceable=2C=20but=0Areasonably=20secure=20passwords=2E=0A maintainer=alicia=2Eyoung=40csun=2Eedu homepage=http://www.csun.edu/~eric/ svn_path=trunk/godi/godi-password_gen svn_rev=562 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=password_gen-1.0.tar.gz [godi-pxp] name=godi-pxp version=1.1.96 comment=PXP=20is=20an=20advanced=20XML=20parser descr=PXP=20is=20a=20validating=20parser=20for=20XML=2D1=2E0=20which=20has=20been=20written=20entirely=20in=0AObjective=20Caml=2E=0A=20=0APXP=20means=20=22Polymorphic=20XML=20parser=22=20and=20emphasizes=20its=20most=20useful=20property=3A=0Athat=20the=20API=20is=20polymorphic=20and=20can=20be=20configured=20such=20that=20different=20objects=0Aare=20used=20to=20store=20different=20types=20of=20elements=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.ocaml-programing.de/ svn_path=trunk/godi/godi-pxp svn_rev=1192 date=Mon, 31 Oct 2005 13:16:46 +0000 rel_by=gerd section=3.08 distfiles=pxp-1.1.96.tar.gz [godi-tools] name=godi-tools version=1.5.4 comment=godi=5Fconsole=20and=20other=20tools=20for=20GODI descr=godi=2Dtools=20currently=20only=20contains=20godi=5Fconsole=2C=20the=20package=0Amanagement=20utility=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-tools svn_rev=1098 date=Fri, 30 Sep 2005 09:33:21 +0000 rel_by=gerd section=3.08 distfiles=godi-tools-1.5.4.tar.gz [conf-png] name=conf-png version=1godi2 comment=Configures=20which=20png=20library=20to=20use descr=This=20package=20configures=20where=20the=20png=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-png svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [apps-ocamlweb] name=apps-ocamlweb version=1.36 comment=literate=20programming=20tool=20for=20Objective=20Caml descr=ocamlweb=20is=20a=20literate=20programming=20tool=20for=20Objective=20Caml=0A=0AThe=20invocation=20is=0A=0A=09ocamlweb=20=3Coptions=20and=20files=3E=0A=0AIt=20creates=20a=20single=20LaTeX=20document=20with=20both=20documentation=20and=20code=0A=28implementations=20and=20interfaces=29=20extracted=20from=20the=20given=20files=2E=0ADocumentation=20is=20inserted=20into=20ocaml=20files=20as=20comments=20and=20thus=20your=0Afiles=20will=20ever=20compile=2C=20no=20matter=20the=20fact=20you=20use=20ocamlweb=20or=20not=2E=0ASee=20the=20manual=20for=20options=2E=0A=0A maintainer=Francesco=20Zappa=20Nardelli=20=28fzn=40free=2Efr=29 homepage=http://www.lri.fr/~filliatr/ocamlweb/index.en.html svn_path=trunk/apps/apps-ocamlweb svn_rev=779 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocamlweb-1.36.tar.gz [godi-fftw] name=godi-fftw version=0.1godi1 comment=Discrete=20Fourier=20Transform=20=28FFTW=20version=202=29 descr=OCaml=20interface=20to=20FFTW=20version=202=2E=20FFTW=2C=20the=20=22Fastest=20Fourier=20Transform=20in=0Athe=20West=22=20is=20a=20C=20subroutine=20library=20for=20computing=20the=20Discrete=20Fourier=0ATransform=20=28DFT=29=20in=20one=20or=20more=20dimensions=2E=20For=20more=20information=20about=20FFTW=2C=0Avisit=20http=3A=2F=2Fwww=2Efftw=2Eorg=2F=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://math.umh.ac.be/an/software.php svn_path=trunk/godi/godi-fftw svn_rev=1568 date=Mon, 25 Sep 2006 07:26:09 +0000 rel_by=mjambon section=3.08 distfiles=fftw.tgz [conf-gdk-pixbuf1] name=conf-gdk-pixbuf1 version=1 comment=Configures=20which=20gdk=2Dpixbuf=20for=20gtk=201=2Ex=20library=20to=20use descr=This=20package=20configures=20where=20the=20gdk=2Dpixbuf=20for=20gtk=201=2Ex=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gdk-pixbuf1 svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-findlib] name=godi-findlib version=1.1.2pl1 comment=The=20findlib=2Focamlfind=20package=20manager descr=This=20is=20the=20findlib=20package=20manager=20for=20O=27Caml=3A=0A=0A=0AThe=20=22findlib=22=20library=20provides=20a=20scheme=20to=20manage=20reusable=20software=0Acomponents=20=28packages=29=2C=20and=20includes=20tools=20that=20support=20this=0Ascheme=2E=20Packages=20are=20collections=20of=20OCaml=20modules=20for=20which=0Ametainformation=20can=20be=20stored=2E=20The=20packages=20are=20kept=20in=20the=20filesystem=0Ahierarchy=2C=20but=20with=20strict=20directory=20structure=2E=20The=20library=20contains=0Afunctions=20to=20look=20the=20directory=20up=20that=20stores=20a=20package=2C=20to=20query=0Ametainformation=20about=20a=20package=2C=20and=20to=20retrieve=20dependency=0Ainformation=20about=20multiple=20packages=2E=20There=20is=20also=20a=20tool=20that=20allows=0Athe=20user=20to=20enter=20queries=20on=20the=20command=2Dline=2E=20In=20order=20to=20simplify=0Acompilation=20and=20linkage=2C=20there=20are=20new=20frontends=20of=20the=20various=20OCaml=0Acompilers=20that=20can=20directly=20deal=20with=20packages=2E=0A=20=0ATogether=20with=20the=20packages=20metainformation=20is=20stored=2E=20This=20includes=20a=0Aversion=20string=2C=20the=20archives=20the=20package=20consists=20of=2C=20and=20additional=0Alinker=20options=2E=20Packages=20can=20also=20be=20dependent=20on=20other=0Apackages=2E=20There=20is=20a=20query=20which=20finds=20out=20all=20predecessors=20of=20a=20list=0Aof=20packages=20and=20sorts=20them=20topologically=2E=20The=20new=20compiler=20frontends=0Ado=20this=20implicitly=2E=0A=20=0AMetainformation=20can=20be=20conditional=2C=20i=2Ee=2E=20depend=20on=20a=20set=20of=0Apredicates=2E=20This=20is=20mainly=20used=20to=20be=20able=20to=20react=20on=20certain=0Aproperties=20of=20the=20environment=2C=20such=20as=20if=20the=20bytecode=20or=20the=20native=0Acompiler=20is=20invoked=2C=20if=20the=20application=20is=20multi=2Dthreaded=2C=20and=20a=20few=0Amore=2E=20If=20the=20new=20compiler=20frontends=20are=20used=2C=20most=20predicates=20are=0Afound=20out=20automatically=2E=0A=20=0AThere=20is=20special=20support=20for=20scripts=2E=20A=20new=20directive=2C=20=22=23require=22=2C=0Aloads=20packages=20into=20scripts=2E=20Of=20course=2C=20this=20works=20only=20with=20newly=0Acreated=20toploops=20which=20include=20the=20=22findlib=22=20library=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-findlib svn_rev=1283 date=Mon, 16 Jan 2006 23:10:10 +0000 rel_by=gerd section=3.08 distfiles=findlib-1.1.2pl1.tar.gz [conf-gtkgl1] name=conf-gtkgl1 version=1 comment=Configures=20which=20gtkgl=20for=20gtk=201=2Ex=20library=20to=20use descr=This=20package=20configures=20where=20the=20gtkgl=20for=20gtk=201=2Ex=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gtkgl1 svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-mysql] name=conf-mysql version=2 comment=Configures=20which=20mysql=20library=20to=20use descr=This=20package=20configures=20where=20the=20Mysql=20client=20libraries=20can=20be=20found=2E=0A maintainer=ogunden=40phauna=2Eorg homepage=n/a svn_path=trunk/conf/conf-mysql svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-heredoc] name=godi-heredoc version=20060107 comment=syntactic=20sugar=20for=20text=20producing=20applications descr=syntactic=20sugar=20for=20text=20producing=20applications=0A=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://www.eleves.ens.fr/home/frisch/soft.html svn_path=trunk/godi/godi-heredoc svn_rev=1268 date=Sat, 07 Jan 2006 10:06:49 +0000 rel_by=frisch section=3.08 distfiles=HereDoc-20060107.tar.gz [conf-expat] name=conf-expat version=6 comment=Configures=20which=20expat=20library=20to=20use descr=This=20package=20configures=20where=20the=20expat=20library=20is=20found=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=n/a svn_path=trunk/conf/conf-expat svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocaml-dbm] name=godi-ocaml-dbm version=3.08.4 comment=The=20=28G=29DBM=20library=20of=20OCaml descr=This=20package=20contains=20the=20NDBM=20library=20of=20Objective=20Caml=2E=0AIt=20is=20linked=20with=20the=20GDBM=20C=20library=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-ocaml-dbm svn_rev=1054 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-sexplib] name=godi-sexplib version=2.8.3godi1 comment=Library=20for=20automated=20conversion=20of=20OCaml=2Dvalues=20to=20and=20from=20S=2Dexpressions=2E descr=Sexplib=20is=20a=20library=20for=20automated=20conversion=20of=20OCaml=2Dvalues=20to=20and=20from=0AS=2Dexpressions=20 maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.janestcapital.com/ocaml/ svn_path=trunk/godi/godi-sexplib svn_rev=1758 date=Mon, 09 Apr 2007 15:56:38 +0000 rel_by=mottl section=3.08 distfiles=sexplib-2.8.3.tar.gz [conf-gnome1] name=conf-gnome1 version=1 comment=Configures=20which=20gnome=201=2Ex=20library=20to=20use descr=This=20package=20configures=20where=20the=20gnome=201=2Ex=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gnome1 svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-pcre] name=conf-pcre version=6 comment=Configures=20which=20pcre=20library=20to=20use descr=This=20package=20configures=20where=20the=20PCRE=20library=20is=20found=2E=0A maintainer=markus=2Emottl=40gmail=2Ecom homepage=n/a svn_path=trunk/conf/conf-pcre svn_rev=1493 date=Mon, 24 Jul 2006 23:22:34 +0000 rel_by=gremlin section=3.08 [godi-ocamlduce] name=godi-ocamlduce version=3.08.4godi5 comment=OCaml=2Dbased=20compiler=20w=2F=20XML=20types=20and=20patterns descr=OCamlDuce=20is=20a=20modified=20OCaml=20compiler=20with=20built=2Din=20support=20for=20XML=0Atypes=20and=20patterns=20from=20CDuce=2E=0A maintainer=Alain=2EFrisch=40inria=2Efr homepage=http://www.cduce.org/ocaml svn_path=trunk308/godi/godi-ocamlduce svn_rev=1137 date=Fri, 07 Oct 2005 19:16:35 +0000 rel_by=frisch section=3.08 distfiles=ocamlduce-3.08.4pl5.tar.gz [conf-sdl] name=conf-sdl version=3 comment=Configures=20which=20SDL=20library=20to=20use descr=This=20package=20configures=20where=20the=20SDL=20library=20is=20found=2E=0ASDL=20=28Simple=20Direct=20Layer=29=20is=20a=20video=2Faudio=2Finput=20device=0AAPI=20especially=20designed=20to=20develop=20games=2E=0A=0AURL=3A=20http=3A=2F=2Fwww=2Elibsdl=2Eorg=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-sdl svn_rev=626 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-gif] name=conf-gif version=1godi2 comment=Configures=20which=20gif=20library=20to=20use descr=This=20package=20configures=20where=20the=20gif=20or=20ungif=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gif svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocamlgraph] name=godi-ocamlgraph version=0.90 comment=ocamlgraph=20is=20a=20graph=20library=20for=20Objective=20Caml descr=OcamlGraph=20is=20a=20graph=20library=20for=20Objective=20Caml=2E=0A maintainer=Alain=20Frisch=20=3CAlain=2EFrisch=40inria=2Efr=3E homepage=http://www.lri.fr/~filliatr/ocamlgraph/ svn_path=trunk/godi/godi-ocamlgraph svn_rev=718 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocamlgraph-0.90.tar.gz [godi-calendar] name=godi-calendar version=1.09.6godi1 comment=Operations=20over=20dates=20and=20times=2E descr=The=20Calendar=20library=20is=20a=20library=20providing=20a=20set=20of=20operations=20over=20dates=0Aand=20times=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://www.lri.fr/~signoles/prog.en.html svn_path=trunk/godi/godi-calendar svn_rev=1495 date=Tue, 25 Jul 2006 00:35:19 +0000 rel_by=gremlin section=3.08 distfiles=calendar-1.09.6.tar.gz [godi-equeue-tcl] name=godi-equeue-tcl version=2.1.4 comment=tcl=20extension=20for=20equeue descr=This=20package=20is=20the=20Tcl=20extension=20of=20equeue=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-tcl svn_rev=1141 date=Thu, 13 Oct 2005 23:25:49 +0000 rel_by=gerd section=3.08 distfiles=equeue-2.1.4.tar.gz [godi-micmatch_pcre] name=godi-micmatch_pcre version=0.696 comment=Pattern=20matching=20extended=20with=20regexps=20in=20Ocamllex=20syntax descr=Micmatch=20is=20a=20Camlp4=2Dbased=20syntax=20extension=20of=20OCaml=20which=20extends=20the=0Amatch=2Dwith=20construct=20with=20regexps=20for=20quick=20and=20simple=20text=20manipulation=2E=0AThe=20syntax=20of=20the=20regexps=20is=20an=20extension=20of=20the=20syntax=20of=20OCamllex=0Aregexps=2C=20which=20are=20easy=20to=20learn=20and=20OCaml=2Dfriendly=2E=20Micmatch=5Fpcre=20takes=0Aadvantage=20of=20most=20of=20the=20advanced=20features=20of=20the=20PCRE=20library=2C=20including=0Alaziness=2C=20possessiveness=2C=20and=20lookahead=20and=20lookbehind=20assertions=2E=20The=0Acompilation=20of=20regexps=20is=20performed=20internally=20and=20once=20only=2E=20If=20the=0Aprogram=20is=20compiled=20successfully=2C=20then=20your=20regexps=20are=20valid=2C=20as=20well=20as=0Athe=20named=20captures=2C=20otherwise=20the=20preprocessor=20reports=20the=20error=0Aaccurately=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/micmatch.html svn_path=trunk/godi/godi-micmatch_pcre svn_rev=1155 date=Wed, 19 Oct 2005 01:23:34 +0000 rel_by=mjambon section=3.08 distfiles=micmatch-0.696-beta.tar.gz [godi-pcre] name=godi-pcre version=5.11.1godi9 comment=Perl=20compatible=20regular=20expressions descr=O=27Caml=20bindings=20for=20=22Perl=20compatible=20regular=20expressions=22=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.ocaml.info/home/ocaml_sources.html svn_path=trunk/godi/godi-pcre svn_rev=1574 date=Thu, 28 Sep 2006 21:08:01 +0000 rel_by=gerd section=3.08 distfiles=pcre-ocaml-5.11.1.tar.gz [godi-col] name=godi-col version=1.1.1 comment=Automatic=20conversion=20between=20records=20and=20CSV=20files descr=This=20is=20a=20camlp4=20syntax=20extension=2E=20From=20a=20special=20type=20definition=2C=0Afunctions=20for=20importing=2Fexporting=20records=20to=20comma=2Dseparated=20values=20=28CSV=29=0Afiles=20are=20generated=2E=20From=20the=20same=20record=20type=20definition=2C=20functions=20that=0Amanipulate=20the=20equivalent=20tuples=20and=20objects=20are=20generated=20as=20well=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/ocaml.html svn_path=trunk/godi/godi-col svn_rev=1702 date=Sat, 24 Feb 2007 06:20:13 +0000 rel_by=mjambon section=3.08 distfiles=col-1.1.1.tar.gz [godi-ounit] name=godi-ounit version=1.0.1 comment=Unit=20test=20framework=20for=20OCaml descr=OUnit=20is=20a=20unit=20test=20framework=20for=20OCaml=20by=20Maas=2DMaarten=20=0AZeeman=20=3Cmaas=40wanadoo=2Enl=3E=2E=20=0A=0AOUnit=20is=20based=20on=20HUnit=2C=20a=20unit=20testing=20framework=20for=20Haskell=2E=0A=0AOnline=20documentation=20is=20available=20at=3A=0Ahttp=3A=2F=2Fhome=2Ewanadoo=2Enl=2Fmaas=2Focaml=2Founit=2Ddoc=2FOUnit=2Ehtml=0A maintainer=Olivier=20Grisel=20=3Colivier=2Egrisel=40ensta=2Eorg=3E homepage=http://home.wanadoo.nl/maas/ocaml/ svn_path=trunk/godi/godi-ounit svn_rev=640 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ounit-1.0.1.tar.gz [godi-xstr] name=godi-xstr version=0.2.1 comment=additional=20string=20functions descr=String=20functions=20for=20O=27Caml maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-xstr svn_rev=88 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=xstr-0.2.1.tar.gz [base-pcre] name=base-pcre version=6.7godi3 comment=The=20version=20of=20PCRE=20for=20GODI descr=This=20is=20the=20version=20of=20PCRE=20used=20by=20GODI=2E maintainer=markus=2Emottl=40gmail=2Ecom homepage=http://www.pcre.org svn_path=trunk/base/base-pcre svn_rev=1838 date=Sun, 22 Jul 2007 15:18:42 +0000 rel_by=gerd section=3.08 distfiles=pcre-6.7.tar.gz [godi-postgres-af] name=godi-postgres-af version=20040120 comment=Bindings=20for=20Postgres=20database=20clients descr=This=20libraries=20allows=20an=20OCaml=20program=20to=20query=20a=20PostgreSQL=20database=0Abackend=2E=0A=0ATHIS=20IS=20THE=20DEPRECATED=20VERSION=20PROVIDED=20BY=20ALAIN=20FRISCH=21=20Well=2C=20there=0Ais=20still=20software=20needing=20it=2E=2E=2E=0A=0A=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://www.eleves.ens.fr/home/frisch/soft svn_path=trunk/godi/godi-postgres-af svn_rev=862 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=postgres-20040120.tar.gz [conf-freetype2] name=conf-freetype2 version=1godi3 comment=Configures=20which=20freetype2=20library=20to=20use descr=This=20package=20configures=20where=20freetype2=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-freetype2 svn_rev=626 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-tiff] name=conf-tiff version=2godi1 comment=Configures=20which=20tiff=20library=20to=20use descr=This=20package=20configures=20where=20the=20tiff=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-tiff svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [apps-wyrd] name=apps-wyrd version=1.0.0 comment=Curses=20calendar=20app descr=Warning=3A=20Wyrd=20requires=20remind=2003=2E00=2E23=20or=20better=21=20Wyrd=20is=20a=20curses=20frontend=0Ato=20the=20remind=20calendar=20program=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://www.eecs.umich.edu/~pelzlpj/wyrd/ svn_path=trunk/apps/apps-wyrd svn_rev=985 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=wyrd-1.0.0.tar.gz [godi-hweak] name=godi-hweak version=1.1 comment=Weak=20hash=20table=20and=20downcast=2E descr=The=20Hweak=20module=2C=20containing=20a=20weak=20hasthable=20where=20binding=20disappear=0Aif=20the=20key=20or=20the=20value=20is=20collected=2E=20=20The=20Weak=5Fmemo=20module=2C=0Acontaining=20a=20class=20that=20may=20help=20to=20recover=20the=20true=20type=20of=20an=0Aupcasted=20object=2E=20=20=0A maintainer=Yamagata=20Yoriyuki=20=3Cyori=40users=2Esourceforge=2Enet=3E homepage=http://aspellfr.free.fr/hweak/ svn_path=trunk/godi/godi-hweak svn_rev=443 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=hweak-1.1.tar.gz [godi-ocaml-ssl] name=godi-ocaml-ssl version=0.2.0godi5 comment=The=20Secure=20Socket=20Layer descr=This=20is=20a=20binding=20to=20OpenSSL=20for=20Ocaml=2C=20it=20allows=20to=20use=20both=20client=20and=20server=20side=20secure=20sockets=2E=0A maintainer=Samuel=20Mimram=20=3Csamuel=2Emimram=40ens=2Dlyon=2Eorg=3E homepage=http://savonet.sourceforge.net/ svn_path=trunk/godi/godi-ocaml-ssl svn_rev=1432 date=Wed, 14 Jun 2006 13:21:10 +0000 rel_by=gerd section=3.08 distfiles=ocaml-ssl-0.2.0.tar.gz [godi-alphacaml] name=godi-alphacaml version=20051129 comment=A=20tool=20that=20helps=20deal=20with=20alpha=2Dconversion=20issues=2E descr=AlphaCaml=20is=20a=20tool=20that=20turns=20a=20so=2Dcalled=20=60binding=20specification=27=20into=20an=0AObjective=20Caml=20compilation=20unit=2E=20This=20helps=20writers=20of=20interpreters=2C=0Acompilers=2C=20or=20other=20programs=2Dthat=2Dmanipulate=2Dprograms=20deal=20with=20alpha=2D=0Aconversion=20in=20a=20safe=20and=20concise=20style=2E=20 maintainer=Fran=E7ois=20Pottier=20=3CFrancois=2EPottier=40inria=2Efr=3E homepage=http://cristal.inria.fr/~fpottier/alphaCaml/ svn_path=trunk/godi/godi-alphacaml svn_rev=1243 date=Tue, 13 Dec 2005 08:06:09 +0000 rel_by=fpottier section=3.08 distfiles=alphaCaml-20051129.tar.gz [godi-lua-ml] name=godi-lua-ml version=2.5_20060829 comment=Lua=20interpreter descr=Lua=2DML=20is=20an=20interpreter=20for=20version=202=2E5=20of=20the=20Lua=20=20programming=20language=2E=0A=0ANote=20that=20you=20need=20the=20Perl=20interpreter=20to=20build=20this=20package=21=0A maintainer=Christian=20Lindig=20=3Clindig=40eecs=2Eharvard=2Eedu=3E homepage=http://www.cminusminus.org/code.html svn_path=trunk/godi/godi-lua-ml svn_rev=1564 date=Sun, 24 Sep 2006 00:36:29 +0000 rel_by=gerd section=3.08 distfiles=lua-ml-20060829.tar.gz [godi-ocaml-http] name=godi-ocaml-http version=0.1.1godi1 comment=Do=20it=20yourself=20http=20daemon=2C=20like=20HTTP=3A=3ADaemon=20in=20perl descr=OCaml=20HTTP=20is=20a=20simple=20OCaml=20library=20for=20creating=20HTTP=20daemons=2C=20it=20is=20largely=0Ainspired=20to=20the=20Perl=27s=20HTTP=3A=3A=20modules=20family=2E=0A=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/ svn_path=trunk/godi/godi-ocaml-http svn_rev=1377 date=Fri, 14 Apr 2006 16:23:54 +0000 rel_by=gerd section=3.08 distfiles=ocaml-http-0.1.1.tar.gz [godi-missinglib] name=godi-missinglib version=0.4.1 comment=A=20collection=20of=20various=20utilities=20for=20O=27Caml descr=From=20a=20module=20for=20function=20composition=20to=20an=20implementation=20of=20=22rm=20=2Drf=22=2C=0Amissinglib=20is=20full=20of=20goodies=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://quux.org/devel/missinglib svn_path=trunk/godi/godi-missinglib svn_rev=646 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=missinglib_0.4.1.tar.gz [godi-lablgtk2] name=godi-lablgtk2 version=20051028 comment=An=20object=2Doriented=20interface=20to=20GTK2 descr=A=20full=2Dfledge=20interface=20for=20GTK2=2E=0AIncludes=20support=20for=20GtkGLarea=2C=20libglade2=2C=20librsvg2=2C=20gnomecanvas2=2E=2E=2E=0A=0ANote=20about=20version=20numbers=3A=0A=0AThe=20GODI=20package=20prefers=20the=20date=2Dbased=20version=20string=20=28e=2Eg=2E=2020040319=29=0Aover=20the=20release=2Dbased=20version=20string=20=28e=2Eg=2E=202=2E2=2E0=29=2E=20The=20former=20scheme=0Ais=20applicable=20to=20both=20development=20and=20stable=20versions=2E=20Here=20is=20a=20table=0Ahow=20they=20map=20to=20each=20other=3A=0A=0A20040716=20=3D=202=2E4=2E0=0A20031010=20=3D=202=2E2=2E0=0A maintainer=garrigue=40kurims=2Ekyoto=2Du=2Eac=2Ejp homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html svn_path=trunk/godi/godi-lablgtk2 svn_rev=1422 date=Tue, 06 Jun 2006 14:23:55 +0000 rel_by=gremlin section=3.08 distfiles=lablgtk-2.6.0.tar.gz [godi-cil] name=godi-cil version=1.3.1godi5 comment=C=20Intermediate=20Language descr==20CIL=20=28C=20Intermediate=20Language=29=20is=20a=20high=2Dlevel=20representation=20along=0Awith=20a=20set=20of=20tools=20that=20permit=20easy=20analysis=20and=20source=2Dto=2Dsource=0Atransformation=20of=20C=20programs=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://manju.cs.berkeley.edu/cil/ svn_path=trunk/godi/godi-cil svn_rev=968 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=cil-1.3.1.tar.gz [godi-cryptgps] name=godi-cryptgps version=0.2.1 comment=cryptographic=20algorithms=20DES=2C=203DES=2C=20Blowfish descr=This=20library=20implements=20Blowfish=2C=20DES=2C=20and=20Triple=2DDES=2E=0A=20 maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-cryptgps svn_rev=88 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=cryptgps-0.2.1.tar.gz [godi-annexlib] name=godi-annexlib version=0.13.2 comment=a=20bunch=20of=20cool=20stuff descr=This=20is=20an=20annex=20to=20the=20standard=20library=2E=20It=20contains=20many=20useful=20things=2E=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/ svn_path=trunk/godi/godi-annexlib svn_rev=728 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=annexlib-0.13.2.tar.gz [godi-syslog] name=godi-syslog version=1.2godi1 comment=syslog=20client descr=This=20is=20a=20syslog=20client=20implementation=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/syslog/ svn_path=trunk/godi/godi-syslog svn_rev=916 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=syslog-1.2.tar.gz [godi-wdialog-manual] name=godi-wdialog-manual version=2.1.1 comment=The=20manual=20for=20WDialog descr=The=20reference=20manual=20of=20WDialog=2C=20HTML=2Dformatted=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://wdialog.sourceforge.net svn_path=trunk/godi/godi-wdialog-manual svn_rev=1046 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=wdialog-manual-2.1.1-html.tar.gz [godi-camomile] name=godi-camomile version=0.6.1 comment=A=20comprehensive=20Unicode=20library=20for=20OCaml=2E descr=Camomile=20is=20a=20comprehensive=20Unicode=20library=20for=20OCaml=2E=20Camomile=20provides=0AUnicode=20character=20type=2C=20UTF=2D8=2C=20UTF=2D16=2C=20UTF=2D32=20strings=2C=20conversion=20to=2Ffrom=0Aabout=20200=20encodings=2C=20collation=20and=20locale=2Dsensitive=20case=20mappings=2C=20and=0Amore=2E=20 maintainer=Yamagata=20Yoriyuki=20=3Cyori=40users=2Esourceforge=2Enet=3E homepage=http://camomile.sourceforge.net svn_path=trunk/godi/godi-camomile svn_rev=704 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=camomile-0.6.1.tar.bz2 [godi-cryptokit] name=godi-cryptokit version=1.2 comment=Cryptographic=20primitives descr=The=20Cryptokit=20library=20for=20Objective=20Caml=20provides=20a=20variety=20of=0Acryptographic=20primitives=20that=20can=20be=20used=20to=20implement=20cryptographic=0Aprotocols=20in=20security=2Dsensitive=20applications=2E=20The=20primitives=20provided=0Ainclude=3A=0A=0A=20=20=20=20=2A=20Symmetric=2Dkey=20cryptography=3A=20AES=2C=20DES=2C=20Triple=2DDES=2C=20ARCfour=2C=20in=20ECB=2C=0A=20=20=20=20=20=20CBC=2C=20CFB=20and=20OFB=20modes=2E=20=0A=20=20=20=20=20=20=0A=20=20=20=20=2A=20Public=2Dkey=20cryptography=3A=20RSA=20encryption=20and=20signature=3B=0A=20=20=20=20=20=20Diffie=2DHellman=20key=20agreement=2E=0A=20=20=0A=20=20=20=20=2A=20Hash=20functions=20and=20MACs=3A=20SHA=2D1=2C=20MD5=2C=20and=20MACs=20based=20on=20AES=20and=0A=20=20=20=20=20=20DES=2E=0A=20=20=0A=20=20=20=20=2A=20Random=20number=20generation=2E=0A=20=20=20=0A=20=20=20=20=2A=20Encodings=20and=20compression=3A=20base=2064=2C=20hexadecimal=2C=20Zlib=20compression=2E=20=0A=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=0AAdditional=20ciphers=20and=20hashes=20can=20easily=20be=20used=20in=20conjunction=20with=20the=0Alibrary=2E=20In=20particular=2C=20basic=20mechanisms=20such=20as=20chaining=20modes=2C=20output=0Abuffering=2C=20and=20padding=20are=20provided=20by=20generic=20classes=20that=20can=20easily=0Abe=20composed=20with=20user=2Dprovided=20ciphers=2E=20More=20generally=2C=20the=20library=0Apromotes=20a=20=22Lego=22=2Dlike=20style=20of=20constructing=20and=20composing=0Atransformations=20over=20character=20streams=2E=0A=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=20=0AThis=20library=20works=20under=20Unix=20and=20Windows=2E=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://pauillac.inria.fr/~xleroy/software.html svn_path=trunk/godi/godi-cryptokit svn_rev=860 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=cryptokit-1.2.tar.gz [apps-unison] name=apps-unison version=2.10.2godi2 comment=File=20synchronizer descr=The=20Unison=20file=20synchronizer=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://www.cis.upenn.edu/~bcpierce/unison/ svn_path=trunk/apps/apps-unison svn_rev=767 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=unison-2.10.2.tar.gz [godi-ocaml-manual] name=godi-ocaml-manual version=3.08 comment=The=20manual=20for=20OCaml descr=The=20reference=20manual=20of=20Objective=20Caml=2C=20HTML=2Dformatted=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr/ svn_path=trunk308/godi/godi-ocaml-manual svn_rev=467 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocaml-3.08-refman.html.tar.gz [conf-gtk1] name=conf-gtk1 version=1 comment=Configures=20which=20gtk=201=2Ex=20library=20to=20use descr=This=20package=20configures=20where=20the=20gtk=201=2Ex=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gtk1 svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocaml] name=godi-ocaml version=3.08.4 comment=The=20core=20of=20the=20OCaml=20system=20=28compiler=2C=20runtime=29 descr=This=20is=20the=20core=20of=20the=20Objective=20Caml=20language=20environment=2E=0AIt=20contains=20the=20runtime=20environment=2C=20the=20compilers=2C=20and=20the=0Acore=20libraries=20unix=2C=20str=2C=20bigarray=2C=20nums=2C=20dbm=2C=20threads=2E=0A=0AThe=20thread=20model=20can=20be=20either=20=22bthr=22=20=28bytecode=20threads=29=20or=0A=22pthr=22=20=28POSIX=20threads=29=2C=20depending=20on=20the=20configuration=2E=0A=0AThe=20dbm=20library=20is=20always=20linked=20against=20GDBM=20=28the=20real=20GDBM=2C=0Anot=20the=20compatibility=20NDBM=20layer=29=2E=0A=0AThe=20graphics=20library=20can=20be=20found=20in=20pkg=20godi=2Docaml=2Dgraphics=2C=0Aand=20the=20labltk=20library=20can=20be=20found=20in=20pkg=20godi=2Docaml=2Dlabltk=2E=0A=0AThis=20package=20does=20not=20install=20the=20Emacs=20mode=20distributed=0Awith=20OCaml=2E=0A=0AABOUT=20OBJECTIVE=20CAML=3A=0A=0ACiting=20the=20homepage=3A=0A=0A=22Caml=20is=20a=20programming=20language=2C=20easy=20to=20learn=2C=20easy=20to=20use=2C=20and=20yet=0Aamazingly=20powerful=2E=20=2D=2D=20It=20is=20developed=20and=20distributed=20by=20INRIA=20=28the=0Amain=20French=20research=20institute=20for=20computer=20science=29=2C=20since=201984=2E=20It=0Ais=20freely=20available=20for=20Unix=2C=20PC=20or=20Macintosh=2E=20=2D=2D=20There=20exist=20two=0Aflavors=20of=20Caml=3A=20Caml=20Light=20and=20Objective=20Caml=2E=20Caml=20Light=20is=20merely=20a=0Asubset=20of=20Objective=20Caml=2C=20especially=20designed=20for=20teaching=20and=0Alearning=20the=20art=20of=20programming=2E=20=20In=20addition=20to=20the=20Caml=20Light=27s=20core=0Alanguage=2C=20Objective=20Caml=20features=20a=20powerful=20modules=20system=2C=20full=0Asupport=20to=20object=2Doriented=20paradigm=2C=20and=20an=20optimizing=20compiler=2E=22=0A=0A=22Objective=20Caml=20is=20the=20latest=20implementation=20of=20the=20Caml=20dialect=20of=20ML=2E=22=0A=0A=22Objective=20Caml=20is=20an=20implementation=20of=20the=20Caml=20dialect=20of=20ML=20extended=0Awith=20class=2Dbased=20objects=20and=20a=20powerful=20module=20system=20in=20the=20style=20of=0ASML=27s=2E=20It=20continues=20the=20Caml=20Light=20effort=20in=20many=20ways=20=28separate=0Acompilation=2C=20low=20memory=20requirements=2C=20fast=20turnaround=20through=20bytecode=0Ainterpretation=29=2C=20but=20also=20significantly=20departs=20from=20Caml=20Light=20on=0Aother=20points=20=28objects=2C=20the=20module=20calculus=2C=20and=20a=20high=2Dperformance=0Anative=2Dcode=20compiler=29=2E=0A=0AObjective=20Caml=20continues=20an=20earlier=20implementation=20of=20Caml=20plus=0Amodules=2C=20known=20as=20Caml=20Special=20Light=2E=20The=20only=20difference=20between=0AObjective=20Caml=20and=20Caml=20Special=20Light=20is=20the=20addition=20of=20objects=2E=22=0A=0A=22Objective=20Caml=20is=20a=20general=20purpose=20programming=20language=20that=0Acombines=20functional=2C=20imperative=2C=20and=20object=2Doriented=20programming=2E=20The=0Alanguage=20is=20statically=20typed=3B=20its=20type=20system=20ensures=20the=20correct=0Aevaluation=20of=20programs=2E=20Types=20are=20automatically=20inferred=2E=20The=20language=0Aoffers=20powerful=20constructions=20such=20as=20user=2Ddefinable=20data=2Dtypes=2C=20the=0Aability=20to=20define=20functions=20by=20pattern=2Dmatching=2C=20and=20an=20exception=0Amechanism=2E=20Programming=20in=20the=20large=20is=20facilitated=20by=20a=20full=2Dfledge=0Aclass=2Dbased=20object=2Doriented=20layer=20and=20an=20expressive=20module=20system=2E=22=0A=0A=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=0A=0AInformal=20runtime=20dependencies=3A=0A=2D=20The=20C=20compiler=20is=20needed=20=28same=20as=20at=20build=20time=29=2C=20and=20the=20tools=0A=20=20required=20by=20the=20C=20compiler=20=28assembler=2C=20linker=29=2E=0A=2D=20Maybe=20objcopy=20is=20needed=2E=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-ocaml svn_rev=1054 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [apps-umlmon] name=apps-umlmon version=1.0.4 comment=A=20system=20monitor=20for=20User=20Mode=20Linux descr=UMLMON=20is=20an=20advanced=20monitor=20for=20User=20Mode=20Linux=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://www.gerd-stolpmann.de/umlmon svn_path=trunk/apps/apps-umlmon svn_rev=1538 date=Sun, 20 Aug 2006 21:52:46 +0000 rel_by=gerd section=3.08 distfiles=umlmon-1.0.4.tar.gz [godi-ocamlnet] name=godi-ocamlnet version=1.1.2 comment=base=20library=20for=20network=20protocols descr=The=20Ocamlnet=20project=20will=20provide=20a=20collection=20of=20modules=20for=20the=0AObjective=20Caml=20language=20which=20focus=20on=20application=2Dlevel=20Internet=0Aprotocols=20and=20conventions=2E=0A=0AThe=20current=20distribution=20contains=3A=0A=0A=2D=20a=20mature=20implementation=20of=20the=20CGI=20protocol=0A=0A=2D=20an=20implementation=20of=20the=20JSERV=20protocol=20=28AJP=2D1=2E2=29=2C=20can=20be=20used=20with=0A=20=20mod=5Fjserv=20=28Apache=20JServ=29=20and=20mod=5Fjk=20=28Jakarta=20connector=29=20to=20connect=0A=20=20application=20servers=20written=20in=20O=27Caml=20with=20web=20servers=0A=20=0A=2D=20an=20experimental=20POP3=20client=0A=20=0A=2D=20a=20library=20of=20string=20processing=20functions=20related=20to=20Internet=0A=20=20protocols=20=28formerly=20known=20as=20=22netstring=22=20and=20distributed=20separately=29=3A=0A=20=20MIME=20encoding=2Fdecoding=2C=20Date=2Ftime=20parsing=2C=20Character=20encoding=0A=20=20conversion=2C=20HTML=20parsing=20and=20printing=2C=20URL=20parsing=20and=20printing=2C=0A=20=20OO=2Drepresentation=20of=20channels=2C=20and=20a=20lot=20more=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet svn_rev=1330 date=Mon, 06 Mar 2006 17:15:14 +0000 rel_by=gerd section=3.08 distfiles=ocamlnet-1.1.2.tar.gz [godi-res] name=godi-res version=2.2.4 comment=OCaml=20library=20for=20resizable=20arrays=20and=20strings descr=Res=20is=20a=20library=20for=20resizable=20arrays=2C=20strings=2C=20and=20generally=20contiguous=0Adatastructures=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html#POMAP svn_path=trunk/godi/godi-res svn_rev=1520 date=Mon, 31 Jul 2006 04:30:10 +0000 rel_by=mottl section=3.08 distfiles=res-2.2.4.tar.gz [conf-opengl] name=conf-opengl version=6 comment=Configures=20which=20opengl=20libraries=20to=20use descr=This=20package=20configures=20where=20the=20opengl=20libraries=20GL=20and=20GLU=20are=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-opengl svn_rev=1163 date=Fri, 20 Jan 2006 12:56:42 +0000 rel_by=gerd section=3.08 [godi-facile] name=godi-facile version=1.1 comment=A=20Functional=20Constraint=20Library descr=FaCiLe=20is=20a=20constraint=20programming=20library=20on=20integer=20and=20integer=20set=20finite=0Adomains=20written=20in=20OCaml=2E=20It=20offers=20all=20usual=20facilities=20to=20create=20and=0Amanipulate=20finite=20domain=20variables=2C=20arithmetic=20expressions=20and=20constraints=0A=28possibly=20non=2Dlinear=29=2C=20built=2Din=20global=20constraints=20=28difference=2C=20cardinality=2C=0Asorting=20etc=2E=29=20and=20search=20and=20optimization=20goals=2E=20FaCiLe=20allows=20as=20well=20to=20build=0Aeasily=20user=2Ddefined=20constraints=20and=20goals=20=28including=20recursive=20ones=29=2C=20making=0Apervasive=20use=20of=20OCaml=20higher=2Dorder=20functionals=20to=20provide=20a=20simple=20and=20flexible=0Ainterface=20for=20the=20user=2E=20As=20FaCiLe=20is=20an=20OCaml=20library=20and=20not=20=22yet=20another=0Alanguage=22=2C=20the=20user=20benefits=20from=20type=20inference=20and=20strong=20typing=20discipline=2C=0Ahigh=20level=20of=20abstraction=2C=20modules=20and=20objects=20system=2C=20as=20well=20as=20native=20code=0Acompilation=20efficiency=2C=20garbage=20collection=20and=20replay=20debugger=2C=20all=20features=20of=0AOCaml=20=28among=20many=20others=29=20that=20allow=20to=20prototype=20and=20experiment=20quickly=3A=0Amodeling=2C=20data=20processing=20and=20interface=20are=20implemented=20with=20the=20same=20powerful=0Aand=20efficient=20language=2E=0A=0AOnline=20documentation=20at=3A=0Ahttp=3A=2F=2Fwww=2Erecherche=2Eenac=2Efr=2Fopti=2Ffacile=2Findex=2Ehtml=2Een=0A maintainer=Olivier=20Grisel=20=3Colivier=2Egrisel=40ensta=2Eorg=3E homepage=http://www.recherche.enac.fr/opti/facile/index.html.en svn_path=trunk/godi/godi-facile svn_rev=616 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=facile-1.1.tar.gz [conf-tcltk] name=conf-tcltk version=10 comment=Configures=20which=20tcl=2Ftk=20libraries=20to=20use descr=This=20package=20configures=20where=20the=20tcl=2Ftk=20libraries=20can=20be=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-tcltk svn_rev=1163 date=Fri, 20 Jan 2006 12:56:42 +0000 rel_by=gerd section=3.08 [conf-x11] name=conf-x11 version=3 comment=Configures=20which=20X11=20library=20to=20use descr=This=20package=20configures=20where=20the=20X11=20library=20can=20be=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-x11 svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-glut] name=conf-glut version=6 comment=Configures=20which=20glut=20library=20to=20use descr=This=20package=20configures=20where=20the=20glut=20library=20can=20be=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-glut svn_rev=1163 date=Fri, 20 Jan 2006 12:56:42 +0000 rel_by=gerd section=3.08 [godi-core-pkgtools] name=godi-core-pkgtools version=20050829 comment=GODI=20package=20tools descr=The=20tools=20to=20create=2C=20add=2C=20remove=2C=20and=20list=20the=20binary=20packages=0A=28=2Etgz=20files=29=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-core-pkgtools svn_rev=1065 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=godi-pkg_install-20050829.tar.gz [godi-camltemplate] name=godi-camltemplate version=1.0.1 comment=A=20library=20for=20generating=20text=20from=20templates=2E descr=CamlTemplate=20can=20be=20used=20to=20generate=20web=20pages=2C=20scripts=2C=20SQL=20queries=2C=20XML=0Adocuments=20and=20other=20sorts=20of=20text=2E=20 maintainer=Benjamin=20Geer=20=3Cbenjamin=2Egeer=40gmail=2Ecom=3E homepage=http://saucecode.org/camltemplate/ svn_path=trunk/godi/godi-camltemplate svn_rev=988 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=camltemplate-1.0.1.tar.gz [godi-netclient] name=godi-netclient version=0.92.2 comment=a=20HTTP=2F1=2E1=20and=20a=20Telnet=20client descr=Includes=20a=20HTTP=2F1=2E1=2C=20a=20Telnet=20client=2C=20and=20an=0Aexperimental=20FTP=20client=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-netclient svn_rev=1398 date=Thu, 11 May 2006 16:14:15 +0000 rel_by=gerd section=3.08 distfiles=netclient-0.92.2.tar.gz [apps-hevea] name=apps-hevea version=1.08godi3 comment=Latex=2Dto=2DHTML=20converter descr=HEVEA=20is=20a=20LaTeX=20to=20HTML=20translator=2E=20=20The=20input=20language=20is=20a=20fairly=0Acomplete=20subset=20of=20LaTeX2e=20=28old=20LaTeX=20style=20is=20also=20accepted=29=20and=20the=0Aoutput=20language=20is=20HTML=20that=20is=20=28hopefully=29=20correct=20with=20respect=20to=0Aversion=204=2E0=20=28transitional=29=0A=0AExotic=20symbols=20are=20translated=20into=20symbols=20pertaining=20to=20the=0Asymbol=20font=20of=20the=20HTML=20browser=2C=20using=20the=20FACE=20attribute=20of=20the=20FONT=0Atag=2E=20This=20allows=20the=20translation=20to=20HTML=20of=20quite=20a=20lot=20of=20the=20symbols=0Aused=20in=20LaTeX=2E=0A=0AHEVEA=20understands=20LaTeX=20macro=20definitions=2E=20Simple=20user=20style=0Afiles=20are=20understood=20with=20little=20or=20no=20modifications=2E=0AFurthermore=2C=20HEVEA=20customization=20is=20done=20by=20writing=20LaTeX=20code=2E=0A=20=20=20=20=0AHEVEA=20is=20written=20in=20Objective=20Caml=2C=20as=20many=20lexers=2E=20It=20is=20quite=20fast=0Aand=20flexible=2E=20Using=20HEVEA=20it=20is=20possible=20to=20translate=20large=20documents=0Asuch=20as=20manuals=2C=20books=2C=20etc=2E=20very=20quickly=2E=20All=20documents=20are=0Atranslated=20as=20one=20single=20HTML=20file=2E=20Then=2C=20the=20output=20file=20can=20be=20cut=0Ainto=20smaller=20files=2C=20using=20the=20companion=20program=20HACHA=2E=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://para.inria.fr/~maranget/hevea/ svn_path=trunk/apps/apps-hevea svn_rev=1542 date=Mon, 21 Aug 2006 10:04:57 +0000 rel_by=gerd section=3.08 distfiles=hevea-1.08-manual.tar.gz distfiles=hevea-1.08.tar.gz [godi-pomap] name=godi-pomap version=2.9.7 comment=OCaml=20library=20for=20manipulating=20partially=20ordered=20maps descr=Pomap=20is=20a=20purely=20functional=20library=20for=20manipulating=20partially=20ordered=20maps=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html#POMAP svn_path=trunk/godi/godi-pomap svn_rev=1520 date=Mon, 31 Jul 2006 04:30:10 +0000 rel_by=mottl section=3.08 distfiles=pomap-2.9.7.tar.gz [godi-lablgl] name=godi-lablgl version=1.01godi6 comment=OpenGL=20interface descr=A=20type=2Dsafe=20binding=20for=20openGL=2C=20with=20labltk=20and=20lablgtk=20support=2E=0A=0ANote=20Cygwin=3A=20Although=20they=20compile=2C=20the=20Togl=20bindings=20=28and=20lablgl=29=0Ado=20not=20work=2E=20The=20Glut=20bindings=20=28and=20lablglut=29=20are=20functional=2C=20however=2E=0A=0ANote=20OS=20X=3A=20Togl=20works=20only=20if=20labltk=20was=20linked=20against=20the=20X11=20version=0Aof=20tcl=2Ftk=2C=20not=20the=20Aqua=20version=2E=20As=20the=20latter=20is=20currently=20not=20automatically=0Afound=2C=20it=20is=20quite=20likely=20you=20get=20the=20right=20one=2E=0A maintainer=garrigue=40kurims=2Ekyoto=2Du=2Eac=2Ejp homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html svn_path=trunk/godi/godi-lablgl svn_rev=1165 date=Fri, 20 Jan 2006 12:56:42 +0000 rel_by=gerd section=3.08 distfiles=lablgl-1.01.tar.gz [godi-rpc] name=godi-rpc version=0.4.5 comment=SunRPC=2FONCRPC=20network=20protocol descr=RPC=20is=20a=20package=20supporting=20the=20Sun=20RPC=20protocol=2E=20RPC=20programs=2C=20procedures=2C=0Aclients=2C=20and=20servers=20can=20be=20dynamically=20represented=20and=20modified=2E=20Of=20course=2C=0Athere=20is=20also=20a=20classical=20RPC=20generator=20which=20generates=20functions=20doing=20the=0Alanguage=20mapping=20from=20XDR=20values=20to=20language=20values=20and=20vice=20versa=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-rpc svn_rev=1434 date=Thu, 15 Jun 2006 00:24:51 +0000 rel_by=gerd section=3.08 distfiles=rpc-0.4.5.tar.gz [godi-ocs] name=godi-ocs version=1.0.1 comment=Embeddable=20Scheme=20written=20in=20Ocaml descr=Scheme=20interpreter=20written=20by=20OCaml=2E=20It=20can=20be=20used=20as=20an=20extension=0Alanguage=20for=20an=20OCaml=20application=2E maintainer=Eric=20Stokes=20=3Ceric=2Estokes=40csun=2Eedu=3E homepage=http://will.iki.fi/software/ocs/ svn_path=trunk/godi/godi-ocs svn_rev=1313 date=Mon, 23 Jan 2006 18:13:24 +0000 rel_by=gremlin section=3.08 distfiles=ocs-1.0.1.tar.gz [godi-shell] name=godi-shell version=1 comment=Dummy=20package=3B=20Shell=20is=20now=20part=20of=20godi=2Dequeue descr=This=20is=20a=20dummy=20package=20for=20easier=20transition=20of=20old=20installations=2E=0AThe=20=22Shell=22=20library=20is=20now=20part=20of=20godi=2Dequeue=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-shell svn_rev=171 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocaml-graphics] name=godi-ocaml-graphics version=3.08.4 comment=The=20=22graphics=22=20library=20of=20OCaml descr=This=20package=20contains=20the=20graphics=20library=20of=20Objective=20Caml=2E=0A=0AFrom=20the=20manual=3A=0A=0A=22The=20graphics=20library=20provides=20a=20set=20of=20portable=20drawing=0Aprimitives=2E=20Drawing=20takes=20place=20in=20a=20separate=20window=20that=20is=20created=0Awhen=20open=5Fgraph=20is=20called=2E=20=2E=2E=2E=20Unix=3A=20This=20library=20is=20implemented=20under=0Athe=20X11=20windows=20system=2E=22=0A=0A=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=2D=0A=0AInformal=20runtime=20dependencies=3A=0A=0A=2D=20The=20X11=20client=20libraries=20must=20be=20installed=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-ocaml-graphics svn_rev=1054 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-xml-light] name=godi-xml-light version=2.2 comment=minimal=20XML=20parser=20=26=20pretty=20printer descr=XML=20Light=20is=20a=20minimal=20XML=20parser=20=26=20printer=20for=20OCaml=2E=20It=20provides=0Afunctions=20to=20parse=20an=20XML=20document=20into=20an=20OCaml=20data=20structure=2C=20work=20with=0Ait=2C=20and=20print=20it=20back=20to=20an=20XML=20document=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://tech.motion-twin.com/xmllight svn_path=trunk/godi/godi-xml-light svn_rev=1215 date=Mon, 07 Nov 2005 23:30:48 +0000 rel_by=ogunden section=3.08 distfiles=xml-light-2.2.tar.gz [godi-camlimages] name=godi-camlimages version=2.20godi4 comment=Objective=20Caml=20image=20processing=20library descr=CamlImages=20is=20an=20image=20processing=20library=2C=20which=20provides=0A=0A=20=20=20=20=2A=20Basic=20functions=20for=20image=20processing=20and=20loading=2Fsaving=20various=0A=20=20=20=20image=20file=20formats=20=28hence=20providing=20a=20translation=20facility=20from=0A=20=20=20=20format=20to=20format=29=2C=0A=20=20=20=20=2A=20An=20interface=20with=20the=20Caml=20graphics=20library=20allows=20to=20display=0A=20=20=20=20images=20in=20the=20Graphics=20module=20screen=20and=20to=20mix=20them=20with=20Caml=0A=20=20=20=20drawings=2C=20=0A=20=20=20=20=2A=20A=20freetype=20interface=2C=20integrated=20into=20the=20library=3A=20you=20can=20draw=0A=20=20=20=20texts=20into=20images=20using=20any=20truetype=20fonts=2E=20=20=0A=0AIn=20addition=2C=20the=20library=20can=20handle=20huge=20images=20that=20cannot=20be=20=28or=20can=0Ahardly=20be=29=20stored=20into=20the=20main=20memory=20=28the=20library=20then=20automatically=0Acreates=20swap=20files=20and=20escapes=20them=20to=20reduce=20the=20memory=20usage=29=2E=20=0A maintainer=Gerd=20Stolpmann homepage=http://pauillac.inria.fr/camlimages svn_path=trunk/godi/godi-camlimages svn_rev=1298 date=Thu, 19 Jan 2006 11:53:42 +0000 rel_by=gerd section=3.08 distfiles=camlimages-2.2.tgz [godi-postgresql] name=godi-postgresql version=1.7.0 comment=Bindings=20for=20PostgreSQL=20database=20clients descr=This=20library=20allows=20an=20OCaml=20program=20to=20query=20a=20PostgreSQL=20database=0Abackend=2E=0A=0AThis=20is=20the=20version=20maintained=20by=20Markus=20Mottl=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html svn_path=trunk/godi/godi-postgresql svn_rev=1770 date=Sun, 20 Jan 2008 14:24:52 +0000 rel_by=gerd section=3.08 distfiles=postgresql-ocaml-1.7.0.tar.gz [godi-ocamlmakefile] name=godi-ocamlmakefile version=6.24.8godi1 comment=Generic=20Makefile=20to=20build=20OCaml=20projects descr=This=20is=20Markus=20Mottl=27s=20OCamlMakefile=2C=20a=20generic=20Makefile=20for=20GNU=20make=0Aone=20can=20include=20into=20one=27s=20own=20Makefile=2E=0A maintainer=markus=2Emottl=40gmail=2Ecom homepage=http://www.ocaml.info/home/ocaml_sources.html svn_path=trunk/godi/godi-ocamlmakefile svn_rev=1768 date=Sun, 20 Jan 2008 14:24:52 +0000 rel_by=gerd section=3.08 distfiles=ocaml-make-6.24.8.tar.gz [godi-getopt] name=godi-getopt version=20040420 comment=Parsing=20of=20command=20line=20arguments descr=Parsing=20of=20command=20line=20arguments=20with=20a=20syntax=20=E0=20la=20GNU=20getopt=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://www.eleves.ens.fr/home/frisch/soft.html svn_path=trunk/godi/godi-getopt svn_rev=252 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=getopt-20040420.tar.gz [godi-equeue] name=godi-equeue version=2.1.4 comment=event=20queues=2C=20call=20external=20commands descr=GODI=20NOTES=3A=0AThis=20package=20contains=20only=20the=20core=20parts=20of=20equeue=2C=20i=2Ee=2E=20the=20event=0Aqueue=20implementation=2C=20and=20the=20=22shell=22=20library=20to=20start=20and=20supervise=0Aprocesses=2E=20The=20extensions=20are=20in=20separate=20packages=3A=0A=2D=20godi=2Dequeue=2Dtcl=3A=20The=20TCL=20extension=2C=20for=20labltk=20programs=0A=2D=20godi=2Dequeue=2Dgtk1=3A=20The=20gtk1=20extension=2C=20for=20lablgtk=20programs=0A=2D=20godi=2Dequeue=2Dgtk2=3A=20The=20gtk2=20extension=2C=20for=20lablgtk2=20programs=0A=0AGENERAL=3A=0AEqueue=20contains=20a=20generic=20implementation=20of=20queues=20of=20events=20of=20any=0Atype=2C=20and=20a=20specific=20implementation=20of=20queues=20of=20file=20descriptor=0Aevents=2E=0A=20=0AThe=20generic=20module=20allows=20to=20associate=20an=20event=20queue=20with=20an=20event=0Asource=2C=20and=20one=20or=20several=20event=20handlers=2E=20The=20event=20source=20generates=0Anew=20events=20that=20are=20triggered=20from=20the=20outer=20world=2E=20The=20handlers=0Aconsume=20events=2C=20but=20it=20is=20allowed=20that=20handlers=20also=20generate=20events=2E=0A=0AThe=20module=20for=20file=20descriptor=20events=20already=20defines=20an=20event=20source=3B=0Athis=20source=20watches=20registered=20file=20descriptors=20and=20produces=20events=20if=0Aa=20descriptor=20wants=20to=20deliver=20data=2C=20or=20if=20a=20descriptor=20is=20ready=20to=0Aaccept=20data=2E=20As=20in=20the=20generic=20module=2C=20the=20handlers=20consume=20the=0Aevents=2E=0A=0AIn=20addition=20to=20this=2C=20Equeue=20contains=20now=20the=20Shell=20library=2E=20It=20allows=0Ayou=20to=20call=20external=20programs=2C=20and=20to=20perform=20redirections=2E=20The=20latter=0Acan=20now=20be=20done=20in=20an=20event=2Ddriven=20way=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue svn_rev=1141 date=Thu, 13 Oct 2005 23:25:49 +0000 rel_by=gerd section=3.08 distfiles=equeue-2.1.4.tar.gz [godi-inifiles] name=godi-inifiles version=1.1 comment=ini=20format=20config=20file=20parsing descr=This=20is=20a=20small=20library=20for=20reading=20=2Eini=20format=20config=20files=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/inifiles/ svn_path=trunk/godi/godi-inifiles svn_rev=927 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=inifiles-1.1.tar.gz [conf-jpeg] name=conf-jpeg version=2godi1 comment=Configures=20which=20jpeg=20library=20to=20use descr=This=20package=20configures=20where=20the=20jpeg=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-jpeg svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-curl] name=conf-curl version=3 comment=Configures=20which=20curl=20library=20to=20use descr=This=20package=20configures=20where=20the=20CURL=20library=20is=20found=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=n/a svn_path=trunk/conf/conf-curl svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-zlib] name=conf-zlib version=2 comment=Configures=20which=20zlib=20library=20to=20use descr=This=20package=20configures=20where=20the=20zlib=20library=20is=20found=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=n/a svn_path=trunk/conf/conf-zlib svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocaml-src] name=godi-ocaml-src version=3.08.4 comment=OCaml=20sources=20=28required=20for=20GODI=20builds=29 descr=This=20package=20contains=20the=20already=20configured=20but=20not=20yet=0Acompiled=20sources=20of=20the=20Objective=20Caml=20system=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr svn_path=trunk308/godi/godi-ocaml-src svn_rev=1054 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocaml-3.08.4.tar.gz [godi-extlib] name=godi-extlib version=1.4 comment=User=2Dsupported=20Extended=20Standard=20Library descr=ExtLib=20is=20a=20project=20aiming=20at=20providing=20a=20complete=20=2D=20yet=20small=20=2D=0Astandard=20library=20for=20the=20OCaml=20programming=20langage=2E=20The=20purpose=20of=0Athis=20library=20is=20to=20add=20new=20functions=20to=20OCaml=20Standard=20Library=0Amodules=2C=20to=20modify=20some=20functions=20in=20order=20to=20get=20better=20performances=0Aor=20more=20safety=20=28tail=2Drecursive=29=20but=20also=20to=20provide=20new=20modules=20which=0Ashould=20be=20useful=20for=20the=20average=20OCaml=20programmer=2E=0A maintainer=Alain=20Frisch=20=3CAlain=2EFrisch=40ens=2Efr=3E homepage=http://ocaml-lib.sourceforge.net/ svn_path=trunk/godi/godi-extlib svn_rev=858 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=extlib-1.4.tgz [conf-ncurses] name=conf-ncurses version=1 comment=Configures=20which=20ncurses=20library=20to=20use descr=This=20package=20configures=20where=20the=20ncurses=20library=20is=20found=2E=0A maintainer=ogunden=40phauna=2Eorg homepage=n/a svn_path=trunk/conf/conf-ncurses svn_rev=985 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [godi-ocaml-mysql] name=godi-ocaml-mysql version=1.0.4 comment=Bindings=20for=20interacting=20with=20MySQL=20databases=20from=20ocaml=2E descr=Bindings=20for=20interacting=20with=20MySQL=20databases=20from=20ocaml=2E=0A maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://raevnos.pennmush.org/code/ocaml-mysql/index.html svn_path=trunk/godi/godi-ocaml-mysql svn_rev=1424 date=Fri, 09 Jun 2006 13:47:48 +0000 rel_by=gerd section=3.08 distfiles=ocaml-mysql-1.0.4.tar.gz [apps-cduce-cvs] name=apps-cduce-cvs version=20050103godi7 comment=XML=2Doriented=20functional=20language descr=CDuce=20is=20a=20programming=20language=20adapted=20to=20XML=20processing=2E=0AMain=20features=3A=0A=2D=20functional=0A=2D=20strong=20static=20typing=20=2B=20dynamic=20dispatch=0A=2D=20powerful=20XML=20types=20and=20patterns=20=28regular=20expressions=29=0A=0AThis=20package=20is=20an=20unreleased=20snapshot=20from=20the=20CVS=20development=20tree=2E=0A=0ANote=3A=0ACDuce=20can=20take=20advantage=20of=20the=20pxp=2C=20expat=2C=20curl=2C=20and=20netclient=20library=0Aif=20available=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://cduce.org/ svn_path=trunk/apps/apps-cduce-cvs svn_rev=992 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=cduce-cvs3.tar.gz [apps-camlmix] name=apps-camlmix version=1.3.0 comment=OCaml=2Dstuffed=20templates descr=Camlmix=20is=20a=20generic=20preprocessor=20which=20converts=20text=20with=20embedded=20OCaml=0Ainto=20an=20OCaml=20program=20with=20embedded=20text=2E=20It=20produces=20text=20documents=20from=0Aone=20or=20several=20templates=2E=20OCaml=20toplevel=20statements=20are=20inserted=20between=20=23=23=0A=2E=2E=2E=20=23=23=2C=20and=20OCaml=20string=20expressions=20between=20=23=23=3D=20=2E=2E=2E=20=23=23=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/camlmix/ svn_path=trunk/apps/apps-camlmix svn_rev=1309 date=Sun, 22 Jan 2006 04:49:06 +0000 rel_by=mjambon section=3.08 distfiles=camlmix-1.3.0.tar.gz [godi-findlib-browser] name=godi-findlib-browser version=0.2.2 comment=CGI=20to=20browse=20findlib=2Dmanaged=20packages descr=This=20CGI=20allows=20you=20to=20browse=20through=20the=20interfaces=20of=20all=0Apackages=2C=20provided=20there=20are=20=2Emli=20files=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.ocaml-programing.de/ svn_path=trunk/godi/godi-findlib-browser svn_rev=679 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=findlib-browser-0.2.2.tar.gz [base-plan9-mk] name=base-plan9-mk version=1.6 comment=The=20make=20utility=20from=20Plan9 descr=Mk=20is=20Andrew=20Hume=27s=20reimplementation=20of=20make=2E=20Mk=20is=20recommended=20by=20Stu=0AFeldman=2C=20who=20created=20make=2E=20Mk=20has=20evolved=20through=20many=20systems=20from=0ABell=20Labs=2E=20Mk=20does=20not=20try=20to=20do=20everything=20but=20instead=20provides=20small=0Abut=20coherent=20set=20of=20features=2C=20including=20especially=20good=20integration=0Awith=20the=20shell=2E=20We=20use=20it=20to=20build=20Quick=20C=2D=2D=2C=20and=20we=27re=20very=20happy=2E=0A=0AThe=20C=20code=20for=20Mk=20is=20extracted=20from=20the=20Plan=209=20source=20distribution=20and=0Acomes=20with=20an=20Open=20Source=20License=2E=20Requirements=20for=20compilation=20are=20a=0AC=20compiler=20and=20Make=2E=20The=20documentation=20includes=20a=20PDF=20file=20about=20Mk=2C=0Aand=20a=20Unix=20man=20page=2E=0A maintainer=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://www.cminusminus.org/code.html svn_path=trunk/base/base-plan9-mk svn_rev=1336 date=Wed, 15 Mar 2006 16:03:34 +0000 rel_by=gerd section=3.08 distfiles=mk-1.6.tar.gz [apps-tdir] name=apps-tdir version=1.1.1 comment=Translation=20Directory descr=Tdir=20stands=20for=20Translation=20Directory=2C=20it=20is=20a=20replication=20tool=0Adesigned=20to=20assist=20in=20creating=20a=20multi=20vendor=20distributed=20directory=0Aservice=2E=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://tdir.sourceforge.net/ svn_path=trunk/apps/apps-tdir svn_rev=1304 date=Fri, 20 Jan 2006 17:17:12 +0000 rel_by=gremlin section=3.08 distfiles=tdir-1.1.1.tar.bz2 [godi-curl] name=godi-curl version=0.2.1 comment=Bindings=20for=20libcurl descr=O=27Caml=20bindings=20for=20libcurl=0A=0A=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://sourceforge.net/projects/ocurl svn_path=trunk/godi/godi-curl svn_rev=1025 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocurl-0.2.1.tar.gz [godi-ansicolor] name=godi-ansicolor version=0.5 comment=Simple=20ANSI=20terminal=20color=20library=2E descr=A=20very=20simple=20library=20for=20producing=20colorful=20text=20=28and=20other=20effects=29=20on=0AANSI=2Dcompatible=20terminals=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://projects.phauna.org/ansicolor/ svn_path=trunk/godi/godi-ansicolor svn_rev=706 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ansicolor-0.5.tar.gz [apps-ocamldsort] name=apps-ocamldsort version=0.14.3 comment=Sort=20OCaml=20source=20files=20according=20to=20their=20dependencies descr=The=20ocamldsort=20command=20scans=20a=20set=20of=20Objective=20Caml=20source=20files=20=28=2Eml=20=20=0Aand=20=2Emli=20files=29=2C=20sorts=20them=20according=20to=20their=20dependencies=20and=20prints=20=20=0Athe=20sorted=20files=20in=20order=20to=20link=20their=20corresponding=20=2Ecmo=20files=2E=0A maintainer=Francesco=20Zappa=20Nardelli=20=28fzn=40free=2Efr=29 homepage=http://www.eleves.ens.fr/home/ara/ocaml.html svn_path=trunk/apps/apps-ocamldsort svn_rev=743 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ocamldsort-0.14.3.tar.gz [apps-planets] name=apps-planets version=0.1.12 comment=Planet=20simulation descr=A=20simple=20and=20fun=202d=20planet=20simulation=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://planets.homedns.org/ svn_path=trunk/apps/apps-planets svn_rev=1078 date=Fri, 02 Sep 2005 02:22:00 +0000 rel_by=ogunden section=3.08 distfiles=planets-0.1.12.tgz [base-subversion-client] name=base-subversion-client version=1.0.6 comment=The=20subversion=20client=20allows=20direct=20access=20to=20GODI=20repositories descr=The=20goal=20of=20the=20Subversion=20project=20is=20to=20build=20a=20version=20control=0Asystem=20that=20is=20a=20compelling=20replacement=20for=20CVS=20in=20the=20open=20source=0Acommunity=2E=0A=0AThis=20package=20only=20includes=20the=20client=20for=20the=20subversion=20network=0Aprotocol=20such=20that=20you=20can=20directly=20access=20the=20GODI=20repositories=2E=20Of=0Acourse=2C=20it=20is=20also=20possible=20that=20you=20use=20an=20subversion=20client=20coming=0Awith=20your=20OS=2E=20Check=20that=20it=20has=20at=20least=20version=201=2E0=2C=20and=20that=20it=0Asupports=20SSL=2E=0A=0ATo=20build=20this=20package=2C=20libz=20and=20libssl=20are=20required=2E=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://subversion.tigris.org svn_path=trunk/base/base-subversion-client svn_rev=556 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=subversion-1.0.6.tar.gz [godi-json-wheel] name=godi-json-wheel version=1.0.4 comment=Standard=2Dcompliant=20JSON=20implementation descr=From=20http=3A=2F=2Fwww=2Ejson=2Eorg=2F=3A=20=22JSON=20=28JavaScript=20Object=20Notation=29=20is=20a=0Alightweight=20data=2Dinterchange=20format=2E=20It=20is=20easy=20for=20humans=20to=20read=20and=0Awrite=2E=20It=20is=20easy=20for=20machines=20to=20parse=20and=20generate=2E=20It=20is=20based=20on=20a=0Asubset=20of=20the=20JavaScript=20Programming=20Language=2C=20Standard=20ECMA=2D262=203rd=0AEdition=20=2D=20December=201999=2E=22=20This=20implementation=20follows=20RFC=204627=2E=20We=20use=0Akey=2Fvalue=20lists=20to=20represent=20JSON=20objects=2C=20and=20lists=20to=20represent=20JSON=0Aarrays=2E=20The=20library=20also=20provides=20pretty=2Dprinting=20and=20optional=20support=20for=0AC=2Dstyle=20comments=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/json-wheel.html svn_path=trunk/godi/godi-json-wheel svn_rev=1736 date=Sun, 18 Mar 2007 01:12:21 +0000 rel_by=mjambon section=3.08 distfiles=json-wheel-1.0.4.tar.gz [conf-glade1] name=conf-glade1 version=1 comment=Configures=20which=20glade=20for=20gtk=201=2Ex=20library=20to=20use descr=This=20package=20configures=20where=20the=20glade=20for=20gtk=201=2Ex=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-glade1 svn_rev=630 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [apps-ledit] name=apps-ledit version=1.11 comment=Line=20editor=20wrapper descr=Ledit=20is=20a=20line=20editor=2C=20allowing=20to=20use=20control=20commands=20like=20in=20emacs=0Aor=20in=20shells=20=28bash=2C=20tcsh=29=2E=20To=20be=20used=20with=20interactive=20commands=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://cristal.inria.fr/~ddr/ svn_path=trunk/apps/apps-ledit svn_rev=181 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ledit-1.11.tar.gz [godi-core-mk] name=godi-core-mk version=1.2.19godi1 comment=The=20make=20framework=20of=20GODI descr=godi=2Dcore=2Dmk=20is=20the=20=22make=22=20framework=20of=20GODI=2C=20one=20of=20the=20core=20components=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-core-mk svn_rev=1862 date=Mon, 06 Aug 2007 12:54:59 +0000 rel_by=gerd section=3.08 distfiles=godi-core-mk-1.2.19.tar.gz [godi-ocamlbdb] name=godi-ocamlbdb version=4.3.21 comment=OCaml=20interface=20to=20Berkeley=2DDB descr=This=20is=20an=20OCAML=20binding=20to=20the=20Berkely=20DB=20library=2E=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=http://www.eecs.harvard.edu/~stein svn_path=trunk/godi/godi-ocamlbdb svn_rev=1133 date=Wed, 05 Oct 2005 16:05:31 +0000 rel_by=boender section=3.08 distfiles=ocamlbdb-4.3.21.tar.gz [godi-ocamlscript] name=godi-ocamlscript version=2.0.1 comment=native=20code=20scripts descr=ocamlscript=20compiles=20scripts=20into=20native=20code=20for=20optimal=20speed=20and=20ease=20of=0Ause=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/ocamlscript.html svn_path=trunk/godi/godi-ocamlscript svn_rev=1750 date=Sun, 08 Apr 2007 00:33:09 +0000 rel_by=mjambon section=3.08 distfiles=ocamlscript-2.0.1.tar.gz [conf-gs] name=conf-gs version=1godi1 comment=Configures=20which=20Ghostscript=20interpreter=20to=20use descr=This=20package=20configures=20where=20the=20jpeg=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gs svn_rev=619 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [base-expat] name=base-expat version=1.95.7godi3 comment=The=20version=20of=20expat=20for=20GODI descr=This=20is=20the=20version=20of=20expat=20used=20by=20GODI=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://expat.sourceforge.net/ svn_path=trunk/base/base-expat svn_rev=822 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=expat-1.95.7.tar.gz [conf-lacaml] name=conf-lacaml version=1 comment=Configures=20libraries=20needed=20by=20LACAML descr=This=20package=20configures=20where=20BLAS=20and=20LAPACK=20can=20be=20found=20for=20LACAML=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/home/ocaml_sources.html svn_path=trunk/conf/conf-lacaml svn_rev=1933 date=Sun, 20 Jan 2008 14:24:52 +0000 rel_by=gerd section=3.08 [conf-gdbm] name=conf-gdbm version=3 comment=Configures=20which=20gdbm=20library=20to=20use descr=This=20package=20configures=20where=20the=20GDBM=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-gdbm svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [conf-unixodbc] name=conf-unixodbc version=2 comment=Configures=20which=20unixodbc=20library=20to=20use descr=This=20package=20configures=20where=20the=20unixodbc=20library=20is=20found=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=n/a svn_path=trunk/conf/conf-unixodbc svn_rev=611 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 [base-curl] name=base-curl version=7.14.0 comment=The=20version=20of=20CURL=20for=20GODI descr=This=20is=20the=20version=20of=20CURL=20used=20by=20GODI=2E=0A maintainer=Alain=2EFrisch=40ens=2Efr homepage=http://curl.haxx.se svn_path=trunk/base/base-curl svn_rev=1025 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=curl-7.14.0.tar.gz [godi-manual] name=godi-manual version=20060404 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=1358 date=Tue, 04 Apr 2006 14:18:07 +0000 rel_by=gerd section=3.08 distfiles=godi-manual-20060404.tar.gz [godi-camlidl] name=godi-camlidl version=1.05godi1 comment=Stub=20generator descr=Camlidl=20is=20a=20stub=20code=20generator=20for=20Objective=20Caml=2E=20=20It=20generates=0Astub=20code=20for=20interfacing=20Caml=20with=20C=20from=20an=20IDL=20description=20of=20the=20C=0Afunctions=2E=20=20Thus=2C=20Camlidl=20automates=20the=20most=20tedious=20task=20in=0Ainterfacing=20C=20libraries=20with=20Caml=20programs=2E=20=20It=20can=20also=20be=20used=20to=0Ainterface=20Caml=20programs=20with=20other=20languages=2C=20as=20long=20as=20those=0Alanguages=20have=20a=20well=2Ddefined=20C=20interface=2E=0A=0AIn=20addition=2C=20Camlidl=20provides=20basic=20support=20for=20COM=20interfaces=20and=0Acomponents=20under=20MS=20Windows=2E=20=20It=20supports=20both=20using=20COM=20components=0A=28usually=20written=20in=20C=2B=2B=20or=20C=29=20from=20Caml=20programs=2C=20and=20packaging=20Caml=0Aobjects=20as=20COM=20components=20that=20can=20then=20be=20used=20from=20C=2B=2B=20or=20C=2E=0A=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr/pub/old_caml_site/camlidl/ svn_path=trunk/godi/godi-camlidl svn_rev=1306 date=Fri, 20 Jan 2006 18:36:38 +0000 rel_by=gerd section=3.08 distfiles=camlidl-1.05.tar.gz distfiles=camlidl-1.05.doc.pdf [godi-omake] name=godi-omake version=0.9.8.1godi1 comment=The=20OMake=20Build=20System=2E descr=OMake=20is=20a=20build=20system=20designed=20for=20scalability=20and=20portability=2E=20It=20uses=20a=0Asyntax=20similar=20to=20make=20utilities=20you=20may=20have=20used=2C=20but=20it=20features=20many=0Aadditional=20enhancements=2C=20including=20the=20following=2E=0A=0A=20=20=2D=20Support=20for=20projects=20spanning=20several=20directories=20or=20directory=20hierarchies=2E=0A=20=20=2D=20Fast=2C=20reliable=2C=20automated=2C=20scriptable=20dependency=20analysis=20using=20MD5=20digests=2C=0A=20=20=20=20with=20full=20support=20for=20incremental=20builds=2E=0A=20=20=2D=20Fully=20scriptable=2C=20includes=20a=20library=20that=20providing=20support=20for=20standard=0A=20=20=20=20tasks=20in=20C=2C=20C=2B=2B=2C=20OCaml=2C=20and=20LaTeX=20projects=2C=20or=20a=20mixture=20thereof=2E=0A=0A=20=20=20=20Often=2C=20a=20configuration=20file=20is=20as=20simple=20as=20a=20single=20line=0A=0A=20=20=20=20=2EDEFAULT=3A=20=24=28OCamlProgram=20prog=2C=20foo=20bar=20baz=29=0A=0A=20=20=20=20which=20states=20that=20the=20program=20=22prog=22=20is=20built=20from=20the=20files=20foo=2Eml=2C=0A=20=20=20=20bar=2Eml=2C=20and=20baz=2Eml=2E=20This=20one=20line=20will=20also=20invoke=20the=20default=20standard=0A=20=20=20=20library=20scripts=20for=20discovering=20implicit=20dependencies=20in=20OCaml=20files=0A=20=20=2D=20Full=20native=20support=20for=20rules=20that=20build=20several=20files=20at=20once=2E=0A=20=20=2D=20Portability=3A=20omake=20provides=20a=20uniform=20interface=20on=20Linux=2FUnix=20=28including=0A=20=20=20=2064=2Dbit=20architectures=29=2C=20Win32=2C=20Cygwin=2C=20Mac=20OS=20X=2C=20and=20other=20platforms=20that=20are=0A=20=20=20=20supported=20by=20OCaml=2E=0A=20=20=2D=20Built=2Din=20functions=20that=20provide=20the=20most=20common=20features=20of=20programs=20like=0A=20=20=20=20grep=2C=20sed=2C=20find=2C=20and=20awk=2E=20These=20are=20especially=20useful=20on=20Win32=2E=0A=20=20=2D=20Active=20filesystem=20monitoring=2C=20where=20the=20build=20automatically=20restarts=0A=20=20=20=20whenever=20you=20modify=20a=20source=20file=2E=20This=20can=20be=20very=20useful=20during=20the=0A=20=20=20=20edit=2Fcompile=20cycle=2E=0A=20=20=2D=20A=20built=2Din=20command=2Dinterpreter=20osh=20that=20can=20be=20used=20interactively=2E=0A=0AOMake=20preserves=20the=20style=20of=20syntax=20and=20rule=20definitions=20used=20in=0AMakefiles=2C=20making=20it=20easy=20to=20port=20your=20project=20to=20OMake=2E=20There=20is=20no=20need=0Ato=20code=20in=20Perl=20=28cons=29=2C=20or=20Python=20=28scons=29=2E=20However=2C=20there=20are=20a=20few=20things=0Ato=20keep=20in=20mind=3A=0A=0A=201=2E=20Indentation=20is=20significant=2C=20but=20tabs=20are=20not=20required=2E=0A=202=2E=20The=20OMake=20language=20is=20functional=3A=20functions=20are=20first=2Dclass=20and=20there=20are=20no=0A=20=20=20=20side=2Deffects=20apart=20from=20I=2FO=2E=0A=203=2E=20Scoping=20is=20dynamic=2E=0A=0AOMake=20is=20licensed=20under=20a=20mixture=20of=20the=20GNU=20GPL=20license=20=28OMake=20engine=0Aitself=29=20and=20the=20MIT=2Dlike=20license=20=28default=20configuration=20files=29=2E=0A=0ATo=20try=20it=20out=2C=20run=20the=20command=20=22omake=20=2D=2Dinstall=22=20in=20a=20project=20directory=2C=0Aand=20modify=20the=20generated=20OMakefile=2E=0A=0AOMake=200=2E9=2E8=20is=20an=20alpha=20release=2E=20=20While=20we=20have=20made=20an=20effort=20to=20ensure=0Athat=20it=20is=20bug=2Dfree=2C=20it=20is=20possible=20some=20functions=20may=20not=20behave=20as=20you=0Awould=20expect=2E=20=20Please=20report=20any=20comments=20and=2For=20bugs=20to=20the=20mailing=0Alist=20omake=40metaprl=2Eorg=0A maintainer=OMake=20Developers=20=3Comake=40metaprl=2Eorg=3E homepage=http://omake.metaprl.org/ svn_path=trunk/godi/godi-omake svn_rev=1733 date=Fri, 16 Mar 2007 16:58:07 +0000 rel_by=nogin section=3.08 distfiles=omake-0.9.8.1-1.tar.gz [godi-ansiterminal] name=godi-ansiterminal version=0.3 comment=ANSI=20terminal=20library=2E descr=A=20small=20module=20to=20display=20colors=20and=20allow=20cursor=20movements=20on=20ANSI=0Acompliant=20terminals=2E=20 maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://math.umh.ac.be/an/software.php svn_path=trunk/godi/godi-ansiterminal svn_rev=974 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ANSITerminal-0.3.tar.bz2 [godi-schoca] name=godi-schoca version=0.2.3godi1 comment=Scheme=20interpreter=20written=20by=20OCaml=2E descr=Scheme=20interpreter=20written=20by=20OCaml=2E=20It=20can=20be=20used=20for=20an=20extension=0Alanguage=20for=20an=20OCaml=20application=2E=20 maintainer=Yamagata=20Yoriyuki=20=3Cyori=40users=2Esourceforge=2Enet=3E homepage=http://sourceforge.net/projects/chesslib/ svn_path=trunk/godi/godi-schoca svn_rev=687 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=schoca-0.2.3.tar.bz2 [godi-ulex] name=godi-ulex version=0.5godi2 comment=Lexer=20generator=20with=20support=20for=20Unicode descr=ulex=20is=20a=20lexer=20generator=20implemented=20as=20an=20OCaml=20syntax=20extension=2C=0Aand=20with=20support=20for=20Unicode=20encodings=2E=0A maintainer=Alain=2EFrisch=40inria=2Efr homepage=http://www.cduce.org/download.html svn_path=trunk/godi/godi-ulex svn_rev=1039 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=ulex-0.5.tar.gz [apps-bigbro] name=apps-bigbro version=2.0.4 comment=An=20http=20link=20checker=2E descr=Big=20Brother=20allows=20you=20to=20keep=20an=20eye=20on=20your=20World=20Wide=20Web=20links=2E=20It=20is=0Aessential=20for=20webmasters=20and=20authors=20who=20wish=20to=20make=20sure=20that=20the=20links=0Acontained=20in=20their=20pages=20are=20up=2Dto=2Ddate=3B=20a=20chore=20which=20quickly=20gets=20out=20of=0Ahand=20without=20an=20automated=20tool=21=20It=20is=20also=20invaluable=20to=20those=20who=20maintain=0Aa=20large=20list=20of=20bookmarks=2C=20since=20it=20can=20easily=20be=20used=20to=20check=20bookmark=0Afiles=2E=20Big=20Brother=20is=20in=20the=20public=20domain=2E=20 maintainer=Fran=E7ois=20Pottier=20=3CFrancois=2EPottier=40inria=2Efr=3E homepage=http://cristal.inria.fr/~fpottier/bb.html.en svn_path=trunk/apps/apps-bigbro svn_rev=788 date=Thu, 01 Sep 2005 15:03:43 +0000 rel_by=gerd section=3.08 distfiles=bigbro-2.0.4.tar.gz