[00000_apps-oqamldebug] name=apps-oqamldebug version=0.9.2 comment=Graphical=20front=2Dend=20to=20ocamldebug descr=Features=3A=0A=20=20=20=20=2A=20Emulates=20only=20the=20emacs=20mode=20from=20OCamlDebug=2C=20does=20not=20need=20any=20hooks=20into=20ocaml=20core=2E=0A=20=20=20=20=2A=20Full=20Qt=20application=3A=20can=20be=20compiled=20on=20Windows=2C=20MacOS=20and=20Linux=0A=20=20=20=20=2A=20Save=2FRestore=20of=20window=20position=2C=20and=20debug=20parameter=2E=0A=20=20=20=20=2A=20Detection=20of=20the=20modification=20of=20the=20debugged=20application=20or=20sources=2E=20=28automatically=20reloaded=20when=20modified=29=0A=20=20=20=20=2A=20Syntax=20highlighting=20of=20ocamldebug=20command=20and=20ocaml=20sources=2E=0A=20=20=20=20=2A=20Persistent=20command=20line=20history=0A=20=20=20=20=2A=20Mouse=20support=3A=20middle=20click=20on=20a=20symbol=20in=20the=20code=20to=20print=20it=2C=20and=20mouse=20wheel=20to=20step=2Fbackstep=20through=20the=20code=2E=0A=20=20=20=20=2A=20Setting=20breakpoints=20directly=20into=20the=20source=20code=2E=0A=20=20=20=20=2A=20Watch=20window=0A=20=20=20=20=2A=20Call=20stack=20window=0A=20=20=20=20=2A=20Separated=20application=20output=20window=0A=0AOQamlDebug=20needs=20Qt4=20to=20be=20generated=2E=20Qt4=20can=20be=20downloaded=20from=20http=3A=2F=2Fqt=2Dproject=2Eorg=2E=0AOn=20debian=20install=20simply=20qt4=2Ddev=20package=2E=2E=0A=0AOn=20MacOS=20it=20is=20necessary=20to=20set=20QMAKESPEC=20as=20follow=20to=20install=20the=20package=3A=0Aexport=20QMAKESPEC=3Dmacx=2Dg=2B=2B=0A maintainer=sebastien=2Efricker=40gmail=2Ecom homepage=http://oqamldebug.forge.ocamlcore.org/ svn_path=trunk/apps/apps-oqamldebug svn_rev=4388 date=Mon, 14 Jan 2013 06:23:17 +0000 rel_by=testcocoon section=3.11 distfiles=oqamldebug-0.9.2.tar.gz [00001_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00002_godi-ocamlnet-gtk2] name=godi-ocamlnet-gtk2 version=2.2.9godi1 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=2081 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlnet-2.2.9.tar.gz [00003_godi-wdialog] name=godi-wdialog version=2.1.3 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=3123 date=Sun, 01 Aug 2010 23:33:12 +0000 rel_by=gerd section=3.11 distfiles=wdialog-2.1.3.tar.gz [00004_godi-ott] name=godi-ott version=0.20.3 comment=Tool=20for=20the=20working=20semanticist=2E descr=From=20the=20Ott=20website=3A=0A=0AOtt=20is=20a=20tool=20for=20writing=20definitions=20of=20programming=20languages=20and=0Acalculi=2E=20It=20takes=20as=20input=20a=20definition=20of=20a=20language=20syntax=20and=0Asemantics=2C=20in=20a=20concise=20and=20readable=20ASCII=20notation=20that=20is=20close=20to=0Awhat=20one=20would=20write=20in=20informal=20mathematics=2E=20It=20generates=20LaTeX=20to=0Abuild=20a=20typeset=20version=20of=20the=20definition=2C=20and=20Coq=2C=20HOL=2C=20and=20Isabelle=0Aversions=20of=20the=20definition=2E=20Additionally=2C=20it=20can=20be=20run=20as=20a=20filter=2C=0Ataking=20a=20LaTeX=2FCoq=2FIsabelle=2FHOL=20source=20file=20with=20embedded=20=28symbolic=29=0Aterms=20of=20the=20defined=20language=2C=20parsing=20them=20and=20replacing=20them=20by=0Atarget=2Dsystem=20terms=2E=20For=20a=20simple=20example=2C=20here=20is=20an=20Ott=20source=20file=0Afor=20an=20untyped=20call=2Dby=2Dvalue=20lambda=20calculus=20=28test10=2Eott=29=2C=20and=20the=0Agenerated=20LaTeX=20=28compiled=20to=20pdf=29=20and=20=28compiled=20to=20ps=29=2C=20Coq=2C=20Isabelle=2C=0Aand=20HOL=20definitions=2E=0A=0AMost=20simply=2C=20the=20tool=20can=20be=20used=20to=20aid=20completely=20informal=20LaTeX=0Amathematics=2E=20Here=20it=20permits=20the=20definition=2C=20and=20terms=20within=20proofs=0Aand=20exposition=2C=20to=20be=20written=20in=20a=20clear=2C=20editable=2C=20ASCII=20notation=2C=0Awithout=20LaTeX=20noise=2E=20It=20generates=20good=2Dquality=20typeset=20output=2E=20By=0Aparsing=20=28and=20so=20sort=2Dchecking=29=20this=20input=2C=20it=20quickly=20catches=20a=20range=0Aof=20simple=20errors=2C=20e=2Eg=2E=20inconsistent=20use=20of=20judgement=20forms=20or=0Ametavariable=20naming=20conventions=2E=0A=0AThat=20same=20input=20can=20be=20used=20to=20generate=20formal=20definitions=2C=20for=20Coq=2C=0AHOL=2C=20and=20Isabelle=2E=20It=20should=20thereby=20enable=20a=20smooth=20transition=0Abetween=20use=20of=20informal=20and=20formal=20mathematics=2E=20Additionally=2C=20the=20tool=0Acan=20automatically=20generate=20definitions=20of=20functions=20for=20free=0Avariables=2C=20single=20and=20multiple=20substitutions=2C=20subgrammar=20checks=0A=28e=2Eg=2E=20for=20value=20subgrammars=29=2C=20and=20binding=20auxiliary=20functions=2E=20=28At=0Apresent=20only=20a=20fully=20concrete=20representation=20of=20binding=20is=20supported=2C=0Awithout=20quotienting=20by=20alpha=20equivalence=2E=29=0A maintainer=Prashanth=20Mundkur=20=3Cprashanth=2Emundkur=40gmail=2Ecom=3E homepage=http://www.cl.cam.ac.uk/~pes20/ott/ svn_path=trunk/godi/godi-ott svn_rev=3554 date=Fri, 22 Jul 2011 16:18:15 +0000 rel_by=pmundkur section=3.11 distfiles=ott_distro_0.20.3.tar.gz [00005_godi-ocaml-dbm] name=godi-ocaml-dbm version=3.11.2 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=trunk311/godi/godi-ocaml-dbm svn_rev=2995 date=Mon, 26 Apr 2010 14:43:19 +0000 rel_by=gerd section=3.11 [00006_godi-ocs] name=godi-ocs version=1.0.1godi1 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=3510 date=Wed, 13 Jul 2011 21:14:50 +0000 rel_by=gerd section=3.11 distfiles=ocs-1.0.1.tar.gz [00007_godi-menhir] name=godi-menhir version=20120123 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=3753 date=Mon, 23 Jan 2012 11:02:45 +0000 rel_by=fpottier section=3.11 distfiles=menhir-20120123.tar.gz [00008_apps-godiva] name=apps-godiva version=0.9.7 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=2310 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=godiva-0.9.7.tar.gz [00009_apps-coq] name=apps-coq version=8.3.4godi1 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=3902 date=Mon, 14 May 2012 15:57:21 +0000 rel_by=prevosto section=3.11 distfiles=coq-8.3pl4.tar.gz [00010_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=cryptgps-0.2.1.tar.gz [00011_apps-why3] name=apps-why3 version=0.72 comment=Next=20generation=20of=20software=20verification=20platform=20Why descr=Why3=20is=20a=20software=20verification=20tool=2E=20It=20generates=20proof=20obligations=20for=20=0Avarious=20proof=20assistant=20and=20automated=20theorem=20provers=2E=20It=20is=20the=20next=20=0Ageneration=20of=20the=20Why=20tool=2E=20Improvements=20with=20respect=20to=20Why=20include=20=0Anumerous=20extensions=20to=20the=20input=20language=2C=20a=20better=20architecture=20for=20calling=0Aexternal=20provers=2C=20and=20a=20well=2Ddesigned=20API=20to=20use=20Why3=20as=20a=20software=20library=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://gforge.inria.fr/projects/why3 svn_path=trunk/apps/apps-why3 svn_rev=3902 date=Mon, 14 May 2012 15:57:21 +0000 rel_by=prevosto section=3.11 distfiles=why3-0.72.tar.gz [00012_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00013_base-pcre] name=base-pcre version=7.7godi1 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=2184 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=pcre-7.7.tar.gz [00014_godi-ocaml-src] name=godi-ocaml-src version=3.11.2godi1 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=trunk311/godi/godi-ocaml-src svn_rev=3433 date=Wed, 04 May 2011 07:50:26 +0000 rel_by=prevosto section=3.11 distfiles=ocaml-3.11.2.tar.gz [00015_godi-ounit] name=godi-ounit version=1.1.0 comment=Unit=20test=20framework=20for=20OCaml descr=OUnit=20is=20a=20unit=20test=20framework=20for=20OCaml=20by=20Maas=2DMaarten=20Zeeman=20and=20Sylvain=20Le=20Gall=2E=20=20=20=0A=0AOUnit=20is=20based=20on=20HUnit=2C=20a=20unit=20testing=20framework=20for=20Haskell=2E=20=20=0A=0AMore=20information=20can=20be=20found=20at=20the=20homepage=3A=0Ahttp=3A=2F=2Founit=2Eforge=2Eocamlcore=2Eorg=2F maintainer=Sylvain=20Le=20Gall=20=3Cgildor=40debian=2Eorg=3E homepage=http://ounit.forge.ocamlcore.org/ svn_path=trunk/godi/godi-ounit svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=ounit-1.1.0.tar.gz [00016_godi-oni] name=godi-oni version=1.00godi8 comment=Oni=20=2D=20assorted=20components=20for=20low=2Dlevel=20networking descr==3D=3D=3D=3D=3D=20Oni=20=3D=3D=3D=3D=3D=0A=0AOni=20is=20an=20assortment=20of=20Objective=20Caml=20libraries=20of=20general=20interest=20and=20also=0Aspecifically=20for=20developing=20new=20Internet=20application=20layer=20protocols=2E=20=28Formerly=0Aknown=20as=20OCaml=20NAE=20on=20sourceforge=2Enet=29=0A=0AHighlighted=20features=20include=3A=0A=0A=2D=20Functional=20streams=20and=20stream=20processors=20=28extended=29=2E=0A=2D=20Functional=20bootstrapped=20skew=2Dbinomial=20heap=2E=0A=2D=20Functional=20red=2Dblack=20binary=20tree=20=28associative=20array=29=2E=0A=2D=20Functional=20sets=20based=20on=20red=2Dblack=20binary=20tree=2E=0A=2D=20Functional=20real=2Dtime=20catenable=20deque=2E=0A=2D=20Functional=20LL=28x=29=20parsing=20using=20state=2Dexception=20monad=2E=0A=2D=20Functional=20lazy=20deterministic=20finite=20automaton=20=28DFA=29=2E=0A=2D=20Functional=20lexical=20analyzer=20=28using=20lazy=20DFA=20and=20monadic=20parser=29=2E=0A=2D=20Functional=20substring=20list=20manipulation=20=28message=20buffer=20chains=29=2E=0A=2D=20Gregorian=20calendar=20date=20manipulation=2E=0A=2D=20Standard=20time=20manipulation=2E=0A=2D=20System=20time=20in=20Temps=20Atomique=20International=20=28TAI=29=2E=0A=2D=20Unicode=20transcoding=2E=0A=2D=20Universal=20resource=20identifier=20=28URI=29=20manipulation=2E=0A=2D=20Extended=20socket=20interface=20=28supports=20more=20options=2C=20and=20UDP=20w=2Fmulticast=29=2E=0A=2D=20I=2FO=20event=20multiplexing=20=28with=20Unix=2Eselect=29=2E=0A=0AThe=20distribution=20builds=20with=20OMake=20and=20includes=20the=20following=20subpackages=3A=0A=0A=20=20oni=2Ecf=20=20=20=20=2D=20Core=20foundation=20=5Bincluded=20by=20default=5D=0A=20=20oni=2Enx=20=20=20=20=2D=20Extended=20socket=20interface=0A=20=20oni=2Eiom=20=20=20=2D=20I=2FO=20event=20multiplexing=0A=0A=0A=2D=2Dj=20h=20woodyatt=20=3Cjhw=40conjury=2Eorg=3E=0A=20=20San=20Francisco=2C=20CA=0A maintainer=james=20woodyatt=20=3Cjhw=40conjury=2Eorg=3E homepage=https://bitbucket.org/jhw/oni/ svn_path=trunk/godi/godi-oni svn_rev=3241 date=Mon, 22 Nov 2010 17:21:21 +0000 rel_by=jhw section=3.11 distfiles=oni-1.00rc8.tar.bz2 [00017_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=dose2-1.1.tar.gz [00018_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=expat-1.95.7.tar.gz [00019_godi-ocamlsdl] name=godi-ocamlsdl version=0.7.2godi3 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=2244 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlsdl-0.7.2.tar.gz [00020_godi-ulex] name=godi-ulex version=1.0 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=trunk311/godi/godi-ulex svn_rev=2443 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ulex-1.0.tar.gz [00021_godi-flexdll] name=godi-flexdll version=0.25godi1 comment=flexdll=20emulates=20Unix=2Dstyle=20dynamic=20linking=20on=20Win32 descr=Note=3A=20flexdll=20is=20only=20available=20for=20Windows=20platforms=21=0A=0AUnder=20Windows=2C=20DLL=20=28Dynamically=2DLinked=20Libraries=29=20are=20generally=20used=0Ato=20improve=20code=20modularity=20and=20sharing=2E=20A=20DLL=20can=20be=20loaded=0Aautomatically=20when=20the=20program=20is=20loaded=20=28if=20it=20requires=20the=20DLL=29=2E=20The=0Aprogram=20can=20also=20explicitly=20request=20Windows=20to=20load=20a=20DLL=20at=20any=0Amoment=20during=20runtime=2C=20using=20the=20LoadLibrary=20function=20from=20the=20Win32=0AAPI=2E=0A=0AThis=20naturally=20suggests=20to=20use=20DLLs=20as=20a=20plugin=20mechanism=2E=20For=0Ainstance=2C=20a=20web=20server=20could=20load=20extensions=20modules=20stored=20in=20DLLs=20at=0Aruntime=2E=20But=20Windows=20does=20not=20really=20make=20it=20easy=20to=20implement=20plugins=0Athat=20way=2E=20The=20reason=20is=20that=20when=20you=20try=20to=20create=20a=20DLL=20from=20a=20set=0Aof=20object=20files=2C=20the=20linker=20needs=20to=20resolve=20all=20the=20symbols=2C=20which=0Aleads=20to=20the=20very=20problem=20solved=20by=20FlexDLL=3A=0A=0AWindows=20DLL=20cannot=20refer=20to=20symbols=20defined=20in=20the=20main=20application=20or=0Ain=20previously=20loaded=20DLLs=2E=0A=0ASome=20usual=20solutions=20exist=2C=20but=20they=20are=20not=20very=20flexible=2E=20A=20notable=0Aexception=20is=20the=20edll=20library=20=28its=20homepage=20also=20describes=20the=20usual=0Asolutions=29=2C=20which=20follows=20a=20rather=20drastic=20approach=3B=20indeed=2C=20edll=0Aimplements=20a=20new=20dynamic=20linker=20which=20can=20directly=20load=20object=20files=0A=28without=20creating=20a=20Windows=20DLL=29=2E=0A=0AFlexDLL=20is=20another=20solution=20to=20the=20same=20problem=2E=20Contrary=20to=20edll=2C=20it=0Arelies=20on=20the=20native=20static=20and=20dynamic=20linkers=2E=20Also=2C=20it=20works=20both=0Awith=20the=20Microsoft=20environment=20=28MS=20linker=2C=20Visual=20Studio=20compilers=29=0Aand=20with=20Cygwin=20=28GNU=20linker=20and=20compilers=2C=20in=20Cygwin=20or=20MinGW=0Amode=29=2E=20Actually=2C=20FlexDLL=20implements=20mostly=20the=20usual=20dlopen=20POSIX=20API=2C=0Awithout=20trying=20to=20be=20fully=20conformant=20though=20=28e=2Eg=2E=20it=20does=20not=20respect=0Athe=20official=20priority=20ordering=20for=20symbol=20resolution=29=2E=20This=20should=0Amake=20it=20easy=20to=20port=20applications=20developped=20for=20Unix=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://alain.frisch.fr/flexdll.html svn_path=trunk/godi/godi-flexdll svn_rev=3155 date=Wed, 25 Aug 2010 08:29:02 +0000 rel_by=gerd section=3.11 distfiles=flexdll-0.25.tar.gz [00022_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00023_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=camlidl-1.05.tar.gz distfiles=camlidl-1.05.doc.pdf [00024_apps-oqamldebug] name=apps-oqamldebug version=0.0.0 comment=Graphical=20front=2Dend=20to=20ocamldebug descr=Features=3A=0A=20=20=20=20=2A=20Emulates=20only=20the=20emacs=20mode=20from=20OCamlDebug=2C=20does=20not=20need=20any=20hooks=20into=20ocaml=20core=2E=0A=20=20=20=20=2A=20Full=20Qt=20application=3A=20can=20be=20compiled=20on=20Windows=2C=20MacOS=20and=20Linux=0A=20=20=20=20=2A=20Save=2FRestore=20of=20window=20position=2C=20and=20debug=20parameter=2E=0A=20=20=20=20=2A=20Detection=20of=20the=20modification=20of=20the=20debugged=20application=20or=20sources=2E=20=28automatically=20reloaded=20when=20modifed=29=0A=20=20=20=20=2A=20Syntax=20highlighting=20of=20ocamldebug=20command=20and=20ocaml=20sources=2E=0A=20=20=20=20=2A=20Persistent=20command=20line=20history=0A=20=20=20=20=2A=20Mouse=20support=3A=20middle=20click=20on=20a=20symbol=20in=20the=20code=20to=20print=20it=2C=20and=20mouse=20wheel=20to=20step=2Fbackstep=20through=20the=20code=2E=0A=20=20=20=20=2A=20Setting=20breakpoints=20directly=20into=20the=20source=20code=2E=0A=0AOQamlDebug=20needs=20Qt4=20to=20be=20generated=2E=20Qt4=20can=20be=20downloaded=20from=20http=3A=2F=2Fqt=2Dproject=2Eorg=2E=0AOn=20debian=20install=20simply=20qt4=2Ddev=20package=2E=2E=0A maintainer=sebastien=2Efricker=40gmail=2Ecom homepage=http://oqamldebug.forge.ocamlcore.org/ svn_path=trunk/apps/apps-oqamldebug svn_rev=4180 date=Tue, 14 Aug 2012 18:52:22 +0000 rel_by=testcocoon section=3.11 distfiles=oqamldebug-0.0.0.tar.gz [00025_godi-bitstring] name=godi-bitstring version=2.0.2 comment=Erlang=2Dstyle=20bitstrings=20and=20matching=20over=20bitstrings=20as=20a=20syntax=20extension descr=The=20ocaml=2Dbitstring=20project=20adds=20Erlang=2Dstyle=20bitstrings=20and=20matching=20over=0A=20bitstrings=20as=20a=20syntax=20extension=20and=20library=20for=20OCaml=2E=0A=0A=28This=20project=20was=20formerly=20known=20as=20=22bitmatch=22=29=2E=0A=0AYou=20can=20use=20this=20module=20to=20both=20parse=20and=20generate=20binary=20formats=2C=0A=20files=20and=20protocols=2E=0A=0ABitstring=20handling=20is=20added=20as=20primitives=20to=20the=20language=2C=0A=20making=20it=20exceptionally=20simple=20to=20use=20and=20very=20powerful=2E=20=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://code.google.com/p/bitstring/ svn_path=trunk/godi/godi-bitstring svn_rev=3025 date=Mon, 22 Mar 2010 12:55:10 +0000 rel_by=cauger section=3.11 distfiles=ocaml-bitstring-2.0.2.tar.gz [00026_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=godi-core-mk-1.2.19.tar.gz [00027_conf-expat] name=conf-expat version=7 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=3091 date=Thu, 01 Jul 2010 12:39:53 +0000 rel_by=gerd section=3.11 [00028_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00029_godi-atdgen] name=godi-atdgen version=1.2.2 comment=Code=20generator=20for=20biniou=20and=20JSON=20serialization descr=Atdgen=20is=20a=20command=2Dline=20program=20that=20takes=20as=20input=20type=20definitions=20in=0Athe=20ATD=20syntax=20and=20produces=20OCaml=20code=20suitable=20for=20data=20serialization=20and=0Adeserialization=2E=20Two=20data=20formats=20are=20currently=20supported=2C=20these=20are=20biniou=0Aand=20JSON=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://oss.wink.com/atdgen/ svn_path=trunk/godi/godi-atdgen svn_rev=3695 date=Tue, 18 Oct 2011 22:14:08 +0000 rel_by=mjambon section=3.11 distfiles=atdgen-1.2.2.tar.gz [00030_godi-gpr] name=godi-gpr version=0.9.6godi1 comment=Gaussian=20process=20regression=20in=20OCaml descr=Gaussian=20process=20regression=20in=20OCaml=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.ocaml.info/ocaml_sources/ svn_path=trunk311/godi/godi-gpr svn_rev=2964 date=Mon, 08 Feb 2010 20:53:08 +0000 rel_by=mottl section=3.11 distfiles=gpr-0.9.6.tar.gz [00031_apps-nurpawiki] name=apps-nurpawiki version=1.2.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=2373 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=nurpawiki-1.2.2.tar.gz [00032_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=schoca-0.2.3.tar.bz2 [00033_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00034_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00035_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00036_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=pkglab-1.1.tar.gz [00037_godi-ocaml-expect] name=godi-ocaml-expect version=0.0.2 comment=Expect=2Dlike=20framework descr=This=20is=20a=20simple=20implementation=20of=20=60expect=60=20to=20help=20building=20unitary=20testing=20of=0Ainteractive=20program=2E=0A=0AYou=20can=20match=20the=20question=20using=20a=20regular=20expression=20or=20a=20timeout=2E=0A=0ASee=20the=20Expect=20manual=20for=20more=20information=3A=0Ahttp=3A=2F=2Fexpect=2Enist=2Egov=2F=0A maintainer=Sylvain=20Le=20Gall=20=3Cgildor=40debian=2Eorg=3E homepage=http://forge.ocamlcore.org/projects/ocaml-expect/ svn_path=trunk/godi/godi-ocaml-expect svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=ocaml-expect-0.0.2.tar.gz [00038_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=extlib-1.5.1.tar.gz [00039_godi-bindlib] name=godi-bindlib version=3.2 comment=library=20and=20camlp4=20extension=20for=20data=2Dstructures=20with=20bound=20variables descr=library=20and=20camlp4=20extension=20for=20data=2Dstructures=20with=20bound=20variables=0A maintainer=christophe=2Eraffalli=40univ=2Dsavoie=2Efr homepage=http://www.lama.univ-savoie.fr/~raffalli/bindlib.html svn_path=trunk/godi/godi-bindlib svn_rev=2455 date=Mon, 12 Jan 2009 21:22:15 +0000 rel_by=craff section=3.11 distfiles=bindlib-3.2.ocaml.tar.gz [00040_apps-aifad] name=apps-aifad version=1.0.32 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=2958 date=Fri, 22 Jan 2010 05:23:51 +0000 rel_by=mottl section=3.11 distfiles=aifad-1.0.32.tar.gz [00041_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=lua-ml-20060829.tar.gz [00042_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=getopt-20040420.tar.gz [00043_godi-json-static] name=godi-json-static version=0.9.8godi1 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/json-static.html svn_path=trunk/godi/godi-json-static svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=json-static-0.9.8.tar.gz [00044_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00045_godi-tophide] name=godi-tophide version=1.0.0godi1 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=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=tophide-1.0.0.tar.gz [00046_apps-unison] name=apps-unison version=2.40.63 comment=File=20synchronizer descr=The=20Unison=20file=20synchronizer=0A maintainer=virgile=2Eprevosto=40m4x=2Eorg homepage=http://www.seas.upenn.edu/~bcpierce/unison/ svn_path=trunk/apps/apps-unison svn_rev=3789 date=Thu, 23 Feb 2012 18:16:26 +0000 rel_by=prevosto section=3.11 distfiles=unison-2.40.63.tar.gz [00047_godi-ocamlduce] name=godi-ocamlduce version=3.11.2.0 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=Mike=20Furr=20=3Cfurr=40cs=2Eumd=2Eedu=3E homepage=http://www.cduce.org/ocaml svn_path=trunk311/godi/godi-ocamlduce svn_rev=3103 date=Tue, 06 Jul 2010 10:56:02 +0000 rel_by=gerd section=3.11 distfiles=ocamlduce-3.11.2.0.tar.gz [00048_godi-pomap] name=godi-pomap version=2.9.8 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=2062 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=pomap-2.9.8.tar.gz [00049_apps-hevea] name=apps-hevea version=1.10 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=trunk/apps/apps-hevea svn_rev=1926 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=hevea-1.10.tar.gz distfiles=hevea-1.10-manual.tar.gz [00050_godi-janestreet-fieldslib] name=godi-janestreet-fieldslib version=0.1.0godi1 comment=Jane=20Street=20Capital=20fieldslib=20library descr=Jane=20Street=20Fieldslib=20preprocessor=20for=20generating=20record=20functions=0A maintainer=Ralph=20Douglass=20=3Crdouglass=40janestreet=2Ecom=3E homepage=http://ocaml.janestreet.com/ svn_path=trunk311/godi/godi-janestreet-fieldslib svn_rev=2876 date=Thu, 08 Oct 2009 16:36:17 +0000 rel_by=mottl section=3.11 distfiles=fieldslib-0.1.0.tgz [00051_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00052_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=planets-0.1.12.tgz [00053_godi-ocamlgraph] name=godi-ocamlgraph version=1.8.2 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=3902 date=Mon, 14 May 2012 15:57:21 +0000 rel_by=prevosto section=3.11 distfiles=ocamlgraph-1.8.2.tar.gz [00054_apps-ocamlify] name=apps-ocamlify version=0.0.1 comment=include=20files=20in=20OCaml=20code descr=OCamlify=20allows=20to=20create=20OCaml=20source=20code=20by=20including=20whole=20files=20into=20OCaml=0Astring=20or=20string=20list=2E=20The=20code=20generated=20can=20be=20compiled=20as=20a=20standard=20OCaml=0Afile=2E=20It=20allows=20embedding=20external=20resources=20as=20OCaml=20code=2E=0A maintainer=Sylvain=20Le=20Gall=20=3Cgildor=40debian=2Eorg=3E homepage=http://forge.ocamlcore.org/projects/ocamlify svn_path=trunk/apps/apps-ocamlify svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=ocamlify-0.0.1.tar.gz [00055_godi-camomile] name=godi-camomile version=0.7.1godi7 comment=Camomile=20is=20a=20comprehensive=20Unicode=20library=20for=20OCaml=2E descr=Camomile=20provides=20Unicode=20character=20type=2C=20UTF=2D8=2C=20UTF=2D16=2C=20UTF=2D32=20strings=2C=0Aconversion=20to=2Ffrom=20about=20200=20encodings=2C=20collation=20and=20locale=2Dsensitive=20case=0Amappings=2C=20and=20more=20 maintainer=David=20Teller=20=3CDavid=2ETeller=40univ=2Dorleans=2Efr=3E homepage=http://camomile.sourceforge.net/ svn_path=trunk/godi/godi-camomile svn_rev=2364 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=camomile-0.7.1.tar.bz2 [00056_godi-pgocaml] name=godi-pgocaml version=1.4godi2 comment=type=2Dsafe=20interface=20to=20PostgreSQL descr=PGOCaml=20is=20a=20type=2Dsafe=20library=20for=20accessing=20PostgreSQL=20databases=2E=0AIt=20connects=20to=20the=20database=20at=20compile=20time=20to=20infer=20types=20of=20queries=0Aso=20that=20programs=20can=20be=20type=2Dchecked=20against=20it=2E=0A maintainer=Michael=20Ekstrand=20=3Cmichael=40elehack=2Enet=3E homepage=http://pgocaml.berlios.de svn_path=trunk/godi/godi-pgocaml svn_rev=3360 date=Fri, 04 Feb 2011 16:17:12 +0000 rel_by=elehack section=3.11 distfiles=pgocaml-1.4.tgz [00057_apps-bigbro] name=apps-bigbro version=2.0.4godi4 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=2090 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=bigbro-2.0.4-rev3.tar.gz [00058_godi-findlib] name=godi-findlib version=1.2.8 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=3794 date=Fri, 24 Feb 2012 19:22:42 +0000 rel_by=gerd section=3.11 distfiles=findlib-1.2.8.tar.gz [00059_godi-fftw] name=godi-fftw version=0.1godi4 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=40mjambon=2Ecom=3E homepage=http://math.umh.ac.be/an/software.php svn_path=trunk/godi/godi-fftw svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=fftw.tgz [00060_godi-sexplib] name=godi-sexplib version=5.1.0godi1 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=2E=20=20This=20is=20the=20version=20for=20OCaml=203=2E10=20and=20later=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://ocaml.janestcapital.com svn_path=trunk311/godi/godi-sexplib svn_rev=3061 date=Sun, 23 May 2010 02:38:47 +0000 rel_by=mottl section=3.11 distfiles=sexplib310-5.1.0.tar.gz [00061_godi-janestreet-core] name=godi-janestreet-core version=0.6.0godi4 comment=Jane=20Street=20Capital=20standard=20library=20overlay descr=Jane=20Street=20Core=20library=0A maintainer=Owen=20Gunden=20=3Cogunden=40phauna=2Eorg=3E homepage=http://ocaml.janestreet.com/ svn_path=trunk311/godi/godi-janestreet-core svn_rev=3057 date=Fri, 14 May 2010 04:12:09 +0000 rel_by=mottl section=3.11 distfiles=core-0.6.0.tgz [00062_godi-syslog] name=godi-syslog version=1.2godi1 comment=syslog=20client descr=This=20is=20a=20syslog=20client=20implementation=0A maintainer=eric=2Estokes=40csun=2Eedu homepage=http://www.csun.edu/~eric/syslog/ svn_path=trunk/godi/godi-syslog svn_rev=916 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=syslog-1.2.tar.gz [00063_godi-findlib-browser] name=godi-findlib-browser version=0.2.3 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=3129 date=Mon, 02 Aug 2010 01:03:41 +0000 rel_by=gerd section=3.11 distfiles=findlib-browser-0.2.3.tar.gz [00064_apps-oqamldebug] name=apps-oqamldebug version=0.9.1 comment=Graphical=20front=2Dend=20to=20ocamldebug descr=Features=3A=0A=20=20=20=20=2A=20Emulates=20only=20the=20emacs=20mode=20from=20OCamlDebug=2C=20does=20not=20need=20any=20hooks=20into=20ocaml=20core=2E=0A=20=20=20=20=2A=20Full=20Qt=20application=3A=20can=20be=20compiled=20on=20Windows=2C=20MacOS=20and=20Linux=0A=20=20=20=20=2A=20Save=2FRestore=20of=20window=20position=2C=20and=20debug=20parameter=2E=0A=20=20=20=20=2A=20Detection=20of=20the=20modification=20of=20the=20debugged=20application=20or=20sources=2E=20=28automatically=20reloaded=20when=20modified=29=0A=20=20=20=20=2A=20Syntax=20highlighting=20of=20ocamldebug=20command=20and=20ocaml=20sources=2E=0A=20=20=20=20=2A=20Persistent=20command=20line=20history=0A=20=20=20=20=2A=20Mouse=20support=3A=20middle=20click=20on=20a=20symbol=20in=20the=20code=20to=20print=20it=2C=20and=20mouse=20wheel=20to=20step=2Fbackstep=20through=20the=20code=2E=0A=20=20=20=20=2A=20Setting=20breakpoints=20directly=20into=20the=20source=20code=2E=0A=20=20=20=20=2A=20Watch=20window=0A=20=20=20=20=2A=20Call=20stack=20window=0A=20=20=20=20=2A=20Separated=20application=20output=20window=0A=0AOQamlDebug=20needs=20Qt4=20to=20be=20generated=2E=20Qt4=20can=20be=20downloaded=20from=20http=3A=2F=2Fqt=2Dproject=2Eorg=2E=0AOn=20debian=20install=20simply=20qt4=2Ddev=20package=2E=2E=0A=0AOn=20MacOS=20it=20is=20necessary=20to=20set=20QMAKESPEC=20as=20follow=20to=20install=20the=20package=3A=0Aexport=20QMAKESPEC=3Dmacx=2Dg=2B=2B=0A maintainer=sebastien=2Efricker=40gmail=2Ecom homepage=http://oqamldebug.forge.ocamlcore.org/ svn_path=trunk/apps/apps-oqamldebug svn_rev=4382 date=Thu, 10 Jan 2013 20:06:35 +0000 rel_by=testcocoon section=3.11 distfiles=oqamldebug-0.9.1.tar.gz [00065_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00066_apps-jsondiff] name=apps-jsondiff version=0.0.1godi1 comment=JSON=20sensitive=20diff=2E descr= maintainer=John=20Chee=20=3Cjohnchee=40mylife=2Ecom=3E homepage=http://oss.wink.com/jsondiff/ svn_path=trunk/apps/apps-jsondiff svn_rev=3318 date=Thu, 20 Jan 2011 01:47:14 +0000 rel_by=cheecheeo section=3.11 distfiles=jsondiff-0.0.1.tar.gz [00067_apps-cmigrep] name=apps-cmigrep version=1.2 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=1696 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=cmigrep-1.2.tar.bz2 [00068_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=wdialog-manual-2.1.1-html.tar.gz [00069_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=1999 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=godi-tools-1.6.1.tar.gz [00070_godi-cairo] name=godi-cairo version=1.2godi1 comment=ocaml=20binding=20for=20cairo descr=Cairo=20is=20a=202D=20graphics=20library=20with=20support=20for=20multiple=20output=20devices=2E=0A=0ACurrently=20supported=20output=20targets=20include=3A=0A=20X=2C=20Quartz=2C=20Win32=2C=20image=20buffers=2C=20PostScript=2C=20PDF=2C=20and=20SVG=20file=20output=2E=0A=0AExperimental=20backends=20include=20OpenGL=20=28through=20glitz=29=2C=20XCB=2C=20BeOS=2C=20OS=2F2=2C=0A=20and=20DirectFB=2E=0A=0AThe=20cairo=20API=20provides=20operations=20similar=20to=20the=20drawing=20operators=0A=20of=20PostScript=20and=20PDF=2E=0A=0AOperations=20in=20cairo=20including=20stroking=20and=20filling=20cubic=20B=C3=A9zier=20splines=2C=0A=20transforming=20and=20compositing=20translucent=20images=2C=0A=20and=20antialiased=20text=20rendering=2E=0A=0AAll=20drawing=20operations=20can=20be=20transformed=20by=20any=20affine=20transformation=0A=20=28scale=2C=20rotation=2C=20shear=2C=20etc=2E=29=0A=0ACairo=20is=20free=20software=20and=20is=20available=20to=20be=20redistributed=0A=20and=2For=20modified=20under=20the=20terms=20of=0A=20either=20the=20GNU=20Lesser=20General=20Public=20License=20=28LGPL=29=20version=202=2E1=0A=20or=20the=20Mozilla=20Public=20License=20=28MPL=29=20version=201=2E1=20at=20your=20option=2E=0A=0Asee=2C=20http=3A=2F=2Fcairographics=2Eorg=2F=0A=0AN=2EB=2E=20automake=20suite=20is=20required=20to=20compile=20this=20package=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://cairographics.org/cairo-ocaml/ svn_path=trunk/godi/godi-cairo svn_rev=3025 date=Mon, 22 Mar 2010 13:06:15 +0000 rel_by=cauger section=3.11 distfiles=ocaml-cairo-1.2.tar.gz [00071_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=annexlib-0.13.5.tar.gz [00072_godi-orm] name=godi-orm version=0.5 comment=Object=20Relational=20Mapper=20extension descr= maintainer=Thomas=20Gazagnaire=20=3Cmirage=40recoil=2Ecom=3E homepage=http://github.com/mirage/orm svn_path=trunk311/godi/godi-orm svn_rev=3001 date=Fri, 19 Feb 2010 13:55:10 +0000 rel_by=samoht section=3.11 distfiles=mirage-orm-3c0a0e5.tar.gz [00073_godi-lacaml] name=godi-lacaml version=5.4.8godi1 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=3238 date=Mon, 22 Nov 2010 04:35:46 +0000 rel_by=mottl section=3.11 distfiles=lacaml-5.4.8.tar.gz [00074_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-expat-0.9.1.tar.gz [00075_apps-obrowser] name=apps-obrowser version=1.1godi4 comment=OCaml=20bytecode=20interpreter=20in=20Javascript descr=O=27Browser=20is=20an=20OCaml=20virtual=20machine=20written=20in=20Javascript=2C=20to=20run=20=0AOCaml=20program=20in=20browsers=21=20It=20is=20independant=20from=20Eliom=20and=20Ocsigen=27s=0Aserver=2E=20You=20can=20use=20it=20with=20any=20Web=20server=2E=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://ocsigen.org/obrowser svn_path=trunk311/apps/apps-obrowser svn_rev=3296 date=Tue, 04 Jan 2011 16:02:55 +0000 rel_by=jmaloberti section=3.11 distfiles=obrowser-1.1.tar.gz [00076_godi-ocamlbuild-manual] name=godi-ocamlbuild-manual version=200702 comment=The=20manual=20for=20ocamlbuild descr=The=20ocamlbuild=20users=27=20manual=20by=20Berke=20Durak=20and=20Nicolas=20Poillard=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://gallium.inria.fr/~pouillar/ svn_path=trunk311/godi/godi-ocamlbuild-manual svn_rev=2443 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlbuild-user-guide-Feb07.tar.gz [00077_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=lablgtksourceview-0.2.1.tar.gz [00078_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=Tue, 09 Feb 2010 21:29:25 +0000 rel_by=jmaloberti section=3.11 distfiles=curl-7.14.0.tar.gz [00079_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ceve-1.0.1.tar.gz [00080_apps-oasis] name=apps-oasis version=0.2.0 comment=Architecture=20for=20building=20OCaml=20libraries=20and=20applications descr=OASIS=20is=20a=20Cabal=20like=20system=20for=20OCaml=2C=20It=20uses=20findlib=20for=20libraries=20and=0Aocamlbuild=20for=20building=2E=0A=0AIt=20helps=20to=20create=20a=20full=20and=20portable=20build=20system=20for=20OCaml=20libraries=20and=0Aapplications=3A=0A=2A=20configure=3A=20check=20build=20environment=0A=2A=20build=0A=2A=20install=2Funinstall=0A=0APlanned=20supported=20build=20tool=3A=20OMake=20and=20OCamlMakefile=0A maintainer=Sylvain=20Le=20Gall=20=3Cgildor=40debian=2Eorg=3E homepage=http://oasis.forge.ocamlcore.org svn_path=trunk/apps/apps-oasis svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=oasis-0.2.0.tar.gz [00081_apps-tdir] name=apps-tdir version=1.1.1godi5 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=2744 date=Fri, 19 Jun 2009 20:20:21 +0000 rel_by=gerd section=3.11 distfiles=tdir-1.1.1.tar.bz2 [00082_apps-felix] name=apps-felix version=1.1.1godi1 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=2016 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=flx_1.1.1_src.tgz [00083_apps-umlmon] name=apps-umlmon version=1.0.5 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=2108 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=umlmon-1.0.5.tar.gz [00084_godi-ocamlmpi] name=godi-ocamlmpi version=1.01 comment=MPI=20bindings=20for=20OCaml=2E descr=Caml=20bindings=20for=20a=20large=20subset=20of=20MPI=20functions=2E=20MPI=20is=20a=20standard=0Ainterface=20for=20distributed=2Dmemory=20parallel=20programming=20in=20SPMD=20=28single=0Aprogram=2C=20multiple=20data=29=20style=2C=20offering=20both=20point=2Dto=2Dpoint=20message=20passing=0Aand=20group=20communication=20operations=2E=20 maintainer=Hezekiah=20M=2E=20Carty=20=3Chcarty=400ok=2Eorg=3E homepage=http://ocamlmpi.forge.ocamlcore.org/ svn_path=trunk/godi/godi-ocamlmpi svn_rev=3199 date=Sun, 17 Oct 2010 16:03:14 +0000 rel_by=hcarty section=3.11 distfiles=ocamlmpi-1.01.tar.gz [00085_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=re.tar.gz [00086_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ansicolor-0.5.tar.gz [00087_conf-pcre] name=conf-pcre version=6 comment=Configures=20which=20pcre=20library=20to=20use descr=This=20package=20configures=20where=20the=20PCRE=20library=20is=20found=2E=0A maintainer=markus=2Emottl=40gmail=2Ecom homepage=n/a svn_path=trunk/conf/conf-pcre svn_rev=1493 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00088_apps-oqamldebug] name=apps-oqamldebug version=0.9.1 comment=Graphical=20front=2Dend=20to=20ocamldebug descr=Features=3A=0A=20=20=20=20=2A=20Emulates=20only=20the=20emacs=20mode=20from=20OCamlDebug=2C=20does=20not=20need=20any=20hooks=20into=20ocaml=20core=2E=0A=20=20=20=20=2A=20Full=20Qt=20application=3A=20can=20be=20compiled=20on=20Windows=2C=20MacOS=20and=20Linux=0A=20=20=20=20=2A=20Save=2FRestore=20of=20window=20position=2C=20and=20debug=20parameter=2E=0A=20=20=20=20=2A=20Detection=20of=20the=20modification=20of=20the=20debugged=20application=20or=20sources=2E=20=28automatically=20reloaded=20when=20modified=29=0A=20=20=20=20=2A=20Syntax=20highlighting=20of=20ocamldebug=20command=20and=20ocaml=20sources=2E=0A=20=20=20=20=2A=20Persistent=20command=20line=20history=0A=20=20=20=20=2A=20Mouse=20support=3A=20middle=20click=20on=20a=20symbol=20in=20the=20code=20to=20print=20it=2C=20and=20mouse=20wheel=20to=20step=2Fbackstep=20through=20the=20code=2E=0A=20=20=20=20=2A=20Setting=20breakpoints=20directly=20into=20the=20source=20code=2E=0A=20=20=20=20=2A=20Watch=20window=0A=20=20=20=20=2A=20Call=20stack=20window=0A=20=20=20=20=2A=20Separated=20application=20output=20window=0A=0AOQamlDebug=20needs=20Qt4=20to=20be=20generated=2E=20Qt4=20can=20be=20downloaded=20from=20http=3A=2F=2Fqt=2Dproject=2Eorg=2E=0AOn=20debian=20install=20simply=20qt4=2Ddev=20package=2E=2E=0A=0AOn=20MacOS=20it=20is=20necessary=20to=20set=20QMAKESPEC=20as=20follow=20to=20install=20the=20package=3A=0Aexport=20QMAKESPEC=3Dmacx=2Dg=2B=2B=0A maintainer=sebastien=2Efricker=40gmail=2Ecom homepage=http://oqamldebug.forge.ocamlcore.org/ svn_path=trunk/apps/apps-oqamldebug svn_rev=4382 date=Thu, 10 Jan 2013 20:25:55 +0000 rel_by=testcocoon section=3.11 distfiles=oqamldebug-0.9.1.tar.gz [00089_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=godi-pkg_install-20050829.tar.gz [00090_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=zenon-0.5.0.tar.gz [00091_apps-why3] name=apps-why3 version=0.72 comment=Next=20generation=20of=20software=20verification=20platform=20Why descr=Why3=20is=20a=20software=20verification=20tool=2E=20It=20generates=20proof=20obligations=20for=20=0Avarious=20proof=20assistant=20and=20automated=20theorem=20provers=2E=20It=20is=20the=20next=20=0Ageneration=20of=20the=20Why=20tool=2E=20Improvements=20with=20respect=20to=20Why=20include=20=0Anumerous=20extensions=20to=20the=20input=20language=2C=20a=20better=20architecture=20for=20calling=0Aexternal=20provers=2C=20and=20a=20well=2Ddesigned=20API=20to=20use=20Why3=20as=20a=20software=20library=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://gforge.inria.fr/projects/why3 svn_path=trunk/apps/apps-why3 svn_rev=3902 date=Mon, 14 May 2012 15:57:21 +0000 rel_by=prevosto section=3.11 distfiles=why3-0.72.tar.gz [00092_godi-caml2html] name=godi-caml2html version=1.4.1godi1 comment=HTML=20and=20LaTeX=20colored=20syntax=20from=20OCaml=20source=20files descr=Caml2html=20provides=20a=20command=2Dline=20executable=20which=20converts=20a=20set=20of=20OCaml=0Asource=20files=20into=20a=20HTML=20or=20LaTeX=20document=20with=20colored=20syntax=2E=20A=20library=0Ais=20also=20provided=20for=20building=20web=2Dpage=20generators=20that=20would=20color=20OCaml=0Acode=20appropriately=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/caml2html.html svn_path=trunk/godi/godi-caml2html svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=caml2html-1.4.1.tar.gz [00093_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=headache-1.03.tar.gz [00094_godi-shcaml] name=godi-shcaml version=0.1.3 comment=Caml=2DShcaml=20is=20an=20Ocaml=20library=20for=20UNIX=20shell=20programming descr=Caml=2DShcaml=20brings=20high=2Dlevel=20abstractions=20for=20Unix=20systems=20and=20shell=0Aprogramming=20to=20OCaml=2E=20In=20particular=2C=20it=20takes=20advantage=20of=20OCaml=27s=20type=0Asystem=20to=20offer=20statically=2Dchecked=20data=20pipelines=2E=20External=20Unix=0Aprocesses=20and=20internal=20OCaml=20stream=20transducers=20communicate=20seamlessly=0Awithin=20these=20pipelines=2E=20Shcaml=20brings=20other=20essential=20systems=20concepts=0Ainto=20the=20world=20of=20typed=20functional=20programming=20as=20well=2C=20including=0Ahigh=2Dlevel=20interfaces=20to=20Unix=20facilities=20for=20I=2FO=20redirection=2C=20signal=0Ahandling=2C=20program=20execution=2C=20and=20subprocess=20reaping=2E=20For=20more=0Ainformation=2C=20see=20http=3A=2F=2Fwww=2Eccs=2Eneu=2Eedu=2Fhome=2Ftov=2Fcode=2Fshcaml=2F=2E=0A maintainer=Jesse=20Tov=20=3Ctov=40ccs=2Eneu=2Eedu=3E homepage=http://www.ccs.neu.edu/home/tov/code/shcaml/ svn_path=trunk311/godi/godi-shcaml svn_rev=3426 date=Sun, 17 Apr 2011 02:44:22 +0000 rel_by=tov section=3.11 distfiles=shcaml-0.1.3.tar.gz [00095_godi-ocaml-manual] name=godi-ocaml-manual version=3.11 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=trunk311/godi/godi-ocaml-manual svn_rev=2443 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-3.11-refman.html.tar.gz [00096_godi-lablgtk2] name=godi-lablgtk2 version=20100909godi3 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=0A20100909=20=3D=202=2E14=2E2=0A20090925=20=3D=202=2E14=2E0=0A20081220=20=3D=202=2E12=2E0=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=3544 date=Thu, 21 Jul 2011 07:41:13 +0000 rel_by=prevosto section=3.11 distfiles=lablgtk-2.14.2.tar.gz [00097_godi-omake] name=godi-omake version=0.9.8.5godi7 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=3014 date=Fri, 12 Mar 2010 13:44:48 +0000 rel_by=gerd section=3.11 distfiles=omake-0.9.8.5-3.tar.gz [00098_godi-yojson] name=godi-yojson version=1.0.3 comment=JSON=20library=20succeeding=20to=20json=2Dwheel descr=Yojson=20is=20an=20optimized=20parsing=20and=20printing=20library=20for=20the=20JSON=20format=2E=20=0AIt=20addresses=20a=20few=20shortcomings=20of=20json=2Dwheel=20including=203x=20speed=0Aimprovement=2C=20polymorphic=20variants=20and=20optional=20syntax=20for=20tuples=20and=0Avariants=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/yojson.html svn_path=trunk/godi/godi-yojson svn_rev=3739 date=Thu, 29 Dec 2011 07:23:59 +0000 rel_by=mjambon section=3.11 distfiles=yojson-1.0.3.tar.gz [00099_godi-ocaml] name=godi-ocaml version=3.11.2godi1 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=trunk311/godi/godi-ocaml svn_rev=3433 date=Wed, 04 May 2011 07:50:26 +0000 rel_by=prevosto section=3.11 [00100_godi-ocaml-data-notation] name=godi-ocaml-data-notation version=0.0.3 comment=Store=20data=20using=20OCaml=20notation descr=This=20project=20uses=20type=2Dconv=20to=20dump=20OCaml=20data=20structure=20using=20OCaml=20data=0Anotation=2E=20This=20kind=20of=20data=20dumping=20helps=20to=20write=20OCaml=20code=20generator=2C=20like=0AOASIS=2E=0A maintainer=Sylvain=20Le=20Gall=20=3Cgildor=40debian=2Eorg=3E homepage=http://forge.ocamlcore.org/projects/odn svn_path=trunk/godi/godi-ocaml-data-notation svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=ocaml-data-notation-0.0.3.tar.gz [00101_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00102_godi-mlpost] name=godi-mlpost version=0.8.1 comment=ocaml=20interface=20for=20Metapost descr=Mlpost=20is=20an=20Objective=20Caml=20interface=20to=20Metapost=2E=0A=0A=28texlive=2Dmetapost=20and=20texlive=2Dcontext=20are=20required=29=0A=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://mlpost.lri.fr svn_path=trunk/godi/godi-mlpost svn_rev=3041 date=Wed, 02 Feb 2011 13:22:49 +0000 rel_by=jmaloberti section=3.11 distfiles=mlpost-0.8.1.tar.gz [00103_godi-camlp4-manual] name=godi-camlp4-manual version=20051029godi1 comment=The=20manuals=20for=20Camlp4 descr=The=20original=20reference=20manual=20and=20the=20tutorial=20for=20Camlp4=2E=20This=20refers=20=0Ato=20the=20Camlp4=20version=20shipped=20until=20O=27Caml=203=2E09=20=28which=20is=20still=20=0Aseparately=20available=20as=20=22Camlp5=22=29=2E=20The=20Camlp4=20version=20in=203=2E10=20was=20=0Arewritten=20from=20scratch=2E=20However=2C=20many=20of=20the=20interfaces=20and=20concepts=20=0Adescribed=20in=20this=20manual=20are=20still=20applicable=2E=0A=0AAn=20=22appendix=22=20to=20this=20manual=20is=20available=20in=20godi=2Dgallium=2Ddocs=2C=20which=20is=20=0Aa=20copy=20of=20the=20wiki=20at=20http=3A=2F=2Fbrion=2Einria=2Efr=2Fgallium=2C=20and=20these=20docs=20=0Asomehow=20describe=20the=20changes=20in=20the=20rewritten=20Camlp4=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://caml.inria.fr/ svn_path=trunk311/godi/godi-camlp4-manual svn_rev=2738 date=Fri, 19 Jun 2009 20:20:21 +0000 rel_by=gerd section=3.11 distfiles=manual-camlp4-20051029.tar.gz distfiles=tutorial-camlp4-20051029.tar.gz [00104_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamldsort-0.14.3.tar.gz [00105_godi-ocamlgsl] name=godi-ocamlgsl version=0.6.2godi1 comment=GSL=20bindings=20for=20OCaml descr=The=20GNU=20Scientific=20Library=20=28GSL=29=20is=20a=20numerical=20library=20for=20C=20and=20C=2B=2B=20=28and=0Anow=20OCaml=29=20programmers=2E=20=20The=20library=20provides=20a=20wide=20range=20of=20mathematical=0Aroutines=20such=20as=20random=20number=20generators=2C=20special=20functions=20and=0Aleast=2Dsquares=20fitting=2E=20 maintainer=Hezekiah=20M=2E=20Carty=20=3Chez=400ok=2Eorg=3E homepage=http://oandrieu.nerim.net/ocaml/ svn_path=trunk/godi/godi-ocamlgsl svn_rev=2889 date=Wed, 04 Nov 2009 20:22:54 +0000 rel_by=mottl section=3.11 distfiles=ocamlgsl-0.6.2.tar.gz [00106_godi-hydro] name=godi-hydro version=0.7.1 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=2681 date=Sun, 26 Apr 2009 13:16:09 +0000 rel_by=gerd section=3.11 distfiles=hydro-0.7.1.tar.gz [00107_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamldap-2.1.8.tar.bz2 [00108_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=xml-light-2.2.tar.gz [00109_godi-postgres-af] name=godi-postgres-af version=20040120godi1 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=2098 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=postgres-20040120.tar.gz [00110_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00111_godi-sqlite3] name=godi-sqlite3 version=1.5.7godi1 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=trunk311/godi/godi-sqlite3 svn_rev=2923 date=Sun, 20 Dec 2009 04:29:58 +0000 rel_by=mottl section=3.11 distfiles=ocaml-sqlite3-1.5.7.tar.gz [00112_godi-kaputt] name=godi-kaputt version=1.0godi1 comment=A=20unit=20testing=20tool=2E descr=Kaputt=20is=20a=20testing=20tool=20for=20the=20Objective=20Caml=20language=2E=0AFeatures=3A=0A=2D=20assertion=2Dbased=20tests=20=28xUnit=2Dlike=29=0A=2D=20specification=2Dbased=20tests=20=28QuickCheck=2Dlike=29=0A=2D=20shell=2Dbased=20tests=0A=2D=20enumeration=2Dbased=20tests=0A=2D=20reports=20in=20bare=20text=2C=20CSV=2C=20HTML=2C=20and=20XML=0A=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://kaputt.x9c.fr/index.html svn_path=trunk/godi/godi-kaputt svn_rev=3374 date=Tue, 08 Feb 2011 17:32:54 +0000 rel_by=jmaloberti section=3.11 distfiles=kaputt-1.0.tar.gz [00113_godi-ocaml-mysql] name=godi-ocaml-mysql version=1.0.4godi1 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=2016 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-mysql-1.0.4.tar.gz [00114_godi-cryptokit] name=godi-cryptokit version=1.3 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=2001 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=cryptokit-1.3.tar.gz [00115_godi-ocamlnet] name=godi-ocamlnet version=2.2.9godi7 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=2657 date=Tue, 21 Apr 2009 21:56:49 +0000 rel_by=gerd section=3.11 distfiles=ocamlnet-2.2.9.tar.gz [00116_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:22:32 +0000 rel_by=gerd section=3.11 distfiles=pxp-1.2.1.tar.gz [00117_apps-umlmon-web] name=apps-umlmon-web version=1.0.5 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=2112 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=umlmon-1.0.5.tar.gz [00118_godi-xstrp4] name=godi-xstrp4 version=1.8 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=3245 date=Tue, 30 Nov 2010 14:41:39 +0000 rel_by=gerd section=3.11 distfiles=xstrp4-1.8.tar.gz [00119_godi-lablgtk2] name=godi-lablgtk2 version=20100909godi3 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=0A20100909=20=3D=202=2E14=2E2=0A20090925=20=3D=202=2E14=2E0=0A20081220=20=3D=202=2E12=2E0=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=3544 date=Thu, 21 Jul 2011 07:41:13 +0000 rel_by=prevosto section=3.11 distfiles=lablgtk-2.14.2.tar.gz [00120_godi-bin-prot] name=godi-bin-prot version=1.2.23godi1 comment=Library=20for=20automated=20conversion=20of=20OCaml=2Dvalues=20to=20and=20from=20an=20efficient=20binary=20protocol=2E descr=Bin=2Dprot=20is=20a=20library=20for=20automated=20conversion=20of=20OCaml=2Dvalues=20to=20and=0Afrom=20an=20efficient=20binary=20protocol=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://ocaml.janestcapital.com svn_path=trunk311/godi/godi-bin-prot svn_rev=3031 date=Sat, 03 Apr 2010 03:37:42 +0000 rel_by=mottl section=3.11 distfiles=bin-prot-1.2.23.tar.gz [00121_apps-why] name=apps-why version=2.30godi2 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=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://why.lri.fr svn_path=trunk/apps/apps-why svn_rev=3789 date=Thu, 23 Feb 2012 18:16:26 +0000 rel_by=prevosto section=3.11 distfiles=why-2.30.tar.gz [00122_godi-easy-format] name=godi-easy-format version=1.0.0godi1 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/easy-format.html svn_path=trunk/godi/godi-easy-format svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=easy-format-1.0.0.tar.gz [00123_godi-json-wheel] name=godi-json-wheel version=1.0.6godi1 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=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=json-wheel-1.0.6.tar.gz [00124_godi-mikmatch_pcre] name=godi-mikmatch_pcre version=1.0.2 comment=Pattern=20matching=20extended=20with=20regexps=20in=20Ocamllex=20syntax descr=Mikmatch=2FMicmatch=20is=20a=20Camlp4=2Dbased=20syntax=20extension=20of=20OCaml=20which=20extends=0Athe=20match=2Dwith=20construct=20with=20regexps=20for=20quick=20and=20simple=20text=0Amanipulation=2E=20The=20syntax=20of=20the=20regexps=20is=20an=20extension=20of=20the=20syntax=20of=0AOCamllex=20regexps=2C=20which=20are=20easy=20to=20learn=20and=20OCaml=2Dfriendly=2E=20Mikmatch=5Fpcre=0Atakes=20advantage=20of=20most=20of=20the=20advanced=20features=20of=20the=20PCRE=20library=2C=0Aincluding=20laziness=2C=20possessiveness=2C=20and=20lookahead=20and=20lookbehind=0Aassertions=2E=20The=20compilation=20of=20regexps=20is=20performed=20internally=20and=20once=0Aonly=2E=20If=20the=20program=20is=20compiled=20successfully=2C=20then=20your=20regexps=20are=20valid=2C=0Aas=20well=20as=20the=20named=20captures=2C=20otherwise=20the=20preprocessor=20reports=20the=20error=0Aaccurately=2E=20Mikmatch=20with=20a=20K=20is=20for=20the=20new=20Camlp4=20while=20Micmatch=20with=20a=20C=0Ais=20for=20Camlp5=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/micmatch.html svn_path=trunk/godi/godi-mikmatch_pcre svn_rev=2796 date=Mon, 29 Aug 2011 21:45:41 +0000 rel_by=mjambon section=3.11 distfiles=mikmatch-1.0.2.tar.gz [00125_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=gdbm-1.8.3.tar.gz [00126_godi-ocaml-ssl] name=godi-ocaml-ssl version=0.4.4godi2 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=jmaloberti=40gmail=2Ecom homepage=http://savonet.sourceforge.net/ svn_path=trunk/godi/godi-ocaml-ssl svn_rev=3708 date=Tue, 01 Nov 2011 16:31:54 +0000 rel_by=gerd section=3.11 distfiles=ocaml-ssl-0.4.4.tar.gz [00127_godi-bitstring] name=godi-bitstring version=2.0.2 comment=Erlang=2Dstyle=20bitstrings=20and=20matching=20over=20bitstrings=20as=20a=20syntax=20extension descr=The=20ocaml=2Dbitstring=20project=20adds=20Erlang=2Dstyle=20bitstrings=20and=20matching=20over=0A=20bitstrings=20as=20a=20syntax=20extension=20and=20library=20for=20OCaml=2E=0A=0A=28This=20project=20was=20formerly=20known=20as=20=22bitmatch=22=29=2E=0A=0AYou=20can=20use=20this=20module=20to=20both=20parse=20and=20generate=20binary=20formats=2C=0A=20files=20and=20protocols=2E=0A=0ABitstring=20handling=20is=20added=20as=20primitives=20to=20the=20language=2C=0A=20making=20it=20exceptionally=20simple=20to=20use=20and=20very=20powerful=2E=20=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://code.google.com/p/bitstring/ svn_path=trunk/godi/godi-bitstring svn_rev=3025 date=Mon, 22 Mar 2010 12:55:10 +0000 rel_by=cauger section=3.11 distfiles=ocaml-bitstring-2.0.2.tar.gz [00128_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00129_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=crypt-1.0.tar.gz [00130_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00131_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00132_godi-curl] name=godi-curl version=0.5.3 comment=Bindings=20for=20libcurl descr=O=27Caml=20bindings=20for=20libcurl=0A=0A=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://sourceforge.net/projects/ocurl svn_path=trunk/godi/godi-curl svn_rev=3291 date=Tue, 04 Jan 2011 13:29:13 +0000 rel_by=jmaloberti section=3.11 distfiles=ocurl-0.5.3.tgz [00133_godi-ocaml-fileutils] name=godi-ocaml-fileutils version=0.4.2 comment=Library=20to=20provide=20pure=20OCaml=20functions=20to=20manipulate=20real=20file=20=28POSIX=20like=29=20and=20filename 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=3Cgildor=40debian=2Eorg=3E homepage=http://forge.ocamlcore.org/projects/ocaml-fileutils/ svn_path=trunk/godi/godi-ocaml-fileutils svn_rev=3420 date=Wed, 06 Apr 2011 21:27:52 +0000 rel_by=gildor section=3.11 distfiles=ocaml-fileutils-0.4.2.tar.gz [00134_apps-alt-ergo] name=apps-alt-ergo version=0.9.4 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=3764 date=Fri, 27 Jan 2012 17:52:16 +0000 rel_by=prevosto section=3.11 distfiles=alt-ergo-0.94.tar.gz [00135_godi-ocaml-labltk] name=godi-ocaml-labltk version=3.11.2 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=trunk311/godi/godi-ocaml-labltk svn_rev=2995 date=Mon, 26 Apr 2010 14:43:19 +0000 rel_by=gerd section=3.11 [00136_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=subversion-1.0.6.tar.gz [00137_godi-cairo] name=godi-cairo version=1.2godi1 comment=ocaml=20binding=20for=20cairo descr=Cairo=20is=20a=202D=20graphics=20library=20with=20support=20for=20multiple=20output=20devices=2E=0A=0ACurrently=20supported=20output=20targets=20include=3A=0A=20X=2C=20Quartz=2C=20Win32=2C=20image=20buffers=2C=20PostScript=2C=20PDF=2C=20and=20SVG=20file=20output=2E=0A=0AExperimental=20backends=20include=20OpenGL=20=28through=20glitz=29=2C=20XCB=2C=20BeOS=2C=20OS=2F2=2C=0A=20and=20DirectFB=2E=0A=0AThe=20cairo=20API=20provides=20operations=20similar=20to=20the=20drawing=20operators=0A=20of=20PostScript=20and=20PDF=2E=0A=0AOperations=20in=20cairo=20including=20stroking=20and=20filling=20cubic=20B=C3=A9zier=20splines=2C=0A=20transforming=20and=20compositing=20translucent=20images=2C=0A=20and=20antialiased=20text=20rendering=2E=0A=0AAll=20drawing=20operations=20can=20be=20transformed=20by=20any=20affine=20transformation=0A=20=28scale=2C=20rotation=2C=20shear=2C=20etc=2E=29=0A=0ACairo=20is=20free=20software=20and=20is=20available=20to=20be=20redistributed=0A=20and=2For=20modified=20under=20the=20terms=20of=0A=20either=20the=20GNU=20Lesser=20General=20Public=20License=20=28LGPL=29=20version=202=2E1=0A=20or=20the=20Mozilla=20Public=20License=20=28MPL=29=20version=201=2E1=20at=20your=20option=2E=0A=0Asee=2C=20http=3A=2F=2Fcairographics=2Eorg=2F=0A=0AN=2EB=2E=20automake=20suite=20is=20required=20to=20compile=20this=20package=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://cairographics.org/cairo-ocaml/ svn_path=trunk/godi/godi-cairo svn_rev=3025 date=Mon, 22 Mar 2010 13:06:15 +0000 rel_by=cauger section=3.11 distfiles=ocaml-cairo-1.2.tar.gz [00138_godi-atd] name=godi-atd version=1.0.1godi1 comment=Syntax=20for=20cross=2Dlanguage=20data=20types descr=ATD=20stands=20for=20Adjustable=20Type=20Definitions=2E=20=20It=20is=20a=20type=20definition=0Alanguage=20designed=20to=20accomodate=20a=20variety=20of=20programming=20languages=20and=20data=0Aformats=20by=20the=20means=20of=20target=2Dspecific=20annotations=2E=20=20It=20supports=20sum=0Atypes=2C=20parametrized=20types=20and=20inheritance=2E=20=20The=20library=20provides=20a=20parser=0Aand=20other=20tools=20useful=20for=20manipulating=20ATD=20type=20definitions=2E=20=20The=0Areference=20manual=20gives=20a=20complete=20description=20of=20the=20syntax=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://oss.wink.com/atd/ svn_path=trunk/godi/godi-atd svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=atd-1.0.1.tar.gz [00139_apps-cduce] name=apps-cduce version=0.5.4 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=jmaloberti=40gmail=2Ecom homepage=http://cduce.org/ svn_path=trunk/apps/apps-cduce svn_rev=3441 date=Tue, 17 May 2011 14:42:54 +0000 rel_by=jmaloberti section=3.11 distfiles=cduce-0.5.4.tar.gz [00140_godi-dypgen] name=godi-dypgen version=20090430 comment=dypgen=20is=20a=20GLR=20parser=20generator=20for=20Objective=20Caml=2C=20it=20is=20able=20to=20generate=20self=2Dextensible=20parsers=20and=20extensible=20lexers=20for=20the=20parsers=20it=20produces=2E descr=dypgen=20is=20a=20GLR=20parser=20generator=20for=20Objective=20Caml=2C=20it=20is=20able=20to=20generate=20self=2Dextensible=20parsers=20=28also=20called=20adaptive=20parsers=29=2E=20Dypgen=20is=20also=20able=20to=20generate=20extensible=20lexers=20for=20the=20parsers=20it=20produces=2E=0A=0AThe=20main=20features=20of=20dypgen=20are=3A=0A=0A=20=20=20=20=2A=20dypgen=20is=20a=20GLR=20parser=2E=20This=20means=20it=20can=20handle=20ambiguous=20grammars=20and=20outputs=20the=20list=20of=20all=20possible=20parse=20trees=2E=20Even=20for=20non=20ambiguous=20grammars=2C=20GLR=20parsing=20allows=20to=20define=20the=20grammar=20in=20a=20more=20natural=20way=2E=20It=20is=20possible=20to=20extract=20a=20definition=20suitable=20for=20the=20documentation=20directly=20from=20the=20parser=20source=20file=2E=0A=0A=20=20=20=20=2A=20Ambiguities=20can=20be=20removed=20by=20introducing=20priorities=20and=20relations=20between=20them=2E=20This=20gives=20a=20very=20natural=20way=20to=20express=20a=20grammar=20=28the=20examples=20in=20the=20documentation=20illustrate=20this=29=2E=0A=0A=20=20=20=20=2A=20Grammars=20are=20self=2Dextensible=2C=20i=2Ee=2E=20an=20action=20can=20add=20new=20rules=20to=20the=20current=20grammar=2E=20Moreover=2C=20the=20modifications=20can=20be=20local=2E=20The=20new=20grammar=20is=20valid=20only=20for=20a=20well=20delimited=20section=20of=20the=20parsed=20input=2E=0A=0A=20=20=20=20=2A=20dypgen=20provides=20management=20of=20local=20and=20global=20immutable=20data=2E=20The=20user=20actions=20can=20access=20it=20and=20return=20it=20modified=2E=20These=20mechanisms=20adress=20the=20problem=20posed=20by=20global=20mutable=20data=20with=20GLR=20parsing=20and=20let=20the=20user=20controls=20the=20scope=20of=20the=20data=2E=20Modifications=20of=20local=20data=20are=20preserved=20when=20traveling=20from=20right=20to=20left=20in=20a=20rule=20or=20when=20going=20down=20in=20the=20parse=20tree=2E=20Modifications=20of=20global=20data=20are=20preserved=20across=20the=20complete=20traversal=20of=20the=20parse=20tree=2E=20These=20data=20may=20be=20used=20for=20instance=20to=20do=20type=2Dchecking=20at=20parsing=20time=20in=20an=20elegant=20and=20acceptable=20way=2E=20The=20local=20data=20may=20contain=20the=20environment=20that=20associates=20a=20type=20to=20each=20variable=20while=20the=20global=20data=20would=20contain=20the=20substitution=20over=20types=20that=20is=20usually=20produced=20by=20unification=2E=0A=0A=20=20=20=20=2A=20Pattern=20matching=20for=20symbols=20in=20right=2Dhand=20sides=20of=20rules=20is=20possible=2E=20In=20particular=20this=20allows=20guarded=20reductions=20and=20to=20bind=20names=20to=20the=20arguments=20of=20actions=2E=0A=0A=20=20=20=20=2A=20dypgen=20allows=20early=20actions=2C=20that=20are=20semantic=20actions=20performed=20before=20the=20end=20of=20a=20rule=2E=0A=0A=20=20=20=20=2A=20It=20is=20possible=20to=20use=20dypgen=20as=20the=20lexer=20generator=20too=2E=20In=20this=20case=20regular=20expressions=20that=20match=20characters=20strings=20are=20allowed=20in=20the=20right=2Dhand=20side=20of=20grammar=20rules=20and=20it=20is=20possible=20to=20extend=20the=20lexer=20by=20introducing=20such=20rules=2E=0A=0A=20=20=20=20=2A=20The=20operators=20=2A=2C=20=2B=20and=20=3F=20of=20regular=20expressions=20are=20available=20for=20non=20terminals=20and=20nested=20rules=20too=2E=20=0A=0AHere=20is=20an=20example=20of=20a=20parser=20for=20a=20small=20calculator=20which=20enforces=20the=20usual=20precedences=20between=20operators=3A=0A=0A=25start=20main=0A=25relation=20pi=3Cpt=3Cpp=0A=25layout=20=5B=27=20=27=20=27=5Ct=27=5D=0A=0A=25parser=0A=0Amain=3A=20expr=20=22=5Cn=22=20=7B=20=241=20=7D=0A=0Aexpr=3A=0A=20=20=7C=20=5B=270=27=2D=279=27=5D=2B=20=20=20=20=20=20=7B=20int=5Fof=5Fstring=20=241=20=7D=20pi=0A=20=20=7C=20=22=2D=22=20expr=28=3Dpi=29=20=20=20=20=20=20=20=20=20=20=20=20=7B=20=2D=242=20=7D=20=20=20=20=20pi=0A=20=20=7C=20=22=28=22=20expr=20=22=29=22=20=20=20=20=20=20=20=20=20=20=20=20=20=7B=20=242=20=7D=20=20=20=20=20=20pi=0A=20=20=7C=20expr=28=3C=3Dpp=29=20=22=2B=22=20expr=28=3Cpp=29=20=7B=20=241=20=2B=20=243=20=7D=20pp=0A=20=20=7C=20expr=28=3C=3Dpp=29=20=22=2D=22=20expr=28=3Cpp=29=20=7B=20=241=20=2D=20=243=20=7D=20pp=0A=20=20=7C=20expr=28=3C=3Dpt=29=20=22=2A=22=20expr=28=3Cpt=29=20=7B=20=241=20=2A=20=243=20=7D=20pt=0A=20=20=7C=20expr=28=3C=3Dpt=29=20=22=2F=22=20expr=28=3Cpt=29=20=7B=20=241=20=2F=20=243=20=7D=20pt=0A=0A maintainer=Emmanuel=20Onzon=20=28packaging=20by=20C=2E=20Raffalli homepage=http://dypgen.free.fr svn_path=trunk/godi/godi-dypgen svn_rev=2730 date=Thu, 11 Jun 2009 20:40:16 +0000 rel_by=craff section=3.11 distfiles=dypgen-20090430.tar.bz2 [00141_godi-ocamlviz] name=godi-ocamlviz version=1.01 comment=A=20real=2Dtime=20profiling=20tool descr=Ocamlviz=20is=20a=20real=2Dtime=20profiling=20tool=2E=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://ocamlviz.forge.ocamlcore.org/ svn_path=trunk/godi/godi-ocamlviz svn_rev=3351 date=Wed, 02 Feb 2011 16:21:25 +0000 rel_by=jmaloberti section=3.11 distfiles=ocamlviz-1.01.tar.gz [00142_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00143_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00144_godi-lwt] name=godi-lwt version=2.2.1 comment=Light=2Dweight=20threading=20library descr=Lwt=20=28the=20abbreviation=20stands=20for=20Light=2DWeight=20Threading=29=20is=20a=20cooperative=0Athreading=20library=20for=20Ocaml=2E=0A=0AIt=20required=20libev=20to=20be=20installed=2E=0A=20=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://www.ocsigen.org/install/lwt svn_path=trunk/godi/godi-lwt svn_rev=3333 date=Mon, 31 Jan 2011 11:15:41 +0000 rel_by=jmaloberti section=3.11 distfiles=lwt-2.2.1.tar.gz [00145_godi-dum] name=godi-dum version=1.0.0godi2 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=40mjambon=2Ecom=3E homepage=http://oss.wink.com/dum/ svn_path=trunk/godi/godi-dum svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=dum-1.0.0.tar.gz [00146_godi-res] name=godi-res version=3.2.0godi3 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=2720 date=Mon, 01 Jun 2009 15:51:51 +0000 rel_by=mottl section=3.11 distfiles=res-3.2.0.tar.gz [00147_conf-x11] name=conf-x11 version=5 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=3796 date=Fri, 24 Feb 2012 20:21:46 +0000 rel_by=gerd section=3.11 [00148_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=cache-1.0.tar.gz [00149_godi-lablgl] name=godi-lablgl version=1.04godi1 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=cauger=40lri=2Efr homepage=http://wwwfun.kurims.kyoto-u.ac.jp/soft/olabl/lablgl.html svn_path=trunk/godi/godi-lablgl svn_rev=2926 date=Sun, 20 Dec 2009 20:10:57 +0000 rel_by=gerd section=3.11 distfiles=lablgl-1.04.tar.gz [00150_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlbdb-4.3.21.tar.gz [00151_apps-oqamldebug] name=apps-oqamldebug version=0.9.1 comment=Graphical=20front=2Dend=20to=20ocamldebug descr=Features=3A=0A=20=20=20=20=2A=20Emulates=20only=20the=20emacs=20mode=20from=20OCamlDebug=2C=20does=20not=20need=20any=20hooks=20into=20ocaml=20core=2E=0A=20=20=20=20=2A=20Full=20Qt=20application=3A=20can=20be=20compiled=20on=20Windows=2C=20MacOS=20and=20Linux=0A=20=20=20=20=2A=20Save=2FRestore=20of=20window=20position=2C=20and=20debug=20parameter=2E=0A=20=20=20=20=2A=20Detection=20of=20the=20modification=20of=20the=20debugged=20application=20or=20sources=2E=20=28automatically=20reloaded=20when=20modified=29=0A=20=20=20=20=2A=20Syntax=20highlighting=20of=20ocamldebug=20command=20and=20ocaml=20sources=2E=0A=20=20=20=20=2A=20Persistent=20command=20line=20history=0A=20=20=20=20=2A=20Mouse=20support=3A=20middle=20click=20on=20a=20symbol=20in=20the=20code=20to=20print=20it=2C=20and=20mouse=20wheel=20to=20step=2Fbackstep=20through=20the=20code=2E=0A=20=20=20=20=2A=20Setting=20breakpoints=20directly=20into=20the=20source=20code=2E=0A=20=20=20=20=2A=20Watch=20window=0A=20=20=20=20=2A=20Call=20stack=20window=0A=20=20=20=20=2A=20Separated=20application=20output=20window=0A=0AOQamlDebug=20needs=20Qt4=20to=20be=20generated=2E=20Qt4=20can=20be=20downloaded=20from=20http=3A=2F=2Fqt=2Dproject=2Eorg=2E=0AOn=20debian=20install=20simply=20qt4=2Ddev=20package=2E=2E=0A=0AOn=20MacOS=20it=20is=20necessary=20to=20set=20QMAKESPEC=20as=20follow=20to=20install=20the=20package=3A=0Aexport=20QMAKESPEC=3Dmacx=2Dg=2B=2B=0A maintainer=sebastien=2Efricker=40gmail=2Ecom homepage=http://oqamldebug.forge.ocamlcore.org/ svn_path=trunk/apps/apps-oqamldebug svn_rev=4384 date=Thu, 10 Jan 2013 20:28:09 +0000 rel_by=testcocoon section=3.11 distfiles=oqamldebug-0.9.1.tar.gz [00152_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00153_godi-ancient] name=godi-ancient version=0.9.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=3016 date=Tue, 16 Mar 2010 22:53:08 +0000 rel_by=gerd section=3.11 distfiles=ancient-0.9.0.tar.gz [00154_godi-type-conv] name=godi-type-conv version=1.7.1godi1 comment=Library=20factoring=20out=20common=20functionality=20for=20type=20converters=2E descr=The=20type=2Dconv=20mini=20library=20factors=20out=20functionality=20needed=20by=20different=0Apreprocessors=20that=20generate=20code=20from=20type=20specifications=2C=20because=20this=0Afunctionality=20cannot=20be=20duplicated=20without=20losing=20the=20ability=20to=20use=0Athese=20preprocessors=20simultaneously=2E=0A maintainer=Markus=20Mottl=20=3Cmarkus=2Emottl=40gmail=2Ecom=3E homepage=http://www.janestcapital.com/ocaml/ svn_path=trunk311/godi/godi-type-conv svn_rev=3064 date=Sun, 06 Jun 2010 04:48:49 +0000 rel_by=mottl section=3.11 distfiles=type-conv-1.7.1.tar.gz [00155_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00156_godi-calendar] name=godi-calendar version=2.03.1 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=Julien=20Signoles=20=3Cjulien=2Esignoles=40gmail=2Ecom=3E homepage=http://calendar.forge.ocamlcore.org/ svn_path=trunk/godi/godi-calendar svn_rev=3408 date=Thu, 24 Mar 2011 16:54:30 +0000 rel_by=signoles section=3.11 distfiles=calendar-2.03.1.tar.gz [00157_godi-ocamlodbc-unixodbc] name=godi-ocamlodbc-unixodbc version=2.10godi1 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=2016 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlodbc_2.10.tar.gz [00158_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00159_godi-pcre] name=godi-pcre version=6.1.0godi1 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=3031 date=Sat, 03 Apr 2010 03:37:42 +0000 rel_by=mottl section=3.11 distfiles=pcre-ocaml-6.1.0.tar.gz [00160_godi-postgresql] name=godi-postgresql version=1.12.5godi1 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=trunk311/godi/godi-postgresql svn_rev=3031 date=Sat, 03 Apr 2010 03:37:42 +0000 rel_by=mottl section=3.11 distfiles=postgresql-ocaml-1.12.5.tar.gz [00161_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlweb-1.36.tar.gz [00162_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=facile-1.1.tar.gz [00163_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-csv-1.1.6.tar.gz [00164_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00165_godi-camlimages] name=godi-camlimages version=2.20godi6 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=3798 date=Mon, 27 Feb 2012 15:06:24 +0000 rel_by=gerd section=3.11 distfiles=camlimages-2.2.tgz [00166_apps-frama-c] name=apps-frama-c version=20111001godi2 comment=Modular=20C=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=20a=20code=20slicer=0A=2D=20an=20impact=20analysis=20tool=0A=0AIMPORTANT=20NOTE=20for=20user=20upgrading=20from=20a=20previous=20version=3A=0AStarting=20from=20=20Frama=2DC=20Beryllium=2020090902=20and=20why=202=2E21=2C=20Jessie=20plug=2Din=20is=20=0Anow=20provided=20directly=20by=20apps=2Dwhy=2E=20There=20is=20no=20local=20why=20installation=20anymore=2E=0A maintainer=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://frama-c.com/ svn_path=trunk/apps/apps-frama-c svn_rev=3902 date=Mon, 14 May 2012 15:57:21 +0000 rel_by=prevosto section=3.11 distfiles=frama-c-Nitrogen-20111001.tar.gz [00167_godi-micmatch_pcre] name=godi-micmatch_pcre version=1.0.0 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/micmatch.html svn_path=trunk/godi/godi-micmatch_pcre svn_rev=DELETE date=Tue, 17 Aug 2010 18:55:40 +0000 rel_by=gerd section=3.11 [00168_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00169_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00170_godi-mlgmp] name=godi-mlgmp version=0.13 comment=an=20ocaml=20binding=20to=20the=20gnu=20gmp=20library descr=GMP=20=28GNU=20MP=29=20is=20an=20extended=20precision=20computation=20library=20=28integers=2C=20rationals=2C=20floats=29=2E=20I=20did=20the=20interface=20with=20O=27Caml=2E=20It=27s=20used=20easily=20and=20transparently=2E=20=0A=0AThis=20program=20is=20free=20software=2E=0A=0A maintainer=David=20Monniaux=20=28packaging=20by=20C=2E=20Raffalli=29 homepage=http://www-verimag.imag.fr/~monniaux/programmes.html.en svn_path=trunk/godi/godi-mlgmp svn_rev=2519 date=Sat, 17 Jan 2009 11:37:23 +0000 rel_by=craff section=3.11 distfiles=mlgmp.tar.gz [00171_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00172_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-json-1.0.tar.gz [00173_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamldbi-0.9.11.tar.gz [00174_godi-ocamlscript] name=godi-ocamlscript version=2.0.2godi1 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/ocamlscript.html svn_path=trunk/godi/godi-ocamlscript svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=ocamlscript-2.0.2.tar.gz [00175_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=FrontC-3.1.tgz [00176_apps-ocsigen] name=apps-ocsigen version=1.3.4 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=jmaloberti=40gmail=2Ecom homepage=http://www.ocsigen.org svn_path=trunk/apps/apps-ocsigen svn_rev=3301 date=Tue, 04 Jan 2011 16:21:11 +0000 rel_by=jmaloberti section=3.11 distfiles=ocsigen-1.3.4.tar.gz [00177_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=tart-1.0.1.tar.gz [00178_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=hweak-1.1.tar.gz [00179_godi-camltemplate] name=godi-camltemplate version=1.0.2 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=2512 date=Sat, 17 Jan 2009 05:24:42 +0000 rel_by=mottl section=3.11 distfiles=camltemplate-1.0.2.tar.gz [00180_godi-react] name=godi-react version=0.9.2 comment=A=20module=20for=20functional=20reactive=20programming=20=28FRP=29=2E descr=React=20is=20an=20OCaml=20module=20for=20functional=20reactive=20programming=20=28FRP=29=2E=20It=0Aprovides=20support=20to=20program=20with=20time=20varying=20values=20=3A=20applicative=0Aevents=20and=20signals=2E=20React=20doesn=27t=20define=20any=20primitive=20event=20or=0Asignal=2C=20this=20lets=20the=20client=20chooses=20the=20concrete=20timeline=2E=0A=20=20=0A=0A=20=20=0A=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://erratique.ch/software/react svn_path=trunk/godi/godi-react svn_rev=3286 date=Tue, 04 Jan 2011 12:46:17 +0000 rel_by=jmaloberti section=3.11 distfiles=react-0.9.2.tbz [00181_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00182_apps-camlmix] name=apps-camlmix version=1.3.0godi1 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=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/camlmix/ svn_path=trunk/apps/apps-camlmix svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=camlmix-1.3.0.tar.gz [00183_godi-calendar] name=godi-calendar version=2.03.1 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=Julien=20Signoles=20=3Cjulien=2Esignoles=40gmail=2Ecom=3E homepage=http://calendar.forge.ocamlcore.org/ svn_path=trunk/godi/godi-calendar svn_rev=3408 date=Thu, 24 Mar 2011 16:54:30 +0000 rel_by=signoles section=3.11 distfiles=calendar-2.03.1.tar.gz [00184_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=wyrd-1.4.1.tar.gz [00185_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=godi-script-0.5.tar.gz [00186_godi-camlp5] name=godi-camlp5 version=6.06 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=3923 date=Tue, 05 Jun 2012 14:02:38 +0000 rel_by=prevosto section=3.11 distfiles=camlp5-6.06.tgz [00187_godi-batteries] name=godi-batteries version=1.4.1 comment=a=20community=2Dmaintained=20foundation=20library=20for=20OCaml descr=Ocaml=20Batteries=20Included=20serves=20the=20following=20purposes=3A=0A=20=2A=20define=20a=20standard=20set=20of=20libraries=20which=20may=20be=20expected=20on=20every=0A=20=20=20compliant=20installation=20of=20OCaml=0A=20=2A=20organize=20these=20libraries=20into=20a=20hierarchy=20of=20modules=0A=20=2A=20provide=20a=20consistent=20API=20for=20otherwise=20independent=20libraries=0A maintainer=Michael=20Ekstrand=20=3Cmichael=40elehack=2Enet=3E homepage=http://batteries.forge.ocamlcore.org svn_path=trunk/godi/godi-batteries svn_rev=3581 date=Tue, 30 Aug 2011 18:18:30 +0000 rel_by=elehack section=3.11 distfiles=batteries-1.4.1.tar.gz [00188_godi-jsofocaml] name=godi-jsofocaml version=1.0.1 comment=Js=5Fof=5Focaml=20is=20a=20compiler=20of=20OCaml=20bytecode=20to=20Javascript descr=Js=5Fof=5Focaml=20is=20a=20compiler=20of=20OCaml=20bytecode=20to=20Javascript=2E=20It=20makes=20it=20possible=0Ato=20run=20Ocaml=20programs=20in=20a=20Web=20browser=2E=0AIts=20key=20features=20are=20the=20following=3A=20=0A=20=2A=20The=20whole=20language=2C=20and=20most=20of=20the=20standard=20library=20are=20supported=2E=0A=20=2A=20The=20generated=20code=20is=20independant=20of=20Eliom=20and=20the=20Ocsigen=20server=2E=20You=20can=20=0A=20use=20it=20with=20any=20Web=20server=2E=0A=20=2A=20You=20can=20use=20a=20standard=20installation=20of=20OCaml=20to=20compile=20your=20programs=2E=20In=20=0A=20particular=2C=20you=20do=20not=20have=20to=20recompile=20a=20library=20to=20use=20it=20with=20Js=5Fof=5Focaml=2E=20=0A=20You=20just=20have=20to=20link=20your=20program=20with=20a=20specific=20library=20to=20interface=20with=20=0A=20the=20browser=20APIs=2E=20 maintainer=jmaloberti=40gmail=2Ecom homepage=http://www.ocsigen.org svn_path=trunk/godi/godi-jsofocaml svn_rev=3335 date=Mon, 31 Jan 2011 11:29:08 +0000 rel_by=jmaloberti section=3.11 distfiles=js_of_ocaml-1.0.1.tar.gz [00189_godi-ocamlmakefile] name=godi-ocamlmakefile version=6.29.3godi1 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=2702 date=Fri, 08 May 2009 20:33:53 +0000 rel_by=mottl section=3.11 distfiles=ocaml-make-6.29.3.tar.gz [00190_godi-ocaml-text] name=godi-ocaml-text version=0.4 comment=A=20library=20dealing=20with=20text=20as=20sequence=20of=20unicode=20characters=2E descr=OCaml=2DText=20is=20a=20library=20for=20dealing=20with=20=60=60text=27=27=2C=20i=2Ee=2E=20sequence=20of=20=0Aunicode=20characters=2C=20in=20a=20convenient=20way=2E=20=0A=0AIt=20supports=3A=0A=0A=20=20=2D=20character=20encoding=2Fdecoding=20using=20iconv=0A=20=20=2D=20manipulation=20of=20text=20as=20UTF=2D8=20encoded=20strings=0A=20=20=2D=20localised=20text=20functions=20such=20as=20compare=2C=20upper=2C=20=2E=2E=2E=0A=20=20=2D=20human=20readable=20regular=20expression=20inside=20patterns=0A=0AIn=20order=20to=20be=20the=20compatible=20with=20other=20ocaml=20library=20without=20pain=2C=0AOCaml=2DText=20choose=20to=20use=20only=20regular=20strings=20for=20dealing=20with=20text=2E=0A=0A=2A=20Requirement=0A=0AOCaml=2DText=20needs=20ocaml=20=3E=3D=203=2E11=20and=20libiconv=2E=20It=20require=20also=20pcre=0Abindings=20for=20ocaml=20to=20have=20regular=20expression=20support=2E=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://ocaml-text.forge.ocamlcore.org/ svn_path=trunk/godi/godi-ocaml-text svn_rev=3289 date=Tue, 04 Jan 2011 12:58:11 +0000 rel_by=jmaloberti section=3.11 distfiles=ocaml-text-0.4.tar.gz [00191_conf-gmp] name=conf-gmp version=1 comment=Configures=20which=20gmp=20library=20to=20use descr=This=20package=20configures=20where=20the=20gmp=20includes=20and=20libraries=20can=20be=20found=2E=0A maintainer=raffalli=40univ=2Dsavoie=2Efr homepage=n/a svn_path=trunk/conf/conf-gmp svn_rev=2516 date=Sat, 17 Jan 2009 11:26:03 +0000 rel_by=craff section=3.11 [00192_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-xml-rpc-0.2.6.tar.gz [00193_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=missinglib_0.4.1_repacked.tar.gz [00194_godi-ocaml-graphics] name=godi-ocaml-graphics version=3.11.2 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=trunk311/godi/godi-ocaml-graphics svn_rev=2995 date=Mon, 26 Apr 2010 14:43:19 +0000 rel_by=gerd section=3.11 [00195_apps-cppo] name=apps-cppo version=0.9.2 comment=cpp=20for=20OCaml descr=Cppo=20is=20a=20lightweight=20macro=20expander=20for=20OCaml=20analog=20to=20cpp=2C=20the=20C=0Apreprocessor=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=3569 date=Fri, 12 Aug 2011 08:51:36 +0000 rel_by=mjambon section=3.11 distfiles=cppo-0.9.2.tar.gz [00196_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:02:53 +0000 rel_by=signoles section=3.11 distfiles=camlzip-1.04.tar.gz [00197_godi-cfg] name=godi-cfg version=1.7.4 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=2059 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=cfg-1.7.4.tar.gz [00198_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlnet-2.2.9.tar.gz [00199_godi-ocamlnet-gtk1] name=godi-ocamlnet-gtk1 version=2.2.9godi1 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=2081 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlnet-2.2.9.tar.gz [00200_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=alphaCaml-20061214.tar.gz [00201_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, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00202_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=mk-1.6.tar.gz [00203_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:23:08 +0000 rel_by=gerd section=3.11 [00204_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=inifiles-1.1.tar.gz [00205_apps-why] name=apps-why version=2.30godi2 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=Virgile=20Prevosto=20=3Cvirgile=2Eprevosto=40m4x=2Eorg=3E homepage=http://why.lri.fr svn_path=trunk/apps/apps-why svn_rev=3789 date=Thu, 23 Feb 2012 18:16:26 +0000 rel_by=prevosto section=3.11 distfiles=why-2.30.tar.gz [00206_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocamlnet-2.2.9.tar.gz [00207_godi-ocaml-http] name=godi-ocaml-http version=0.1.3godi1 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=1998 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ocaml-http-0.1.3.tar.gz [00208_apps-regstab] name=apps-regstab version=1.4.8 comment=A=20SAT=2DSolver=20able=20to=20deal=20with=20formulae=20patterns=2E descr=Any=20SAT=2DSolver=20can=20tell=20you=20that=20each=20of=20the=20following=20formulae=20is=20unsatisfiable=3A=0AP1=20=2F=5C=20=28P1=20=3D=3E=20P2=29=20=2F=5C=20=7EP2=0AP1=20=2F=5C=20=28P1=20=3D=3E=20P2=29=20=2F=5C=20=28P2=20=3D=3E=20P3=29=20=2F=5C=20=7EP3=0AP1=20=2F=5C=20=28P1=20=3D=3E=20P2=29=20=2F=5C=20=28P2=20=3D=3E=20P3=29=20=2F=5C=20=28P3=20=3D=3E=20P4=29=20=2F=5C=20=7EP4=0A=0ARegSTAB=20can=20tell=20you=20directly=20that=20this=20is=20unsatisfiable=20for=20all=20n=3E=3D0=3A=0AP1=20=2F=5C=20=28=2F=5Ci=3D1=2E=2En=20Pi=20=3D=3E=20Pi=2B1=29=20=2F=5C=20=7EPn=2B1=20=20=0A=0AIN=20ENGLISH=3A=0A=0AAny=20SAT=2DSolver=20can=20tell=20you=20that=20each=20of=20the=20following=20formulae=20is=20unsatisfiable=3A=0AP1=20and=20=28P1=20implies=20P2=29=20and=20not=20P2=0AP1=20and=20=28P1=20implies=20P2=29=20and=20=28P2=20implies=20P3=29=20and=20not=20P3=0AP1=20and=20=28P1=20implies=20P2=29=20and=20=28P2=20implies=20P3=29=20and=20=28P3=20implies=20P4=29=20implies=20not=20P4=29=0A=0ARegSTAB=20can=20tell=20you=20directly=20that=20this=20is=20unsatisfiable=20for=20all=20n=3E=3D0=3A=0AP1=20and=20=28for=20i=20from=201=20to=20n=3A=20Pi=20implies=20Pi=2B1=29=20and=20not=20Pn=2B1=0A maintainer=Vincent=20Aravantinos=20=3Cvincent=2Earavantinos=40gmail=2Ecom=3E homepage=http://regstab.forge.ocamlcore.org svn_path=trunk/apps/apps-regstab svn_rev=3531 date=Thu, 14 Jul 2011 13:55:29 +0000 rel_by=aravantv section=3.11 distfiles=regstab-1.4.8.tar.gz [00209_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00210_godi-gsl] name=godi-gsl version=0.6.2godi1 comment=GSL=20bindings=20for=20OCaml descr=The=20GNU=20Scientific=20Library=20=28GSL=29=20is=20a=20numerical=20library=20for=20C=20and=20C=2B=2B=20=28and=0Anow=20OCaml=29=20programmers=2E=20=20The=20library=20provides=20a=20wide=20range=20of=20mathematical=0Aroutines=20such=20as=20random=20number=20generators=2C=20special=20functions=20and=0Aleast=2Dsquares=20fitting=2E=20 maintainer=Hezekiah=20M=2E=20Carty=20=3Chez=400ok=2Eorg=3E homepage=http://oandrieu.nerim.net/ocaml/ svn_path=trunk/godi/godi-gsl svn_rev=2889 date=Mon, 22 Oct 2012 00:21:02 +0000 rel_by=gerd section=3.11 distfiles=ocamlgsl-0.6.2.tar.gz [00211_godi-lablgtk] name=godi-lablgtk version=1.2.6godi6 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=2254 date=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=lablgtk-1.2.6.tar.gz [00212_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 [00213_apps-ledit] name=apps-ledit version=2.03 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=Gerd=20Stolpmann=20=3Cgerd=40gerd=2Dstolpmann=2Ede=3E homepage=http://pauillac.inria.fr/~ddr/ledit/ svn_path=trunk/apps/apps-ledit svn_rev=3923 date=Tue, 05 Jun 2012 14:02:38 +0000 rel_by=prevosto section=3.11 distfiles=ledit-2.03.tgz [00214_godi-cairo] name=godi-cairo version=1.2godi1 comment=ocaml=20binding=20for=20cairo descr=Cairo=20is=20a=202D=20graphics=20library=20with=20support=20for=20multiple=20output=20devices=2E=0A=0ACurrently=20supported=20output=20targets=20include=3A=0A=20X=2C=20Quartz=2C=20Win32=2C=20image=20buffers=2C=20PostScript=2C=20PDF=2C=20and=20SVG=20file=20output=2E=0A=0AExperimental=20backends=20include=20OpenGL=20=28through=20glitz=29=2C=20XCB=2C=20BeOS=2C=20OS=2F2=2C=0A=20and=20DirectFB=2E=0A=0AThe=20cairo=20API=20provides=20operations=20similar=20to=20the=20drawing=20operators=0A=20of=20PostScript=20and=20PDF=2E=0A=0AOperations=20in=20cairo=20including=20stroking=20and=20filling=20cubic=20B=C3=A9zier=20splines=2C=0A=20transforming=20and=20compositing=20translucent=20images=2C=0A=20and=20antialiased=20text=20rendering=2E=0A=0AAll=20drawing=20operations=20can=20be=20transformed=20by=20any=20affine=20transformation=0A=20=28scale=2C=20rotation=2C=20shear=2C=20etc=2E=29=0A=0ACairo=20is=20free=20software=20and=20is=20available=20to=20be=20redistributed=0A=20and=2For=20modified=20under=20the=20terms=20of=0A=20either=20the=20GNU=20Lesser=20General=20Public=20License=20=28LGPL=29=20version=202=2E1=0A=20or=20the=20Mozilla=20Public=20License=20=28MPL=29=20version=201=2E1=20at=20your=20option=2E=0A=0Asee=2C=20http=3A=2F=2Fcairographics=2Eorg=2F=0A=0AN=2EB=2E=20automake=20suite=20is=20required=20to=20compile=20this=20package=0A maintainer=Cedric=20AUGER=20=3Ccauger=40lri=2Efr=3E homepage=http://cairographics.org/cairo-ocaml/ svn_path=trunk/godi/godi-cairo svn_rev=3025 date=Mon, 22 Mar 2010 13:06:15 +0000 rel_by=cauger section=3.11 distfiles=ocaml-cairo-1.2.tar.gz [00215_godi-biniou] name=godi-biniou version=1.0.0godi1 comment=Flexible=20binary=20data=20format descr=Biniou=20is=20a=20binary=20data=20format=20designed=20for=20speed=2C=20safety=2C=20ease=20of=20use=20and=0Abackward=20compatibility=20as=20protocols=20evolve=2E=20=20Biniou=20is=20vastly=20equivalent=20to=0AJSON=20in=20terms=20of=20functionality=20but=20allows=20implementations=20about=204=20times=20as=0Afast=20=28see=20godi=2Dyojson=20for=20comparison=29=2C=20with=2025=2D35=25=20space=20savings=2E=20=20Biniou=0Adata=20can=20be=20decoded=20into=20human=2Dreadable=20form=20without=20knowledge=20of=20type=0Adefinitions=20except=20for=20field=20and=20variant=20names=20which=20are=20represented=20by=0A31=2Dbit=20hashes=2E=20 maintainer=Martin=20Jambon=20=3Cmartin=40mjambon=2Ecom=3E homepage=http://martin.jambon.free.fr/biniou.html svn_path=trunk/godi/godi-biniou svn_rev=3450 date=Thu, 26 May 2011 20:00:14 +0000 rel_by=mjambon section=3.11 distfiles=biniou-1.0.0.tar.gz [00216_godi-manual] name=godi-manual version=20110719 comment=The=20GODI=20manual=20for=20users=20and=20developers descr=Contains=3A=0A=2D=20The=20GODI=20User=27s=20Guide=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://www.ocaml-programming.de svn_path=trunk/godi/godi-manual svn_rev=3542 date=Wed, 20 Jul 2011 21:37:03 +0000 rel_by=gerd section=3.11 distfiles=godi-manual-20110719.tar.gz [00217_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=password_gen-1.0.tar.gz [00218_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=ANSITerminal-0.3.tar.bz2 [00219_godi-onotify] name=godi-onotify version=0.6.2 comment=a=20binding=20for=20The=20Inotify=20Linux=20framework descr=Onotify=20is=20an=20OCaml=20binding=20for=20the=20Linux=20Inotify=20framework=2E=0A=0AThis=20project=20is=20a=20fork=20of=20ocaml=2Dinotify=2C=20another=20Inotify=20OCaml=20binding=20initiated=20by=0AVincent=20Hanquez=20=3Cvincent=40snarc=2Eorg=3E=20which=20can=20be=20found=20here=20=3A=0Ahttp=3A=2F=2Fprojects=2Esnarc=2Eorg=2Focaml=2Dinotify=0A=0A=0A maintainer=Ludovic=20Stordeur=20=3Cludovic=40okazoo=2Eeu=3E homepage=http://onotify.forge.ocamlcore.org svn_path=trunk/godi/godi-onotify svn_rev=3197 date=Sat, 16 Oct 2010 15:16:39 +0000 rel_by=lstordeur section=3.11 distfiles=onotify-0.6.2.tar.bz2 [00220_godi-calendar] name=godi-calendar version=2.03.1 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=Julien=20Signoles=20=3Cjulien=2Esignoles=40gmail=2Ecom=3E homepage=http://calendar.forge.ocamlcore.org/ svn_path=trunk/godi/godi-calendar svn_rev=3408 date=Thu, 24 Mar 2011 16:54:30 +0000 rel_by=signoles section=3.11 distfiles=calendar-2.03.1.tar.gz [00221_godi-gallium-docs] name=godi-gallium-docs version=20090112 comment=Docs=20from=20Gallium=20about=20camlp4=20and=20ocamlbuild descr=This=20is=20a=20dump=20of=20the=20Gallium=20wiki=20at=20http=3A=2F=2Fbrion=2Einria=2Efr=2Fgallium=2Findex=2Ephp=2E=0AIt=20mainly=20contains=20docs=20about=20camlp4=20=28in=20the=20version=20since=20O=27Caml=203=2E10=29=2C=0Aand=20about=20ocamlbuild=2E=0A maintainer=gerd=40gerd=2Dstolpmann=2Ede homepage=http://brion.inria.fr/gallium/index.php svn_path=trunk/godi/godi-gallium-docs svn_rev=2445 date=Mon, 12 Jan 2009 11:25:54 +0000 rel_by=gerd section=3.11 distfiles=gallium-20090112.tar.gz [00222_godi-dyntype] name=godi-dyntype version=0.7godi1 comment=Dynamic=20types=20for=20OCaml descr= maintainer=Thomas=20Gazagnaire=20=3Cmirage=40github=2Ecom=3E homepage=http://github.com/mirage/dyntype svn_path=trunk311/godi/godi-dyntype svn_rev=3049 date=Thu, 06 May 2010 21:55:34 +0000 rel_by=gerd section=3.11 distfiles=mirage-dyntype-4a06e7a.tar.gz [00223_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=Mon, 12 Jan 2009 10:36:01 +0000 rel_by=gerd section=3.11 distfiles=xstr-0.2.1.tar.gz [00224_godi-cil] name=godi-cil version=1.3.6godi2 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=2665 date=Wed, 22 Apr 2009 13:30:35 +0000 rel_by=gerd section=3.11 distfiles=cil-1.3.6.tar.gz [00225_apps-ocsigen-dev] name=apps-ocsigen-dev version=1.90.0 comment=Development=20version=20=28v2=29=20of=20Ocsigen 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=0ANOTE=3A=20This=20version=20corresponds=20to=20the=20development=20branch=20of=20ocsigen=2E=0A maintainer=jmaloberti=40gmail=2Ecom homepage=http://www.ocsigen.org svn_path=trunk/apps/apps-ocsigen-dev svn_rev=DELETE date=Wed, 02 Feb 2011 13:17:55 +0000 rel_by=jmaloberti section=3.11