[godi-menhir] name=godi-menhir version=20120109 comment=A=20LR=281=29=20parser=20generator=20for=20Objective=20Caml=2E descr=Menhir=20compiles=20LR=281=29=20grammar=20specifications=20down=20to=20Objective=20Caml=20code=2E=0AIt=20accepts=20legacy=20ocamlyacc=20grammar=20specifications=2C=20with=20a=20few=20caveats=2E=20It=0Ais=20superior=20to=20ocamlyacc=20in=20several=20ways=2E=20For=20instance=2C=20it=20offers=20a=20library=0Aof=20standard=20parameterized=20definitions=2C=20including=20options=2C=20sequences=2C=20and=0Alists=2C=20and=20allows=20users=20to=20define=20their=20own=20parameterized=20nonterminal=0Asymbols=2E=20It=20accepts=20LR=281=29=20grammars=2C=20as=20opposed=20to=20only=20LALR=281=29=20grammars=2C=0Aand=20attempts=20to=20explain=20conflicts=20in=20a=20readable=20way=2E=20See=20the=20reference=0Amanual=20for=20a=20more=20detailed=20overview=20of=20Menhir=2E=20 maintainer=Fran=E7ois=20Pottier=20=3CFrancois=2EPottier=40inria=2Efr=3E homepage=http://gallium.inria.fr/~fpottier/menhir/ svn_path=trunk/godi/godi-menhir svn_rev=3749 date=Mon, 09 Jan 2012 08:30:50 +0000 rel_by=fpottier section=3.09 distfiles=menhir-20120109.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=Mon, 31 Oct 2005 13:17:32 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 22:00:43 +0000 rel_by=gerd section=3.09 distfiles=headache-1.03.tar.gz [godi-ocaml-labltk] name=godi-ocaml-labltk version=3.09.3godi2 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=trunk309/godi/godi-ocaml-labltk svn_rev=2294 date=Tue, 15 Jul 2008 21:39:57 +0000 rel_by=gerd section=3.09 [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:25:24 +0000 rel_by=gerd section=3.09 distfiles=ocaml-fileutils-0.3.0.tar.gz [godi-cache] name=godi-cache version=1.0 comment=Distributed=20caching=20service descr=This=20library=20implements=20a=20caching=20service=20for=20storing=20arbitrary=20strings=0Athat=20can=20be=20located=20by=20string=20keys=2E=20The=20caching=20service=20is=20reachable=0Aover=20TCP=2E=20The=20cache=20can=20be=20distributed=20over=20several=20nodes=2E=20The=20cache=0Acan=20be=20saved=20to=20disk=20in=20regular=20intervals=2E=0A=0AA=20client=20module=20is=20included=2E=20Both=20synchronous=20and=20asynchronous=20access=0Amethods=20are=20defined=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://oss.wink.com/cache/ svn_path=trunk/godi/godi-cache svn_rev=1916 date=Fri, 09 Nov 2007 20:16:45 +0000 rel_by=gerd section=3.09 distfiles=cache-1.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=Sat, 24 Nov 2007 02:07:43 +0000 rel_by=mottl section=3.09 distfiles=lacaml-3.0.27.tar.gz [godi-equeue-gtk2] name=godi-equeue-gtk2 version=2.2godi1 comment=Dummy=20package=3B=20Equeue=2Dgtk2=20is=20now=20part=20of=20godi=2Docamlnet=2Dgtk2 descr=Dummy=20package=3B=20Equeue=2Dgtk2=20is=20now=20part=20of=20godi=2Docamlnet=2Dgtk2=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-gtk2 svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=ocamlsdl-0.7.2.tar.gz [godi-caml2html] name=godi-caml2html version=1.3.1 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=2388 date=Sun, 09 Nov 2008 07:13:10 +0000 rel_by=mjambon section=3.09 distfiles=caml2html-1.3.1.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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=gdbm-1.8.3.tar.gz [godi-equeue-gtk1] name=godi-equeue-gtk1 version=2.2godi1 comment=Dummy=20package=3B=20Equeue=2Dgtk1=20is=20now=20part=20of=20godi=2Docamlnet=2Dgtk1 descr=Dummy=20package=3B=20Equeue=2Dgtk1=20is=20now=20part=20of=20godi=2Docamlnet=2Dgtk1=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-gtk1 svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [godi-hydro] name=godi-hydro version=0.7 comment=The=20ICE=20protocol descr=Hydro=20is=20an=20independent=20implementation=20of=20ICE=2C=20the=20object=2Doriented=20RPC=0Aprotocol=20by=20ZeroC=2C=20for=20the=20O=27Caml=20programming=20language=2E=20This=20is=20an=0Aearly=2C=20not=20yet=20complete=20release=2C=20but=20the=20code=20is=20already=20stable=20and=0Ausable=2E=20For=20the=20restrictions=20of=20this=20release=2C=20see=20below=2E=0A=0AHydro=20=28like=20ICE=29=20allows=20you=20to=20bridge=20language=20barriers=20by=20letting=0Acomponents=20written=20in=20different=20programming=20languages=20communicate=20with=0Aeach=20other=2E=20ZeroC=27s=20ICE=20product=20currently=20includes=20implementations=20for=0AC=2B=2B=2C=20Java=2C=20C=23=2C=20Python=2C=20Ruby=2C=20VB=2C=20and=20PHP=2E=20=20Hydro=20adds=20support=20for=0AO=27Caml=2E=20The=20ICE=20protocol=20is=20rich=20enough=20to=20make=20the=20representation=20of=0Athe=20data=20to=20communicate=20easy=20and=20convenient=20to=20use=2C=20and=20adopts=20an=0Aobject=2Doriented=20type=20system=2E=20ZeroC=20sees=20ICE=20as=20a=20superior=20successor=20to=0ACORBA=2E=0A=0AHydro=20includes=20a=20runtime=2C=20and=20a=20generator=20called=20hydrogen=2E=20The=20runtime=0Ais=20fully=20asynchronous=2C=20based=20on=20Ocamlnet=27s=20event=20queues=2E=20The=20generator=0Ais=20used=20to=20create=20a=20thin=20layer=20on=20top=20of=20the=20runtime=20that=20maps=0Aabstract=20Hydro=20types=20to=20specific=20O=27Caml=20types=2E=20=20The=20Hydro=20engine=0Atherefore=20appears=20to=20the=20programmer=20as=20if=20it=20was=20typed=20using=20the=20input=0AIDL=20file=2E=20Unlike=20the=20generators=20shipped=20by=20ZeroC=2C=20hydrogen=20does=20not=0Acreate=20marshalling=20code=20=2D=2D=20we=20see=20this=20as=20the=20task=20of=20the=20runtime=20and=0Anot=20of=20the=20language=20mapping=20layer=2E=20Because=20of=20this=20design=20decision=20we=0Ahave=20high=20confidence=20in=20the=20correctness=20of=20the=20generator=2E=0A=0AAlthough=20we=20want=20Hydro=20to=20be=20an=20implementation=20whose=20protocol=20is=20fully=0Acompatible=20with=20ICE=20and=20that=20can=20process=20all=20its=20IDL=20files=2C=20we=20take=0Asome=20freedom=20to=20deviate=20from=20what=20is=20described=20in=20ZeroC=27s=20=22ICE=0Amanual=22=2E=20ICE=20was=20designed=20with=20mainstream=20object=2Doriented=20languages=20in=0Amind=2C=20and=20therefore=20lacks=20many=20of=20the=20advanced=20constructs=20available=20in=0AO=27Caml=20=28variants=2C=20for=20example=29=2E=20=20Conversely=2C=20ICE=20includes=20constructs=0Asuch=20as=20hierarchical=20exceptions=20and=20downcasts=20which=20do=20not=20exist=20in=0AO=27Caml=20=28and=20for=20good=20reason=21=29=2E=20=20To=20deal=20with=20the=20=22impedance=20mismatch=2C=22=0Awe=20implemented=20emulations=20for=20these=20concepts=2E=20=20On=20the=20other=20hand=2C=0AO=27Caml=20offers=20advanced=20features=20which=20ought=20to=20be=20exploited=20by=20a=20good=0Aimplementation=2E=20=20For=20example=2C=20in=20O=27Caml=2C=20asynchronous=20networking=20code=0Ais=20quite=20natural=2C=20so=20we=20have=20chosen=20to=20make=20this=20the=20default=20style=2E=20So=0Awhile=20Hydro=20is=20quite=20straightforward=2C=20the=20O=27Caml=20programmer=20should=20not=0Aexpect=20a=20design=20which=20is=20a=20perfect=20one=2Dto=2Done=20translation=20of=20what=0AZeroC=20describes=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://oss.wink.com/hydro/ svn_path=trunk/godi/godi-hydro svn_rev=2679 date=Fri, 24 Apr 2009 20:08:10 +0000 rel_by=gerd section=3.09 distfiles=hydro-0.7.tar.gz [godi-camlp5] name=godi-camlp5 version=5.08 comment=pre=2Dprocessor=2Dpretty=2Dprinter=20for=20ocaml descr=This=20package=20provides=20the=20camlp5=20pre=2Dprocessor=20and=20pretty=2Dprinter=2E=20camlp5=20is=0Acompatible=20with=20the=20camlp4=20implementation=20that=20was=20built=20in=20ocaml=20versions=0Aprior=203=2E10=2C=20so=20that=20it=20is=20possible=20to=20use=20it=20to=20compile=20apps=20that=20rely=20on=20the=0Aold=20behavior=20of=20camlp4=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://pauillac.inria.fr/~ddr/camlp5/ svn_path=trunk/godi/godi-camlp5 svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=camlp5-5.08.tgz [godi-sqlite3] name=godi-sqlite3 version=0.24.0 comment=Bindings=20for=20SQLite3=20database=20clients descr=This=20library=20allows=20an=20OCaml=20program=20to=20query=20SQLite3=20databases=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-sqlite3 svn_rev=2043 date=Thu, 06 Mar 2008 05:39:55 +0000 rel_by=mottl section=3.09 distfiles=ocaml-sqlite3-0.24.0.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:52 +0000 rel_by=gerd section=3.09 distfiles=ocamldbi-0.9.11.tar.gz [godi-camlp4-manual] name=godi-camlp4-manual version=20051029 comment=The=20manuals=20for=20Camlp4 descr=The=20reference=20manual=20and=20the=20tutorial=20for=20Camlp4=2E=20These=20are=20probably=0Anot=20up=20to=20date=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr/ svn_path=trunk309/godi/godi-camlp4-manual svn_rev=1170 date=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=manual-camlp4-20051029.tar.gz distfiles=tutorial-camlp4-20051029.tar.gz [godi-wdialog] name=godi-wdialog version=2.1.2godi4 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=2747 date=Thu, 25 Jun 2009 21:22:21 +0000 rel_by=gerd section=3.09 distfiles=wdialog-2.1.2.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:00:40 +0000 rel_by=mjambon section=3.09 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=Mon, 31 Oct 2005 13:01:40 +0000 rel_by=gerd section=3.09 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:31:26 +0000 rel_by=mottl section=3.09 [apps-cduce] name=apps-cduce version=0.5.0godi1 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=2216 date=Sun, 15 Jun 2008 18:30:13 +0000 rel_by=gerd section=3.09 distfiles=cduce-0.5.0.tar.gz [apps-felix] name=apps-felix version=1.1.1 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=1208 date=Tue, 01 Nov 2005 16:05:49 +0000 rel_by=skaller section=3.09 distfiles=flx_1.1.1_src.tgz [apps-graph] name=apps-graph version=1.0 comment=terminal=20graphing=20utility descr=A=20utility=20to=20draw=20a=20pretty=20graph=20of=20a=20time=20series=20in=20an=20ansi=20terminal=0A maintainer=letaris=40mac=2Ecom homepage=http://homepage.mac.com/letaris/ svn_path=trunk/apps/apps-graph svn_rev=1829 date=Sun, 24 Jun 2007 04:32:18 +0000 rel_by=gremlin section=3.09 distfiles=graph-1.0.tar.gz [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=re.tar.gz [apps-alt-ergo] name=apps-alt-ergo version=0.7.3 comment=Automated=20first=2Dorder=20theorem=20prover descr=From=20the=20ergo=20web=20site=3A=0AErgo=20is=20an=20automatic=20theorem=20prover=20dedicated=20to=20program=0Averification=2E=20Ergo=20is=20based=20on=20CC=28X=29=20a=20congruence=20closure=20algorithm=0Aparameterized=20by=20an=20equational=20theory=20X=2E=20Currently=2C=20CC=28X=29=20can=20be=0Ainstanciated=20by=20the=20empty=20equational=20theory=20and=20by=20the=20linear=0Aarithmetics=2E maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://alt-ergo.lri.fr svn_path=trunk/apps/apps-alt-ergo svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=alt-ergo-0.7.3.tar.gz [apps-coq] name=apps-coq version=8.1pl3godi1 comment=Interactive=20proof=20assistant descr=From=20the=20coq=20web=20site=3A=0ACoq=20is=20a=20formal=20proof=20management=20system=3A=20a=20proof=20done=20with=20Coq=20is=0Amechanically=20checked=20by=20the=20machine=2E=20In=20particular=2C=20Coq=20allows=3A=0A=0A=20=20=20=20=2A=20to=20define=20functions=20or=20predicates=2C=0A=20=20=20=20=2A=20to=20state=20mathematical=20theorems=20and=20software=20specifications=2C=0A=20=20=20=20=2A=20to=20develop=20interactively=20formal=20proofs=20of=20these=20theorems=2C=0A=20=20=20=20=2A=20to=20check=20these=20proofs=20by=20a=20relatively=20small=20certification=20=22kernel=22=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://coq.inria.fr svn_path=trunk/apps/apps-coq svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=coq-8.1pl3.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:19:18 +0000 rel_by=mottl section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=ocamlodbc_2.10.tar.gz [godi-wlex] name=godi-wlex version=20051031godi1 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=Alain=2EFrisch=40inria=2Efr homepage=http://www.eleves.ens.fr/home/frisch/soft.html svn_path=trunk309/godi/godi-wlex svn_rev=2216 date=Sun, 15 Jun 2008 18:30:13 +0000 rel_by=gerd section=3.09 distfiles=wlex-20051031.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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=godi-script-0.5.tar.gz [apps-cppo] name=apps-cppo version=0.9.0 comment=Cpp=20for=20OCaml descr=Cppo=20is=20an=20OCaml=2Dfriendly=20implementation=20of=20cpp=2C=20the=20C=20preprocessor=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/cppo.html svn_path=trunk/apps/apps-cppo svn_rev=2906 date=Tue, 17 Nov 2009 23:34:04 +0000 rel_by=mjambon section=3.09 distfiles=cppo-0.9.0.tar.gz [godi-ocamldap] name=godi-ocamldap version=2.1.8godi1 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=1476 date=Sat, 08 Jul 2006 23:30:59 +0000 rel_by=gremlin section=3.09 distfiles=ocamldap-2.1.8.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:58 +0000 rel_by=gerd section=3.09 distfiles=ocaml-json-1.0.tar.gz [conf-sqlite3] name=conf-sqlite3 version=1 comment=Configures=20which=20SQLite3=20library=20to=20use descr=This=20package=20configures=20where=20the=20SQLite3=20library=20can=20be=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-sqlite3 svn_rev=1824 date=Mon, 18 Jun 2007 03:47:33 +0000 rel_by=mottl section=3.09 [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:31:26 +0000 rel_by=mottl section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 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:53:32 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 distfiles=lablgtk-1.2.6.tar.gz [godi-ocamlnet-tcl] name=godi-ocamlnet-tcl version=2.2.9 comment=tcl=20extension=20for=20ocamlnet descr=This=20package=20is=20the=20Tcl=20extension=20of=20ocamlnet=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet-tcl svn_rev=1909 date=Thu, 01 Nov 2007 22:20:29 +0000 rel_by=gerd section=3.09 distfiles=ocamlnet-2.2.9.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:57:56 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=password_gen-1.0.tar.gz [godi-pxp] name=godi-pxp version=1.2.1 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=2539 date=Wed, 04 Feb 2009 02:17:10 +0000 rel_by=gerd section=3.09 distfiles=pxp-1.2.1.tar.gz [godi-easy-format] name=godi-easy-format version=1.0.0 comment=Indentation=20made=20easy=28ier=29 descr=This=20module=20offers=20a=20simplified=20interface=20to=20the=20Format=20module=20of=20the=0Astandard=20library=2E=20Input=20data=20must=20be=20converted=20into=20a=20tree=20using=203=20kinds=20of=0Anodes=3A=20atoms=2C=20lists=20and=20labelled=20nodes=2E=20Each=20node=20is=20bound=20to=20its=20own=0Aformatting=20parameters=20and=20a=20single=20function=20call=20produces=20the=20formatted=0Aoutput=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=5Fjambon=40emailuser=2Enet=3E homepage=http://martin.jambon.free.fr/easy-format.html svn_path=trunk/godi/godi-easy-format svn_rev=2291 date=Sun, 13 Jul 2008 16:16:31 +0000 rel_by=mjambon section=3.09 distfiles=easy-format-1.0.0.tar.gz [godi-tools] name=godi-tools version=1.6.1godi1 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=2002 date=Fri, 18 Jan 2008 21:06:19 +0000 rel_by=gerd section=3.09 distfiles=godi-tools-1.6.1.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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 22:00:43 +0000 rel_by=gerd section=3.09 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:25:07 +0000 rel_by=mjambon section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-findlib] name=godi-findlib version=1.2.5 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://projects.camlcity.org/projects/findlib.html svn_path=trunk/godi/godi-findlib svn_rev=2826 date=Thu, 10 Sep 2009 20:07:52 +0000 rel_by=gerd section=3.09 distfiles=findlib-1.2.5.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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [apps-pkglab] name=apps-pkglab version=1.1 comment=Distribution=20navigator descr=pkglab=20is=20a=20matlab=2Dlike=20navigator=20for=20package=20distributions=3B=20the=20objects=20one=0Aoperates=20on=20are=20packages=2C=20sets=20of=20packages=2C=20dates=20and=20archives=2E=20It=20is=20possible=0Ato=20explore=20these=20objects=20in=20many=20different=20ways=20=28find=20out=20whether=20a=20package=20is=0Ainstallable=20w=2Er=2Et=2E=20a=20certain=20archive=2C=20for=20example=29=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=http://sodiac.gforge.inria.fr svn_path=trunk/apps/apps-pkglab svn_rev=1977 date=Mon, 07 Jan 2008 12:10:15 +0000 rel_by=boender section=3.09 distfiles=pkglab-1.1.tar.gz [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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:04:36 +0000 rel_by=signoles section=3.09 distfiles=camlzip-1.04.tar.gz [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:07:36 +0000 rel_by=frisch section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-ocaml-dbm] name=godi-ocaml-dbm version=3.09.3godi1 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=trunk309/godi/godi-ocaml-dbm svn_rev=2216 date=Sun, 15 Jun 2008 18:30:13 +0000 rel_by=gerd section=3.09 [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 16:04:06 +0000 rel_by=mottl section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Tue, 25 Jul 2006 01:17:53 +0000 rel_by=gremlin section=3.09 [godi-ocamlduce] name=godi-ocamlduce version=3.09.3pl1 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=trunk309/godi/godi-ocamlduce svn_rev=1660 date=Tue, 23 Jan 2007 12:48:36 +0000 rel_by=frisch section=3.09 distfiles=ocamlduce-3.09.3pl1.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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-ocamlgraph] name=godi-ocamlgraph version=0.99cgodi4 comment=ocamlgraph=20is=20a=20graph=20library=20for=20Objective=20Caml descr=OcamlGraph=20is=20a=20graph=20library=20for=20Objective=20Caml=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://ocamlgraph.lri.fr/ svn_path=trunk/godi/godi-ocamlgraph svn_rev=2274 date=Mon, 30 Jun 2008 13:04:11 +0000 rel_by=gerd section=3.09 distfiles=ocamlgraph-0.99c.tar.gz [godi-calendar] name=godi-calendar version=1.10 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=1784 date=Fri, 01 Jun 2007 15:43:58 +0000 rel_by=ogunden section=3.09 distfiles=calendar-1.10.tar.gz [godi-equeue-tcl] name=godi-equeue-tcl version=2.2godi1 comment=Dummy=20package=3B=20Equeue=2Dtcl=20is=20now=20part=20of=20godi=2Docamlnet=2Dtcl descr=Dummy=20package=3B=20Equeue=2Dtcl=20is=20now=20part=20of=20godi=2Docamlnet=2Dtcl=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue-tcl svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [godi-micmatch_pcre] name=godi-micmatch_pcre version=0.700 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=1831 date=Wed, 27 Jun 2007 16:56:38 +0000 rel_by=mjambon section=3.09 distfiles=micmatch-0.700.tar.gz [godi-pa_arg] name=godi-pa_arg version=0.2.3 comment=A=20syntax=2Dextension=20and=20library=20for=20parsing=20command=2Dline=20arguments=2E descr=Pa=5Farg=20provides=20a=20clean=2C=20simple=2C=20yet=20powerful=20and=20extensible=20syntax=20for=0Aparsing=20command=2Dline=20arguments=2E=20 maintainer=Eric=20Breck=20=3Cebreck=40cs=2Ecornell=2Eedu=3E homepage=http://www.cs.cornell.edu/~ebreck/pa_arg svn_path=trunk/godi/godi-pa_arg svn_rev=1806 date=Fri, 08 Jun 2007 17:04:17 +0000 rel_by=ebreck section=3.09 distfiles=pa_arg-0.2.3.tar.gz [godi-pcre] name=godi-pcre version=6.0.1godi4 comment=Perl=20compatible=20regular=20expressions descr=OCaml=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=2940 date=Mon, 28 Dec 2009 13:49:07 +0000 rel_by=gerd section=3.09 distfiles=pcre-ocaml-6.0.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:19:19 +0000 rel_by=mjambon section=3.09 distfiles=col-1.1.1.tar.gz [godi-ounit] name=godi-ounit version=1.0.3 comment=Unit=20test=20framework=20for=20OCaml descr=OUnit=20is=20a=20unit=20test=20framework=20for=20OCaml=20by=20Maas=2DMaarten=20=0AZeeman=20=3Cmmzeeman=40xs4all=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=2Fwww=2Exs4all=2Enl=2F=7Emmzeeman=2Focaml=2Founit=2Ddoc=2FOUnit=2Ehtml=0A=0A maintainer=Mike=20Furr=20=3Cfurr=40cs=2Eumd=2Eedu=3E homepage=http://www.xs4all.nl/~mmzeeman/ocaml/ svn_path=trunk/godi/godi-ounit svn_rev=2736 date=Thu, 18 Jun 2009 01:44:19 +0000 rel_by=mfurr section=3.09 distfiles=ounit-1.0.3.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=Sat, 29 Oct 2005 20:33:30 +0000 rel_by=gerd section=3.09 distfiles=xstr-0.2.1.tar.gz [apps-ceve] name=apps-ceve version=1.0.1 comment=Parser=20for=20many=20package=20formats descr=The=20CEVE=20package=20is=20a=20parser=20for=20several=20package=20formats=20=28currently=20APT=20and=0ARPM=29=2C=20which=20can=20output=20package=20metadata=20to=20several=20formats=20=28currently=0AGraphML=20and=20SQL=29=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=http://www.pps.jussieu.fr/~boender svn_path=trunk/apps/apps-ceve svn_rev=1884 date=Mon, 10 Sep 2007 11:53:20 +0000 rel_by=boender section=3.09 distfiles=ceve-1.0.1.tar.gz [apps-frama-c] name=apps-frama-c version=20080502 comment=Modular=20C=2FC=2B=2B=20static=20analyser descr=Frama=2DC=20stands=20for=20FRAmework=20for=20Modular=20Analysis=20of=20C=2E=20It=20provides=20a=20generic=0Aframework=20=28based=20on=20the=20CIL=20library=29=20for=20building=20static=20analyzers=20for=0AC=20programs=2E=20It=20features=20an=20annotation=20language=2C=20called=20ACSL=2C=20in=20which=0Ait=20is=20possible=20possible=20to=20express=20the=20formal=20properties=20that=20the=20code=20under=0Aanalysis=20is=20expected=20to=20meet=2E=0ACurrent=20analyzers=20include=3A=0A=2D=20an=20abstract=20interpreter=0A=2D=20WP=2Dbased=20verifiers=0A=2D=20a=20code=20slicer=0A=2D=20an=20impact=20analysis=20tool=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage= svn_path=trunk/apps/apps-frama-c svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=frama-c-Hydrogen-20080502.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:19:04 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [apps-wyrd] name=apps-wyrd version=1.4.1 comment=Curses=20calendar=20app descr=Warning=3A=20Wyrd=20requires=20remind=2003=2E0=2E24=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=1627 date=Tue, 05 Dec 2006 22:54:05 +0000 rel_by=ogunden section=3.09 distfiles=wyrd-1.4.1.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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=hweak-1.1.tar.gz [godi-ocaml-ssl] name=godi-ocaml-ssl version=0.4.2godi1 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=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=http://savonet.sourceforge.net/ svn_path=trunk/godi/godi-ocaml-ssl svn_rev=2935 date=Wed, 23 Dec 2009 15:00:13 +0000 rel_by=gerd section=3.09 distfiles=ocaml-ssl-0.4.2.tar.gz [godi-alphacaml] name=godi-alphacaml version=20061214 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=1635 date=Thu, 14 Dec 2006 16:48:24 +0000 rel_by=fpottier section=3.09 distfiles=alphaCaml-20061214.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:35:38 +0000 rel_by=gerd section=3.09 distfiles=lua-ml-20060829.tar.gz [godi-ocaml-http] name=godi-ocaml-http version=0.1.3 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=1764 date=Wed, 11 Apr 2007 09:35:06 +0000 rel_by=frisch section=3.09 distfiles=ocaml-http-0.1.3.tar.gz [godi-missinglib] name=godi-missinglib version=0.4.1godi2 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=2285 date=Tue, 01 Jul 2008 09:35:15 +0000 rel_by=gerd section=3.09 distfiles=missinglib_0.4.1_repacked.tar.gz [godi-lablgtk2] name=godi-lablgtk2 version=20080226godi1 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=0A20080226=20=3D=202=2E10=2E1=0A20070927=20=3D=202=2E10=2E0=0A20051028=20=3D=202=2E6=2E0=0A20040716=20=3D=202=2E4=2E0=0A20031010=20=3D=202=2E2=2E0=0A maintainer=virgile=2Eprevosto=40m4x=2Eorg homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgtk.html svn_path=trunk/godi/godi-lablgtk2 svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=lablgtk-2.10.1.tar.gz [godi-cil] name=godi-cil version=1.3.6godi1 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=2298 date=Tue, 22 Jul 2008 10:21:45 +0000 rel_by=gerd section=3.09 distfiles=cil-1.3.6.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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=cryptgps-0.2.1.tar.gz [godi-annexlib] name=godi-annexlib version=0.13.5 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=1419 date=Tue, 30 May 2006 04:05:23 +0000 rel_by=gremlin section=3.09 distfiles=annexlib-0.13.5.tar.gz [godi-syslog] name=godi-syslog version=1.4godi1 comment=syslog=20client descr=This=20is=20a=20syslog=20client=20implementation=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://homepage.mac.com/letaris/ svn_path=trunk/godi/godi-syslog svn_rev=1808 date=Sat, 09 Jun 2007 17:27:13 +0000 rel_by=gremlin section=3.09 distfiles=syslog-1.4.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=Mon, 31 Oct 2005 13:17:32 +0000 rel_by=gerd section=3.09 distfiles=wdialog-manual-2.1.1-html.tar.gz [godi-camomile] name=godi-camomile version=0.6.5 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=1344 date=Tue, 21 Mar 2006 15:05:46 +0000 rel_by=yoriyuki section=3.09 distfiles=camomile-0.6.5.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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=cryptokit-1.2.tar.gz [godi-tophide] name=godi-tophide version=1.0.0 comment=Hides=20toplevel=20values=20whose=20name=20starts=20with=20an=20underscore=2E descr=Tophide=20hides=20toplevel=20values=20whose=20name=20starts=20with=20an=20underscore=2E=20This=20is=0Auseful=20for=20some=20Camlp4=20syntax=20extensions=20that=20produce=20lots=20of=20global=0Aidentifiers=20that=20should=20remain=20hidden=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/ocaml.html svn_path=trunk/godi/godi-tophide svn_rev=2077 date=Mon, 07 Apr 2008 01:38:25 +0000 rel_by=mjambon section=3.09 distfiles=tophide-1.0.0.tar.gz [apps-cmigrep] name=apps-cmigrep version=1.3 comment=module=20exploration=20utility descr=cmigrep=20is=20a=20utility=20to=20mine=20data=20from=20caml=20compiled=20interface=20files=0A maintainer=letaris=40mac=2Ecom homepage=http://homepage.mac.com/letaris/ svn_path=trunk/apps/apps-cmigrep svn_rev=1746 date=Sun, 01 Apr 2007 14:59:24 +0000 rel_by=gremlin section=3.09 distfiles=cmigrep-1.3.tar.bz2 [apps-unison] name=apps-unison version=2.27.29 comment=File=20synchronizer descr=The=20Unison=20file=20synchronizer=0A maintainer=kidd=40cs=2Ewisc=2Eedu homepage=http://www.cis.upenn.edu/~bcpierce/unison/ svn_path=trunk/apps/apps-unison svn_rev=1788 date=Sun, 20 May 2007 18:26:04 +0000 rel_by=kidd section=3.09 distfiles=unison-2.27.29.tar.gz [godi-ocaml-manual] name=godi-ocaml-manual version=3.09 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=trunk309/godi/godi-ocaml-manual svn_rev=1170 date=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=ocaml-3.09-refman.html.tar.gz [godi-ocaml] name=godi-ocaml version=3.09.3godi1 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=trunk309/godi/godi-ocaml svn_rev=2216 date=Sun, 15 Jun 2008 18:30:13 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-ocaml-csv] name=godi-ocaml-csv version=1.1.6 comment=CSV=20library=20for=20OCaml descr=This=20library=20can=20write=20CSV=20files=2C=20including=20all=20extensions=20used=20by=20Excel=20=2D=0Aeg=2E=20quotes=2C=20newlines=2C=208=20bit=20characters=20in=20fields=2C=20=22O=20etc=2E=0A maintainer=jaapb=40kerguelen=2Eorg homepage=http://merjis.com/developers/csv svn_path=trunk/godi/godi-ocaml-csv svn_rev=1913 date=Thu, 08 Nov 2007 11:17:40 +0000 rel_by=boender section=3.09 distfiles=ocaml-csv-1.1.6.tar.gz [godi-ocamlnet] name=godi-ocamlnet version=2.2.9godi5 comment=base=20library=20for=20network=20protocols descr=ocamlnet=2D2=20distributes=20the=20following=20libararies=3A=0A=0A=2D=20netstring=3A=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=0A=2D=20cgi=20or=20netcgi1=3A=20implementations=20for=20classic=20CGI=2C=20for=20FastCGI=20and=20AJP=20=28Jakarta=0A=20=20connector=29=0A=0A=2D=20netcgi2=3A=20Revised=20CGI=20implementation=2C=20also=20with=20support=20for=20FastCGI=2C=0A=20=20AJP=2C=20SCGI=0A=0A=2D=20netcgi2=2Dplex=3A=20Standalone=20FastCGI=2FAJP=2FSCGI=20servers=0A=0A=2D=20equeue=3A=20a=20generic=20implementation=20of=20queues=20of=20events=20of=20any=0A=20=20type=2C=20and=20a=20specific=20implementation=20of=20queues=20of=20file=20descriptor=0A=20=20events=2E=0A=0A=2D=20shell=3A=20event=2Dqueue=20compatible=20invocation=20of=20external=20commands=0A=0A=2D=20netclient=3A=20an=20HTTP=2C=20a=20Telnet=2C=20and=20an=20incomplete=20FTP=20client=0A=0A=2D=20nethttpd=3A=20a=20HTTP=20server=0A=0A=2D=20netplex=3A=20a=20generic=20server=20framework=0A=0A=2D=20netshm=3A=20shared=20memory=20for=20IPC=0A=0A=2D=20rpc=3A=20a=20SunRPC=20implementation=0A=0A=2D=20rpc=2Dgenerator=3A=20the=20generator=20for=20rpc=0A=0A=2D=20rpc=2Dxti=3A=20=28for=20System=20V=20platforms=20only=3A=29=20add=2Don=20to=20connect=20to=20local=0A=20=20XTI=2Dbased=20rpc=20services=0A=0A=2D=20pop=3A=20a=20simple=20POP=203=20client=0A=0A=2D=20smtp=3A=20an=20SMTP=20client=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet svn_rev=2625 date=Tue, 21 Apr 2009 12:57:40 +0000 rel_by=gerd section=3.09 distfiles=ocamlnet-2.2.9.tar.gz [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:53:32 +0000 rel_by=gerd section=3.09 distfiles=umlmon-1.0.4.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:31:26 +0000 rel_by=mottl section=3.09 distfiles=res-2.2.4.tar.gz [conf-tcltk] name=conf-tcltk version=11 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=2728 date=Tue, 09 Jun 2009 21:21:26 +0000 rel_by=gerd section=3.09 [godi-ocamlnet-gtk2] name=godi-ocamlnet-gtk2 version=2.2.9 comment=Glib=2Fgtk2=20extension=20for=20ocamlnet descr=This=20package=20is=20the=20Glib=2Fgtk2=20extension=20of=20ocamlnet=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet-gtk2 svn_rev=1909 date=Thu, 01 Nov 2007 22:20:29 +0000 rel_by=gerd section=3.09 distfiles=ocamlnet-2.2.9.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:53:11 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=facile-1.1.tar.gz [godi-ocamlnet-gtk1] name=godi-ocamlnet-gtk1 version=2.2.9 comment=Glib=2Fgtk1=20extension=20for=20ocamlnet descr=This=20package=20is=20the=20Glib=2Fgtk1=20extension=20of=20ocamlnet=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet-gtk1 svn_rev=1909 date=Thu, 01 Nov 2007 22:20:29 +0000 rel_by=gerd section=3.09 distfiles=ocamlnet-2.2.9.tar.gz [conf-x11] name=conf-x11 version=4 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=2728 date=Tue, 09 Jun 2009 21:21:26 +0000 rel_by=gerd section=3.09 [conf-rpm] name=conf-rpm version=2 comment=Configures=20which=20rpm=20library=20to=20use descr=This=20package=20configures=20where=20the=20RPM=20library=20is=20found=2E=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=n/a svn_path=trunk/conf/conf-rpm svn_rev=1884 date=Mon, 10 Sep 2007 11:53:20 +0000 rel_by=boender section=3.09 [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:53:11 +0000 rel_by=gerd section=3.09 [godi-lwt] name=godi-lwt version=1.1.0 comment=Light=2Dweight=20threading=20library descr=Lwt=20=28the=20abbreviation=20stands=20for=20Light=2DWeight=20Threading=29=20is=20a=20cooperative=0Athreading=20library=20for=20Ocaml=2E=20=0A maintainer=jaapb=40kerguelen=2Eorg homepage=http://www.ocsigen.org/install/lwt svn_path=trunk/godi/godi-lwt svn_rev=2296 date=Thu, 17 Jul 2008 09:03:28 +0000 rel_by=boender section=3.09 distfiles=lwt-1.1.0.tar.gz [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=godi-pkg_install-20050829.tar.gz [conf-popt] name=conf-popt version=1 comment=Configures=20which=20popt=20library=20to=20use descr=This=20package=20configures=20where=20the=20POPT=20library=20is=20found=2E=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=n/a svn_path=trunk/conf/conf-popt svn_rev=1884 date=Mon, 10 Sep 2007 11:53:20 +0000 rel_by=boender section=3.09 [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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 distfiles=camltemplate-1.0.1.tar.gz [apps-hevea] name=apps-hevea version=1.10godi1 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://hevea.inria.fr/ svn_path=trunk309/apps/apps-hevea svn_rev=1930 date=Sun, 18 Nov 2007 20:22:44 +0000 rel_by=nogin section=3.09 distfiles=hevea-1.10-manual.tar.gz distfiles=hevea-1.10.tar.gz [godi-netclient] name=godi-netclient version=2.2godi1 comment=Dummy=20package=3B=20Netclient=20is=20now=20part=20of=20godi=2Docamlnet descr=Dummy=20package=3B=20Netclient=20is=20now=20part=20of=20godi=2Docamlnet=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-netclient svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [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:31:26 +0000 rel_by=mottl section=3.09 distfiles=pomap-2.9.7.tar.gz [godi-dum] name=godi-dum version=1.0.0godi1 comment=Dumper=20supporting=20cyclic=20values=2E descr=Dum=20is=20a=20library=20for=20inspecting=20the=20runtime=20representation=20of=20arbitrary=0AObjective=20Caml=20values=2E=20Shared=20or=20cyclic=20data=20are=20detected=20and=20labelled=2E=0AThis=20guarantees=20that=20printing=20would=20always=20terminate=2E=20This=20makes=20it=0Apossible=20to=20print=20values=20such=20as=20closures=2C=20objects=20or=20exceptions=20in=20depth=0Aand=20without=20risk=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40wink=2Ecom=3E homepage=http://oss.wink.com/dum/ svn_path=trunk/godi/godi-dum svn_rev=2535 date=Sun, 01 Feb 2009 22:25:40 +0000 rel_by=mjambon section=3.09 distfiles=dum-1.0.0.tar.gz [godi-lablgl] name=godi-lablgl version=1.02 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=mulhern=40cs=2Ewisc=2Eedu homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html svn_path=trunk/godi/godi-lablgl svn_rev=1838 date=Sat, 11 Aug 2007 21:25:23 +0000 rel_by=mulhern section=3.09 distfiles=lablgl-1.02.tar.gz [godi-galax] name=godi-galax version=0.7.2 comment=XQuery=201=2E0=20Implementation descr=The=20Galax=20project=20implements=20an=20XQuery=20compilation=20and=20execution=20environment=0Awritten=20in=20the=20OCaml=20language=2E=0A maintainer=car=40research=2Eatt=2Ecom homepage=http://www.galaxquery.org svn_path=trunk309/godi/godi-galax svn_rev=1674 date=Mon, 05 Feb 2007 20:54:32 +0000 rel_by=carath63 section=3.09 distfiles=galax-0.7.2.tgz [godi-rpc] name=godi-rpc version=2.2godi1 comment=Dummy=20package=3B=20Rpc=20is=20now=20part=20of=20godi=2Docamlnet descr=Dummy=20package=3B=20Rpc=20is=20now=20part=20of=20godi=2Docamlnet=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-rpc svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [godi-lablgtksourceview] name=godi-lablgtksourceview version=0.2.1godi1 comment=bindings=20for=20the=20gtksourceview=20library=2E descr=This=20packages=20provides=20bindings=20for=20the=20gtksourceview=20library=0A=28http=3A=2F=2Fgtksourceview=2Esourceforge=2Enet=2F=29=2C=20an=20extension=20to=20the=20gtk=20text=20widget=0Athat=20allows=20syntax=20highlighting=20for=20a=20variety=20of=20programming=20languages=2E=0ANote=20that=20you=20need=20to=20have=20gtksourceview=20installed=20before=20installing=20the=0Apackage=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://helm.cs.unibo.it/software/lablgtksourceview/ svn_path=trunk/godi/godi-lablgtksourceview svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=lablgtksourceview-0.2.1.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:02:53 +0000 rel_by=gremlin section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-ocaml-graphics] name=godi-ocaml-graphics version=3.09.3godi1 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=trunk309/godi/godi-ocaml-graphics svn_rev=2216 date=Sun, 15 Jun 2008 18:30:13 +0000 rel_by=gerd section=3.09 [godi-xml-light] name=godi-xml-light version=2.2godi1 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=1300 date=Fri, 20 Jan 2006 00:37:44 +0000 rel_by=ogunden section=3.09 distfiles=xml-light-2.2.tar.gz [godi-camlimages] name=godi-camlimages version=2.20godi5 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=2921 date=Fri, 18 Dec 2009 16:02:33 +0000 rel_by=gerd section=3.09 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=Sat, 28 Apr 2007 02:06:23 +0000 rel_by=mottl section=3.09 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, 22 Apr 2007 16:46:39 +0000 rel_by=mottl section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=getopt-20040420.tar.gz [apps-zenon] name=apps-zenon version=0.5.0 comment==22first=2Dorder=20automated=20theorem=20prover=20generating=20coq=20output=22 descr=This=20package=20contains=20the=20zenon=20theorem=20prover=2E=20Zenon=20is=20a=20first=2Dorder=0Aautomated=20theorem=20prover=20with=20equality=2C=20based=20on=20a=20tableaux=20method=2E=0AZenon=20is=20developed=20by=20Damien=20Doligez=20at=20INRIA=2E=20Its=20main=20strength=20is=20that=0Ait=20can=20output=20a=20trace=20of=20its=20proofs=20in=20the=20form=20of=20a=20Coq=20script=20or=20a=20Coq=0Aterm=2E=20In=20other=20words=2C=20its=20results=20can=20be=20checked=20by=20the=20Coq=0Aproof=2Dassistant=20=28or=20conversely=2C=20zenon=20can=20be=20seen=20as=20a=20powerful=0Afirst=2Dorder=20tactic=20for=20Coq=29=2E=20It=20is=20also=20the=20main=20prover=20of=20the=20Focal=0Asystem=2E=0A maintainer==22Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E=22 homepage="http://focal.inria.fr/zenon/" svn_path=trunk/apps/apps-zenon svn_rev=1939 date=Tue, 27 Nov 2007 17:32:07 +0000 rel_by=prevosto section=3.09 distfiles=zenon-0.5.0.tar.gz [godi-equeue] name=godi-equeue version=2.2godi1 comment=Dummy=20package=3B=20Equeue=20is=20now=20part=20of=20godi=2Docamlnet descr=Dummy=20package=3B=20Equeue=20is=20now=20part=20of=20godi=2Docamlnet=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocaml-programming.de svn_path=trunk/godi/godi-equeue svn_rev=1645 date=Thu, 28 Dec 2006 19:44:18 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-ocamlnet-ssl] name=godi-ocamlnet-ssl version=2.2.9 comment=SSL=20extension=20for=20ocamlnet descr=This=20package=20is=20the=20SSL=20extension=20of=20ocamlnet=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://ocamlnet.sourceforge.net svn_path=trunk/godi/godi-ocamlnet-ssl svn_rev=1909 date=Thu, 01 Nov 2007 22:20:29 +0000 rel_by=gerd section=3.09 distfiles=ocamlnet-2.2.9.tar.gz [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [godi-dose2] name=godi-dose2 version=1.1godi1 comment=Libraries=20for=20package=20distribution=20management descr=Dose2=20is=20a=20library=20for=20distribution=20analysis=2E=0A maintainer=jaapb=40kerguelen=2Eorg homepage=http://sodiac.gforge.inria.fr svn_path=trunk/godi/godi-dose2 svn_rev=2026 date=Mon, 04 Feb 2008 14:28:11 +0000 rel_by=boender section=3.09 distfiles=dose2-1.1.tar.gz [godi-extlib] name=godi-extlib version=1.5.1 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://code.google.com/p/nurpawiki svn_path=trunk/godi/godi-extlib svn_rev=1965 date=Sat, 29 Dec 2007 19:59:02 +0000 rel_by=jjhellst section=3.09 distfiles=extlib-1.5.1.tar.gz [godi-ocaml-src] name=godi-ocaml-src version=3.09.3godi3 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=trunk309/godi/godi-ocaml-src svn_rev=1842 date=Sun, 22 Jul 2007 17:42:58 +0000 rel_by=gerd section=3.09 distfiles=ocaml-3.09.3.tar.gz [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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:48:32 +0000 rel_by=gerd section=3.09 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=DELETE date=Sat, 29 Oct 2005 22:20:57 +0000 rel_by=gerd section=3.09 [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:51:05 +0000 rel_by=mjambon section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=findlib-browser-0.2.2.tar.gz [godi-ancient] name=godi-ancient version=0.8.0 comment=adds=20a=20third=20generation=20to=20the=20memory=20manager descr=This=20module=20allows=20you=20to=20use=20in=2Dmemory=20data=20structures=20which=20are=0Alarger=20than=20available=20memory=20and=20so=20are=20kept=20in=20swap=2E=20=20If=20you=20try=20this=0Ain=20normal=20OCaml=20code=2C=20you=27ll=20find=20that=20the=20machine=20quickly=20descends=0Ainto=20thrashing=20as=20the=20garbage=20collector=20repeatedly=20iterates=20over=0Aswapped=20memory=20structures=2E=20=20This=20module=20lets=20you=20break=20that=0Alimitation=2E=20=20Of=20course=20the=20module=20doesn=27t=20work=20by=20magic=20=3A=2D=29=20If=20your=0Aprogram=20tries=20to=20access=20these=20large=20structures=2C=20they=20still=20need=20to=20be=0Aswapped=20back=20in=2C=20but=20it=20is=20suitable=20for=20large=2C=20sparsely=20accessed=0Astructures=2E=0A=0ASecondly=2C=20this=20module=20allows=20you=20to=20share=20those=20structures=20between=0Aprocesses=2E=20=20In=20this=20mode=2C=20the=20structures=20are=20backed=20by=20a=20disk=20file=2C=0Aand=20any=20process=20that=20has=20read=2Fwrite=20access=20that=20disk=20file=20can=20map=20that=0Afile=20in=20and=20see=20the=20structures=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://merjis.com/developers/ancient svn_path=trunk/godi/godi-ancient svn_rev=2416 date=Sat, 22 Nov 2008 17:51:30 +0000 rel_by=gerd section=3.09 distfiles=ancient-0.8.0.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:04:30 +0000 rel_by=gerd section=3.09 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:16:07 +0000 rel_by=gremlin section=3.09 distfiles=tdir-1.1.1.tar.bz2 [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=Sat, 29 Oct 2005 22:00:43 +0000 rel_by=gerd section=3.09 distfiles=ocamldsort-0.14.3.tar.gz [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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 distfiles=ansicolor-0.5.tar.gz [apps-why] name=apps-why version=2.13 comment=Verification=20condition=20generator=20for=20various=20systems descr=Why=20is=20a=20software=20verification=20tool=2E=20Why=20aims=20at=20being=20a=20verification=0Aconditions=20generator=20=28VCG=29=20back=2Dend=20for=20other=20verification=20tools=2E=20It=0Aprovides=20a=20powerful=20input=20language=20including=20higher=2Dorder=20functions=2C=0Apolymorphism=2C=20references=2C=20arrays=20and=20exceptions=2E=20It=20generates=20proof=20obligation=0Afor=20proof=20assistants=20and=20automated=20theorem=20provers=2E=20Some=20of=20them=20=28namely=20Coq=0Aand=20zenon=29=20are=20available=20as=20Godi=20packages=20as=20well=2E=20Other=20ones=20have=20to=20be=20=0Ainstalled=20by=20hand=2E=20You=20need=20at=20least=20one=20system=20installed=20for=20Why=20to=20be=20useful=2E=0A=0AThe=20front=2Dend=20for=20Why=20currently=20includes=20Krakatoa=20=28for=20Java=20programs=29=20and=0ACaduceus=20=28for=20C=20programs=29=2E=20Caduceus=20is=20included=20in=20the=20Why=20distribution=20itself=2E=0A maintainer==22Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E=22 homepage="http://why.lri.fr" svn_path=trunk/apps/apps-why svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 distfiles=why-2.13.tar.gz [apps-tart] name=apps-tart version=1.0.1 comment=Package=20distributor descr=Tart=20is=20a=20utility=20that=20can=20spread=20a=20distribution=20=28i=2Ee=2E=20a=20set=20of=20packages=20with=0Adependencies=20between=20them=29=20over=20several=20media=20=28CDs=2C=20DVDs=2C=20etc=2E=29=20in=20such=20a=20way=0Athat=20any=20package=20from=20the=20distribution=20is=20installable=20using=20only=20the=20medium=20it=0Ais=20on=2C=20or=20earlier=20media=2E=0A maintainer=Jaap=2EBoender=40pps=2Ejussieu=2Efr homepage=http://www.edos-project.org svn_path=trunk/apps/apps-tart svn_rev=1890 date=Mon, 10 Sep 2007 12:26:39 +0000 rel_by=boender section=3.09 distfiles=tart-1.0.1.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=Sat, 29 Oct 2005 22:00:43 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=subversion-1.0.6.tar.gz [godi-json-wheel] name=godi-json-wheel version=1.0.6 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/json-wheel.html svn_path=trunk/godi/godi-json-wheel svn_rev=2464 date=Thu, 15 Jan 2009 14:41:15 +0000 rel_by=mjambon section=3.09 distfiles=json-wheel-1.0.6.tar.gz [apps-ledit] name=apps-ledit version=1.11godi1 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=40inria=2Efr homepage=http://cristal.inria.fr/~ddr/ svn_path=trunk/apps/apps-ledit svn_rev=1286 date=Tue, 17 Jan 2006 15:10:52 +0000 rel_by=frisch section=3.09 distfiles=ledit-1.11.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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [apps-ergo] name=apps-ergo version=0.7.3 comment=DEPRECATED=3A=20ergo=20is=20now=20called=20alt=2Dergo=2E=20This=20package=20is=20only=20here=20to=20ease=20the=20transisition=2E descr=From=20the=20ergo=20web=20site=3A=0AErgo=20is=20an=20automatic=20theorem=20prover=20dedicated=20to=20program=0Averification=2E=20Ergo=20is=20based=20on=20CC=28X=29=20a=20congruence=20closure=20algorithm=0Aparameterized=20by=20an=20equational=20theory=20X=2E=20Currently=2C=20CC=28X=29=20can=20be=0Ainstanciated=20by=20the=20empty=20equational=20theory=20and=20by=20the=20linear=0Aarithmetics=2E maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://ergo.lri.fr svn_path=trunk/apps/apps-ergo svn_rev=2168 date=Thu, 12 Jun 2008 13:30:26 +0000 rel_by=prevosto section=3.09 [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:55:38 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 distfiles=ocamlbdb-4.3.21.tar.gz [apps-nurpawiki] name=apps-nurpawiki version=1.1.2 comment=Wiki=20=2B=20To=2DDo=20list descr=Nurpawiki=20is=20a=20personal=20information=20manager=20=28PIM=29=20application=20that=0Acombines=20a=20wiki=2C=20a=20to=2Ddo=20list=20and=20a=20simple=20scheduler=20to=20help=20you=20get=0Aorganized=2E=20It=20aims=20to=20ease=20note=20taking=20and=20action=20planning=2E=20Actions=0A=28to=2Ddos=29=20are=20always=20associated=20with=20notes=20or=20plans=20=28wiki=20pages=29=2E=0A maintainer=Janne=20Hellsten=20=3Cjjhellst=40gmail=2Ecom=3E homepage=http://code.google.com/p/nurpawiki svn_path=trunk/apps/apps-nurpawiki svn_rev=2034 date=Sat, 09 Feb 2008 19:40:46 +0000 rel_by=jjhellst section=3.09 distfiles=nurpawiki-1.1.2.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:32:22 +0000 rel_by=mjambon section=3.09 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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 distfiles=expat-1.95.7.tar.gz [apps-ocsigen] name=apps-ocsigen version=1.0.0 comment=Framework=20for=20web=20programming descr=Ocsigen=20is=20a=20programming=20framework=20providing=20a=20new=20way=20to=20create=20dynamic=20web=0Asites=2E=20Its=20goal=20is=20to=20offer=20an=20alternative=20to=20Apache=2FPHP=2C=20based=20on=20cutting=2Dedge=0Atechnologies=20coming=20from=20research=20in=20programming=20languages=2E=20With=20Ocsigen=2C=20you=0Aprogram=20in=20a=20concise=20and=20modular=20way=2C=20with=20a=20strong=20type=20system=20which=20helps=20you=0Ato=20produce=20valid=20xhtml=2E=20The=20server=20handles=20sessions=2C=20URLs=2C=20and=20page=20parameters=0Aautomatically=2E=20=0A maintainer=jaapb=40kerguelen=2Eorg homepage=http://www.ocsigen.org svn_path=trunk/apps/apps-ocsigen svn_rev=2072 date=Wed, 02 Apr 2008 10:37:09 +0000 rel_by=boender section=3.09 distfiles=ocsigen-1.0.0.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=Sat, 24 Nov 2007 02:07:43 +0000 rel_by=mottl section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 [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=Sat, 29 Oct 2005 20:05:30 +0000 rel_by=gerd section=3.09 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:17:18 +0000 rel_by=gerd section=3.09 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:35:44 +0000 rel_by=gerd section=3.09 distfiles=camlidl-1.05.doc.pdf distfiles=camlidl-1.05.tar.gz [godi-omake] name=godi-omake version=0.9.8.5godi3 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=2E5=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=1867 date=Tue, 14 Aug 2007 15:39:30 +0000 rel_by=jyh section=3.09 distfiles=omake-0.9.8.5-3.tar.gz [apps-bigbro] name=apps-bigbro version=2.0.4godi3 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=1325 date=Mon, 13 Feb 2006 21:40:32 +0000 rel_by=fpottier section=3.09 distfiles=bigbro-2.0.4-rev3.tar.gz [godi-ulex] name=godi-ulex version=0.8 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=1181 date=Sun, 30 Oct 2005 13:26:13 +0000 rel_by=frisch section=3.09 distfiles=ulex-0.8.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=Sat, 29 Oct 2005 21:24:40 +0000 rel_by=gerd section=3.09 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=Sat, 29 Oct 2005 20:48:26 +0000 rel_by=gerd section=3.09 distfiles=schoca-0.2.3.tar.bz2