Created
February 9, 2013 08:47
-
-
Save Kakadu/4744621 to your computer and use it in GitHub Desktop.
opam log after executing
opam.byte install core.109.08.00
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| [18180] 18180 locking /home/kakadu/.opam/lock | |
| [18180] FILE(config) read /home/kakadu/.opam/config | |
| [18180] 18180 unlocking /home/kakadu/.opam/lock | |
| [18180] STATE LOAD-STATE(switch-lock) | |
| [18180] STATE load_state root=/home/kakadu/.opam cached=true | |
| [18180] FILE(config) read /home/kakadu/.opam/config | |
| [18180] FILE(aliases) read /home/kakadu/.opam/aliases | |
| [18180] FILE(comp) read /home/kakadu/.opam/compilers/system.comp | |
| [18180] FILE(repo-config) read /home/kakadu/.opam/repo/default/config | |
| [18180] FILE(repo-index) read /home/kakadu/.opam/repo/index | |
| [18180] FILE(pinned) Cannot find /home/kakadu/.opam/system/pinned | |
| [18180] FILE(installed) read /home/kakadu/.opam/system/installed | |
| [18180] FILE(installed.roots) Cannot find /home/kakadu/.opam/system/installed.roots | |
| [18180] FILE(reinstall) Cannot find /home/kakadu/.opam/system/reinstall | |
| [18180] STATE ROOT : /home/kakadu/.opam | |
| [18180] STATE SWITCH : system | |
| [18180] STATE COMPILER : system | |
| [18180] STATE REPOS : { default } | |
| [18180] STATE PACKAGES : { zipperposition.0.1.1, zipperposition.0.1, zenon.0.7.1, zed.1.2, zarith.1.1, yojson.1.1.3, yojson.1.0.3, yajl-extra.0.7.3, yajl-extra.0.7.2, yajl-extra.0.7.1, yajl-extra.0.7.0, yajl.0.7.3, yajl.0.7.2, yajl.0.7.1, yajl.0.7.0, xtmpl.0.5, xtmpl.0.4, xtmpl.0.3, xstrp4.1.8, xstr.0.2.1, xmlm.1.1.1, xmlm.1.1.0, xml-light.2.2, xenstore.1.2.0, xenstore.1.1.0, xenstore.1.0.0, xenbigarray.1.0.0, wyrd.1.4.6, wyrd.1.4.5, why3.0.73, why.2.31, wget.0.1.0, weberizer.0.7.2, weberizer.0.7.1, weberizer.0.6.5, weberizer.0.6.2, weberizer.0.6.1, webdav.1.1, webdav.1.0, wdialog.2.1.3, vorbis.0.6.1, variantslib.109.08.00, variantslib.109.07.00, variantslib.108.08.00, variantslib.108.07.01, variantslib.108.07.00, variantslib.108.00.02, uutf.0.9.1, uunf.0.9.0, uuidm.0.9.5, uucd.0.9.0, utop.1.3.0, utop.1.2.1, uri.1.3.6, uri.1.3.5, uri.1.3.4, uri.1.3.3, uri.1.3.2, uri.1.3.1, uri.1.3.0, uri.1.1, unison.2.40.102, unison.2.40.63, ulex.1.1, uint.1.1.0, uint.1.0.3, uint.1.0.2, ucorelib.0.0.1, tyxml. | |
| 2.2.0, tyxml.2.1, typerex.1.99.3-beta, typerex.1.99.2-beta, typerex.1.99.1-beta, typerex.1.99.0-beta, typehashlib.109.08.00, typehashlib.109.07.00, typehashlib.108.08.00, typehashlib.108.07.01, typehashlib.108.07.00, typehashlib.108.00.02, type_conv.109.08.00, type_conv.109.07.00, type_conv.108.08.00, type_conv.108.07.01, type_conv.108.07.00, type_conv.108.00.02, tstp-proof-checker.0.1, tryocaml.0.2.2, treeprint.1.0.1, tophide.1.0.1, tiny_json_conv.1.2.0, tiny_json_conv.1.1.0, tiny_json_conv.1.0.1, tiny_json_conv.1.0.0, tiny_json.1.0.0, syslog.1.4, stog-writing.0.6, stog-rdf.0.6, stog.0.6.1, stog.0.5, stog.0.4, ssl.0.4.6, srs.1.0.0, sqlite3-ocaml.2.0.3, sqlite3-ocaml.2.0.2, sqlite3-ocaml.1.6.3, spotlib.2.1.1, spotlib.2.1.0, spotlib.2.0.1, spotlib.1.0.0, spotinstall.1.1.0, spotinstall.1.0.1, spotinstall.1.0.0, spf.1.0.0, sonet.0.1.1, snappy.0.0.1, simple_pam.0.1.2, simple_pam.0.1.1, shcaml.0.1.3, shared-memory-ring.0.2.0, sha.1.8, sexplib.109.08.00, sexplib.109.07.00, sexplib.108.08.00, sexplib.108.07.01, | |
| sexplib.108.07.00, sexplib.108.00.02, sexplib.7.0.5, sequence.0.2, sequence.0.1, sedlex.1.99, schoca.0.2.3, sawja.1.4, safepass.1.2, safepass.1.0, rtime.0.9.3, rpc.1.3.1, rpc.1.3.0, rpc.1.2.0, root1d.0.2, rml.1.08.04, res.3.2.0, release.1.0.2, release.1.0.1, release.1.0.0, regstab.2.0.0, react.0.9.4, react.0.9.3, re.1.2.0, re.1.1.0, re.1.0, quickcheck.0.0.3, qtest.2.0.0, pxp.1.2.3, pulseaudio.0.1.2, promela.0.4.2, pprint.20130131, postgresql-ocaml.2.0.2, postgres.20040120, pomap.3.0.1, plasma.0.6.1, planets.0.1.13, planck.2.0.1, planck.1.0.1, piqi.0.6.0, pipebang.109.08.00, pipebang.109.07.00, pipebang.108.08.00, pipebang.108.07.01, pipebang.108.07.00, pipebang.108.00.02, pgocaml.1.7.1, pgocaml.1.7, pgocaml.1.6, pcre-ocaml.6.2.5, pcap.0.3.2, pcap.0.3.1, patdiff.109.08.00, passwdgen.0.1, parmap.1.0-rc1, parmap.0.9.1, pa_ounit.109.08.00, pa_ounit.109.07.00, pa_ounit.108.08.00, pa_ounit.108.07.01, pa_ounit.108.07.00, pa_ounit.108.00.02, pa_monad_custom.v6.0.0, pa_do.0.8.16, pa_do.0.8.15, pa_comprehension.0.4, | |
| ounit.1.1.2, ott.distro-0.21.2, otags.4.00.1, otags.3.12.5, ospec.0.3.0, ospec.0.2.1, orm.0.7.0, orm.0.6.4, orm.0.6.3, orakuda.1.0.2, orakuda.1.0.1, oqamldebug.0.9.2, oqamldebug.0.9.1, optimization1d.0.5, optcomp.1.4, opass.0.2.1, opass.0.2.0, opam2web.1.2.0, opam-lib.0.9.1, opam-lib.0.8.3, omake.0.9.8.6-0.rc1, ogg.0.4.3, odepack.0.6.2, odb-server.0.1, ocurl.0.5.4, ocsigenserver.2.2.0, ocsigenserver.2.1, ocplib-endian.0.3, ocplib-endian.0.2, ocp-indent.0.9.0, ocp-indent.0.6.2, ocp-indent.0.6.1, ocp-indent.0.6.0, ocp-indent.0.1.0, ocp-build.1.99.3-beta, ocp-build.1.99.2-beta, ocp-build.1.99.1-beta, ocp-build.1.99-beta, ocp-build.0.1, ocamlweb.1.38, ocamlviz.1.01, ocamltter.2.0.0, ocamltop-gtk.2.1, ocamlspot.4.00.0.2.1.1, ocamlspot.4.00.0.2.1.0, ocamlspot.4.00.0.2.0.1, ocamlsdl.0.9.1, ocamlscript.2.0.2, ocamlrss.2.0, ocamlnet.3.6.0, ocamlnet.3.5.1, ocamlnet.3.2.1, ocamlmod.0.0.3, ocamlify.0.0.1, ocamlgsl.0.6.0, ocamlgraph.1.8.2, ocamlgraph.1.8.1, ocamlfuse.2.7.1-cvs, ocamlfind.1.3.3, ocamlfind.1.3.2, ocamlfind. | |
| 1.3.1, ocamldsort.0.15.0, ocamldot.1.0, ocamldiff.1.0, ocamldbi.0.9.11, ocamldap.2.2, ocamldap.2.1.8, ocaml-zmq.0, ocaml-xml-rpc.0.2.3, ocaml-xdg-basedir.0.0.2, ocaml-text.0.6, ocaml-text.0.5, ocaml-taglib.0.2.0, ocaml-src.4.00.1, ocaml-src.4.00.0, ocaml-src.3.12.1, ocaml-sqlexpr.0.3.0, ocaml-rdf.0.3, ocaml-rdf.0.2, ocaml-radixtree.0.0.1, ocaml-posix-resource.0.0.1, ocaml-mysql.1.1.1, ocaml-mysql.1.0.4, ocaml-markdown.0.1.0, ocaml-makefile.6.37.0, ocaml-mad.0.4.4, ocaml-lua.1.0, ocaml-inifiles.1.2, ocaml-indent.1.1.0, ocaml-http.0.1.5, ocaml-glpk.0.1.6, ocaml-extunix.0.0.4, ocaml-expect.0.0.2, ocaml-expat.0.9.1, ocaml-data-notation.0.0.10, ocaml-data-notation.0.0.9, ocaml-arg.0.3, ocaml-arg.0.2, ocaml-arg.0.1, ocaml+twt.0.93, obus.1.1.5, obrowser.1.1.1, oasis-mirage.0.3.0a, oasis-mirage.0.3.0, oasis.0.3.0, oasis.0.2.0, nlopt-ocaml.0.4, netamqp.1.0, mpi.1.01, mparser.1.0, monadlib.0.1, mlpost.0.8.1, mlgmp.20120224, mldonkey.3.1.2, missinglib.0.4.1, mirage-net.0.5.2, mirage-net.0.4.1, mirage-net.0.4.0, mirage- | |
| net.0.3.1, mirage-net.0.3.0, mirage-fs.0.3.0, mirage.0.7.2, mirage.0.6.1, mirage.0.6.0, mirage.0.5.0, mirage.0.4.1, mirage.0.4.0, milter.1.0.0, mikmatch.1.0.5, meta_conv.1.0.0, meta_conv.0.11.0, meta_conv.0.10.0, meta_conv.0.9.0, menhir.20120123, melt.1.4.0, mascot.1.0, magic.0.7.3, macaque.0.6.1, macaque.0.6, lzo.0.0.1, lwt-zmq.1.0-beta3, lwt.2.4.3, lwt.2.4.2, lwt.2.4.1, lwt.2.4.0, lwt.2.3.2, llvm.3.2, llvm.3.1, litiom.2.0, liquidsoap.1.0.1-full, ledit.2.03, lbfgs.0.8.3, lambda-term.1.2, lacaml.7.0.7, lacaml.7.0.6, lacaml.7.0.3, lacaml.7.0.0, lablgtk-extras.1.3, lablgtk-extras.1.2, lablgtk.2.16.0, lablgtk.2.14.2-oasis8, lablgl.20120306, kaputt.1.2, kaputt.1.1, jsonm.0.9.1, jsondiff.0.0.1, json-wheel.1.0.6, json-static.0.9.8, js_of_ocaml.1.3.2, js_of_ocaml.1.3.1, js_of_ocaml.1.2, javalib.2.2.2, inspect.0.2.1, imagemagick.0.33.2, imagemagick.0.33.1, imagemagick.0.33, hydro.0.7.1, hweak.1.1, hevea.2.01, herelib.109.08.00, headache.1.03, gtktop.2.0, gsl-ocaml.1.11.0, gpr.1.1.0, gpr.1.0.2, google-drive-ocamlfuse. | |
| 0.3.1, google-drive-ocamlfuse.0.3, google-drive-ocamlfuse.0.2.1, github.0.4.3, github.0.4.2, github.0.4.1, github.0.4.0, github.0.3.3, github.0.3.2, github.0.3.1, github.0.3.0, gettext.0.3.4, getopt.20120615, gapi-ocaml.0.2, FrontC.3.4, frama-c.Oxygen-20120901, frama-c.Nitrogen-20111001, format.0.1, forkwork.0.3.1, flow.0.1, flac.0.1.1, fileutils.0.4.4, fieldslib.109.08.00, fieldslib.109.07.00, fieldslib.108.08.00, fieldslib.108.07.01, fieldslib.108.07.00, fieldslib.108.00.02, fftw-ocaml.0, facile.1.1, extlib.1.5.3, extlib.1.5.2, eliom.3.0.3, eliom.3.0.2, eliom.3.0.1, eliom.3.0.0, eliom.2.2.2, easy-format.1.0.1, dypgen.20120619-1, dyntype.0.9.0, dyntype.0.8.5, dyntype.0.8.4, dyntype.0.8.3, dyntype.0.8.2, dum.1.0.0, dose.3.1.2, dose.3.1.1, dose.2.9.15, dns.0.6.0, dns.0.5.1, dns.0.5.0, dns.0.4.0, deriving-ocsigen.0.3c, debug-camlp4-log.base, dbm.1.0, dbforge.2.0, datalog.0.2, datalog.0.1, cudf.0.6.2, csv.1.2.2, cstruct.0.6.2, cstruct.0.6.1, cstruct.0.6.0, cstruct.0.5.3, cstruct.0.5.2, cstruct.0.5.1, cstruct.0. | |
| 5.0, cstruct.0.4.1, cstruct.0.4.0, cryptokit-sha512.1.6.3, cryptokit-sha512.1.6.2, cryptokit.1.6, cryptgps.0.2.1, crypt.1.0, crunch.1.0.1, crunch.1.0.0, cppo.0.9.3, cow.0.5.2, cow.0.4.0, cow.0.3.2, cow.0.3.1, cow.0.3.0, core_extended.109.08.00, core_extended.109.07.00, core_extended.108.08.00, core_extended.108.07.01, core_extended.108.07.00, core_extended.108.00.02, core_extended.108.00.01, core.109.08.00, core.109.07.00, core.108.08.00, core.108.07.01, core.108.07.00, core.108.00.02, coq.8.4pl1, coq.8.3, config-file.1.1, conf-llvm-debug.0.0, conf-libev.4-11, comparelib.109.08.00, comparelib.109.07.00, comparelib.108.08.00, comparelib.108.07.01, comparelib.108.07.00, comparelib.108.00.02, combine.0.42, cohttp.0.9.5, cohttp.0.9.4, cohttp.0.9.3, cohttp.0.9.2, cohttp.0.9.1, cmdliner.0.9.2, cil.1.5.1, chamo.2.01, cfg.2.0.1, cduce_ws.0.1, cduce.0.5.5, ccss.1.3, camomile.0.8.3, camlzip.1.05, camlzip.1.04, camltemplate.1.0.2, camlp5.6.07, camlp5.6.06, camlp5.6.04, camlmix.1.3.0, camlimages.4.0.2, camlimages.4.0.1, | |
| camlidl.1.05, CamlGI.0.6, camlbz2.0.6.0, caml2html.1.4.3, caml2html.1.4.2, caml2html.1.4.1, calendar.2.03.2, calendar.2.03.1, cairo1.ocaml-1.2.0, cairo.0.4.2, cairo.0.4.1, cache.1.0, bolt.1.3, bolt.1.2, bitstring.2.0.3, bitcoin.1.0, bisect.1.3, bisect.1.1, biniou.1.0.5, binary.0.1, bin_prot.109.08.00, bin_prot.109.07.00, bin_prot.108.08.00, bin_prot.108.07.01, bin_prot.108.07.00, bin_prot.108.00.02, bigbro.2.0.4-rev3, bes.0.9.3, benchmark.1.2, benchmark.1.1, bench.1.3, batteries.2.0.0, batteries.1.5.0, batteries.1.4.3, base-unix.base, base-threads.base, base-bigarray.base, baardskeerder.0.5.1, aws.0.0.2, atdgen.1.2.3, atdgen.1.2.2, atd.1.0.2, atd.1.0.1, async_unix.109.08.00, async_unix.109.07.00, async_unix.108.08.00, async_unix.108.07.01, async_unix.108.07.00, async_unix.108.00.02, async_unix.108.00.01, async_extra.109.08.00, async_extra.109.07.00, async_extra.108.08.00, async_extra.108.07.01, async_extra.108.07.00, async_extra.108.00.02, async_extra.108.00.01, async_core.109.08.00, async_core.109.07.00, | |
| async_core.108.08.00, async_core.108.07.01, async_core.108.07.00, async_core.108.00.02, async_core.108.00.01, async.109.08.00, async.109.07.00, async.108.08.00, async.108.07.01, async.108.07.00, async.108.00.02, async.108.00.01, archimedes.0.4.15, archimedes.0.4.13, apalogretrieve.0.9.6-4, ANSITerminal.0.6, ansicolor.0.5, annot.1.0.0, annexlib.0.13.5, ancient.0.9.0, alt-ergo.0.95, alt-ergo.0.94, alphaCaml.20061214, aifad.2.0.2 } | |
| [18180] STATE INSTALLED : { ocamlfind.1.3.3, lwt.2.4.3, js_of_ocaml.1.3.2, deriving-ocsigen.0.3c, base-unix.base, base-threads.base, base-bigarray.base } | |
| [18180] STATE ROOTS : { ocamlfind.1.3.3, lwt.2.4.3, js_of_ocaml.1.3.2, deriving-ocsigen.0.3c, base-unix.base, base-threads.base, base-bigarray.base } | |
| [18180] STATE REINSTALL : {} | |
| [18180] SYSTEM [log-5a61c5] ocamlc -version | |
| [18180] STATE find_repository core_extended.108.08.00 | |
| [18180] STATE find_repository binary.0.1 | |
| [18180] STATE find_repository async_extra.109.07.00 | |
| [18180] STATE find_repository async.108.07.01 | |
| [18180] STATE find_repository ansicolor.0.5 | |
| [18180] STATE find_repository alt-ergo.0.95 | |
| [18180] STATE find_repository alphaCaml.20061214 | |
| [18180] STATE find_repository aifad.2.0.2 | |
| [18180] STATE find_repository alt-ergo.0.94 | |
| [18180] STATE find_repository annexlib.0.13.5 | |
| [18180] STATE find_repository ancient.0.9.0 | |
| [18180] STATE find_repository annot.1.0.0 | |
| [18180] STATE find_repository archimedes.0.4.15 | |
| [18180] STATE find_repository apalogretrieve.0.9.6-4 | |
| [18180] STATE find_repository ANSITerminal.0.6 | |
| [18180] STATE find_repository archimedes.0.4.13 | |
| [18180] STATE find_repository async.108.00.02 | |
| [18180] STATE find_repository async.108.00.01 | |
| [18180] STATE find_repository async.108.07.00 | |
| [18180] STATE find_repository async_core.108.08.00 | |
| [18180] STATE find_repository async_core.108.00.01 | |
| [18180] STATE find_repository async.109.07.00 | |
| [18180] STATE find_repository async.108.08.00 | |
| [18180] STATE find_repository async.109.08.00 | |
| [18180] STATE find_repository async_core.108.07.00 | |
| [18180] STATE find_repository async_core.108.00.02 | |
| [18180] STATE find_repository async_core.108.07.01 | |
| [18180] STATE find_repository async_extra.108.00.02 | |
| [18180] STATE find_repository async_core.109.08.00 | |
| [18180] STATE find_repository async_core.109.07.00 | |
| [18180] STATE find_repository async_extra.108.00.01 | |
| [18180] STATE find_repository async_extra.108.07.01 | |
| [18180] STATE find_repository async_extra.108.07.00 | |
| [18180] STATE find_repository async_extra.108.08.00 | |
| [18180] STATE find_repository async_unix.109.08.00 | |
| [18180] STATE find_repository async_unix.108.07.00 | |
| [18180] STATE find_repository async_unix.108.00.01 | |
| [18180] STATE find_repository async_extra.109.08.00 | |
| [18180] STATE find_repository async_unix.108.00.02 | |
| [18180] STATE find_repository async_unix.108.08.00 | |
| [18180] STATE find_repository async_unix.108.07.01 | |
| [18180] STATE find_repository async_unix.109.07.00 | |
| [18180] STATE find_repository atdgen.1.2.3 | |
| [18180] STATE find_repository atd.1.0.2 | |
| [18180] STATE find_repository atd.1.0.1 | |
| [18180] STATE find_repository atdgen.1.2.2 | |
| [18180] STATE find_repository baardskeerder.0.5.1 | |
| [18180] STATE find_repository aws.0.0.2 | |
| [18180] STATE find_repository bes.0.9.3 | |
| [18180] STATE find_repository batteries.2.0.0 | |
| [18180] STATE find_repository batteries.1.4.3 | |
| [18180] STATE find_repository batteries.1.5.0 | |
| [18180] STATE find_repository benchmark.1.1 | |
| [18180] STATE find_repository bench.1.3 | |
| [18180] STATE find_repository benchmark.1.2 | |
| [18180] STATE find_repository bin_prot.108.07.01 | |
| [18180] STATE find_repository bin_prot.108.00.02 | |
| [18180] STATE find_repository bigbro.2.0.4-rev3 | |
| [18180] STATE find_repository bin_prot.108.07.00 | |
| [18180] STATE find_repository bin_prot.109.07.00 | |
| [18180] STATE find_repository bin_prot.108.08.00 | |
| [18180] STATE find_repository bin_prot.109.08.00 | |
| [18180] STATE find_repository cduce_ws.0.1 | |
| [18180] STATE find_repository caml2html.1.4.3 | |
| [18180] STATE find_repository cache.1.0 | |
| [18180] STATE find_repository bitcoin.1.0 | |
| [18180] STATE find_repository bisect.1.1 | |
| [18180] STATE find_repository biniou.1.0.5 | |
| [18180] STATE find_repository bisect.1.3 | |
| [18180] STATE find_repository bolt.1.2 | |
| [18180] STATE find_repository bitstring.2.0.3 | |
| [18180] STATE find_repository bolt.1.3 | |
| [18180] STATE find_repository calendar.2.03.1 | |
| [18180] STATE find_repository cairo.0.4.2 | |
| [18180] STATE find_repository cairo.0.4.1 | |
| [18180] STATE find_repository cairo1.ocaml-1.2.0 | |
| [18180] STATE find_repository caml2html.1.4.1 | |
| [18180] STATE find_repository calendar.2.03.2 | |
| [18180] STATE find_repository caml2html.1.4.2 | |
| [18180] STATE find_repository camlp5.6.06 | |
| [18180] STATE find_repository camlimages.4.0.1 | |
| [18180] STATE find_repository CamlGI.0.6 | |
| [18180] STATE find_repository camlbz2.0.6.0 | |
| [18180] STATE find_repository camlidl.1.05 | |
| [18180] STATE find_repository camlmix.1.3.0 | |
| [18180] STATE find_repository camlimages.4.0.2 | |
| [18180] STATE find_repository camlp5.6.04 | |
| [18180] STATE find_repository camlzip.1.05 | |
| [18180] STATE find_repository camltemplate.1.0.2 | |
| [18180] STATE find_repository camlp5.6.07 | |
| [18180] STATE find_repository camlzip.1.04 | |
| [18180] STATE find_repository ccss.1.3 | |
| [18180] STATE find_repository camomile.0.8.3 | |
| [18180] STATE find_repository cduce.0.5.5 | |
| [18180] STATE find_repository comparelib.109.08.00 | |
| [18180] STATE find_repository cohttp.0.9.4 | |
| [18180] STATE find_repository cmdliner.0.9.2 | |
| [18180] STATE find_repository chamo.2.01 | |
| [18180] STATE find_repository cfg.2.0.1 | |
| [18180] STATE find_repository cil.1.5.1 | |
| [18180] STATE find_repository cohttp.0.9.2 | |
| [18180] STATE find_repository cohttp.0.9.1 | |
| [18180] STATE find_repository cohttp.0.9.3 | |
| [18180] STATE find_repository comparelib.108.07.00 | |
| [18180] STATE find_repository combine.0.42 | |
| [18180] STATE find_repository cohttp.0.9.5 | |
| [18180] STATE find_repository comparelib.108.00.02 | |
| [18180] STATE find_repository comparelib.108.08.00 | |
| [18180] STATE find_repository comparelib.108.07.01 | |
| [18180] STATE find_repository comparelib.109.07.00 | |
| [18180] STATE find_repository core.108.07.01 | |
| [18180] STATE find_repository coq.8.3 | |
| [18180] STATE find_repository conf-llvm-debug.0.0 | |
| [18180] STATE find_repository conf-libev.4-11 | |
| [18180] STATE find_repository config-file.1.1 | |
| [18180] STATE find_repository core.108.00.02 | |
| [18180] STATE find_repository coq.8.4pl1 | |
| [18180] STATE find_repository core.108.07.00 | |
| [18180] STATE find_repository core_extended.108.00.01 | |
| [18180] STATE find_repository core.109.07.00 | |
| [18180] SYSTEM [log-4bcc67] uname -s | |
| [18180] STATE find_repository core.108.08.00 | |
| [18180] STATE find_repository core.109.08.00 | |
| [18180] STATE find_repository core_extended.108.07.00 | |
| [18180] STATE find_repository core_extended.108.00.02 | |
| [18180] STATE find_repository core_extended.108.07.01 | |
| [18180] STATE find_repository flac.0.1.1 | |
| [18180] STATE find_repository cstruct.0.4.0 | |
| [18180] STATE find_repository cppo.0.9.3 | |
| [18180] STATE find_repository cow.0.3.1 | |
| [18180] STATE find_repository core_extended.109.08.00 | |
| [18180] STATE find_repository core_extended.109.07.00 | |
| [18180] STATE find_repository cow.0.3.0 | |
| [18180] STATE find_repository cow.0.4.0 | |
| [18180] STATE find_repository cow.0.3.2 | |
| [18180] STATE find_repository cow.0.5.2 | |
| [18180] STATE find_repository cryptgps.0.2.1 | |
| [18180] STATE find_repository crunch.1.0.1 | |
| [18180] STATE find_repository crunch.1.0.0 | |
| [18180] STATE find_repository crypt.1.0 | |
| [18180] STATE find_repository cryptokit-sha512.1.6.2 | |
| [18180] STATE find_repository cryptokit.1.6 | |
| [18180] STATE find_repository cryptokit-sha512.1.6.3 | |
| [18180] STATE find_repository cstruct.0.6.2 | |
| [18180] STATE find_repository cstruct.0.5.2 | |
| [18180] STATE find_repository cstruct.0.5.0 | |
| [18180] STATE find_repository cstruct.0.4.1 | |
| [18180] STATE find_repository cstruct.0.5.1 | |
| [18180] STATE find_repository cstruct.0.6.0 | |
| [18180] STATE find_repository cstruct.0.5.3 | |
| [18180] STATE find_repository cstruct.0.6.1 | |
| [18180] STATE find_repository datalog.0.2 | |
| [18180] STATE find_repository cudf.0.6.2 | |
| [18180] STATE find_repository csv.1.2.2 | |
| [18180] STATE find_repository datalog.0.1 | |
| [18180] STATE find_repository dbm.1.0 | |
| [18180] STATE find_repository dbforge.2.0 | |
| [18180] STATE find_repository debug-camlp4-log.base | |
| [18180] STATE find_repository eliom.2.2.2 | |
| [18180] STATE find_repository dum.1.0.0 | |
| [18180] STATE find_repository dns.0.6.0 | |
| [18180] STATE find_repository dns.0.5.0 | |
| [18180] STATE find_repository dns.0.4.0 | |
| [18180] STATE find_repository dns.0.5.1 | |
| [18180] STATE find_repository dose.3.1.1 | |
| [18180] STATE find_repository dose.2.9.15 | |
| [18180] STATE find_repository dose.3.1.2 | |
| [18180] STATE find_repository dyntype.0.8.5 | |
| [18180] STATE find_repository dyntype.0.8.3 | |
| [18180] STATE find_repository dyntype.0.8.2 | |
| [18180] STATE find_repository dyntype.0.8.4 | |
| [18180] STATE find_repository dypgen.20120619-1 | |
| [18180] STATE find_repository dyntype.0.9.0 | |
| [18180] STATE find_repository easy-format.1.0.1 | |
| [18180] STATE find_repository fftw-ocaml.0 | |
| [18180] STATE find_repository eliom.3.0.3 | |
| [18180] STATE find_repository eliom.3.0.1 | |
| [18180] STATE find_repository eliom.3.0.0 | |
| [18180] STATE find_repository eliom.3.0.2 | |
| [18180] STATE find_repository extlib.1.5.3 | |
| [18180] STATE find_repository extlib.1.5.2 | |
| [18180] STATE find_repository facile.1.1 | |
| [18180] STATE find_repository fieldslib.108.08.00 | |
| [18180] STATE find_repository fieldslib.108.07.00 | |
| [18180] STATE find_repository fieldslib.108.00.02 | |
| [18180] STATE find_repository fieldslib.108.07.01 | |
| [18180] STATE find_repository fieldslib.109.08.00 | |
| [18180] STATE find_repository fieldslib.109.07.00 | |
| [18180] STATE find_repository fileutils.0.4.4 | |
| [18180] STATE find_repository imagemagick.0.33.2 | |
| [18180] STATE find_repository github.0.4.2 | |
| [18180] STATE find_repository getopt.20120615 | |
| [18180] STATE find_repository frama-c.Nitrogen-20111001 | |
| [18180] STATE find_repository forkwork.0.3.1 | |
| [18180] STATE find_repository flow.0.1 | |
| [18180] STATE find_repository format.0.1 | |
| [18180] STATE find_repository FrontC.3.4 | |
| [18180] STATE find_repository frama-c.Oxygen-20120901 | |
| [18180] STATE find_repository gapi-ocaml.0.2 | |
| [18180] STATE find_repository github.0.3.2 | |
| [18180] STATE find_repository github.0.3.0 | |
| [18180] STATE find_repository gettext.0.3.4 | |
| [18180] STATE find_repository github.0.3.1 | |
| [18180] STATE find_repository github.0.4.0 | |
| [18180] STATE find_repository github.0.3.3 | |
| [18180] STATE find_repository github.0.4.1 | |
| [18180] STATE find_repository gtktop.2.0 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.3.1 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.2.1 | |
| [18180] STATE find_repository github.0.4.3 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.3 | |
| [18180] STATE find_repository gpr.1.1.0 | |
| [18180] STATE find_repository gpr.1.0.2 | |
| [18180] STATE find_repository gsl-ocaml.1.11.0 | |
| [18180] STATE find_repository hweak.1.1 | |
| [18180] STATE find_repository herelib.109.08.00 | |
| [18180] STATE find_repository headache.1.03 | |
| [18180] STATE find_repository hevea.2.01 | |
| [18180] STATE find_repository imagemagick.0.33 | |
| [18180] STATE find_repository hydro.0.7.1 | |
| [18180] STATE find_repository imagemagick.0.33.1 | |
| [18180] STATE find_repository lablgtk-extras.1.3 | |
| [18180] STATE find_repository jsondiff.0.0.1 | |
| [18180] STATE find_repository js_of_ocaml.1.3.1 | |
| [18180] STATE find_repository javalib.2.2.2 | |
| [18180] STATE find_repository inspect.0.2.1 | |
| [18180] STATE find_repository js_of_ocaml.1.2 | |
| [18180] STATE find_repository json-static.0.9.8 | |
| [18180] STATE find_repository json-wheel.1.0.6 | |
| [18180] STATE find_repository lablgl.20120306 | |
| [18180] STATE find_repository kaputt.1.1 | |
| [18180] STATE find_repository jsonm.0.9.1 | |
| [18180] STATE find_repository kaputt.1.2 | |
| [18180] STATE find_repository lablgtk.2.16.0 | |
| [18180] STATE find_repository lablgtk.2.14.2-oasis8 | |
| [18180] STATE find_repository lablgtk-extras.1.2 | |
| [18180] STATE find_repository liquidsoap.1.0.1-full | |
| [18180] STATE find_repository lacaml.7.0.7 | |
| [18180] STATE find_repository lacaml.7.0.3 | |
| [18180] STATE find_repository lacaml.7.0.0 | |
| [18180] STATE find_repository lacaml.7.0.6 | |
| [18180] STATE find_repository lbfgs.0.8.3 | |
| [18180] STATE find_repository lambda-term.1.2 | |
| [18180] STATE find_repository ledit.2.03 | |
| [18180] STATE find_repository lwt.2.3.2 | |
| [18180] STATE find_repository llvm.3.1 | |
| [18180] STATE find_repository litiom.2.0 | |
| [18180] STATE find_repository llvm.3.2 | |
| [18180] STATE find_repository lwt.2.4.1 | |
| [18180] STATE find_repository lwt.2.4.0 | |
| [18180] STATE find_repository lwt.2.4.2 | |
| [18180] STATE find_repository optimization1d.0.5 | |
| [18180] STATE find_repository ocaml-rdf.0.3 | |
| [18180] STATE find_repository mparser.1.0 | |
| [18180] STATE find_repository mirage.0.4.1 | |
| [18180] STATE find_repository menhir.20120123 | |
| [18180] STATE find_repository macaque.0.6.1 | |
| [18180] STATE find_repository lzo.0.0.1 | |
| [18180] STATE find_repository lwt-zmq.1.0-beta3 | |
| [18180] STATE find_repository macaque.0.6 | |
| [18180] STATE find_repository mascot.1.0 | |
| [18180] STATE find_repository magic.0.7.3 | |
| [18180] STATE find_repository melt.1.4.0 | |
| [18180] STATE find_repository meta_conv.1.0.0 | |
| [18180] STATE find_repository meta_conv.0.10.0 | |
| [18180] STATE find_repository meta_conv.0.9.0 | |
| [18180] STATE find_repository meta_conv.0.11.0 | |
| [18180] STATE find_repository milter.1.0.0 | |
| [18180] STATE find_repository mikmatch.1.0.5 | |
| [18180] STATE find_repository mirage.0.4.0 | |
| [18180] STATE find_repository mirage-net.0.4.0 | |
| [18180] STATE find_repository mirage.0.7.2 | |
| [18180] STATE find_repository mirage.0.6.0 | |
| [18180] STATE find_repository mirage.0.5.0 | |
| [18180] STATE find_repository mirage.0.6.1 | |
| [18180] STATE find_repository mirage-net.0.3.0 | |
| [18180] STATE find_repository mirage-fs.0.3.0 | |
| [18180] STATE find_repository mirage-net.0.3.1 | |
| [18180] STATE find_repository mldonkey.3.1.2 | |
| [18180] STATE find_repository mirage-net.0.5.2 | |
| [18180] STATE find_repository mirage-net.0.4.1 | |
| [18180] STATE find_repository missinglib.0.4.1 | |
| [18180] STATE find_repository mlpost.0.8.1 | |
| [18180] STATE find_repository mlgmp.20120224 | |
| [18180] STATE find_repository monadlib.0.1 | |
| [18180] STATE find_repository ocaml-expat.0.9.1 | |
| [18180] STATE find_repository obrowser.1.1.1 | |
| [18180] STATE find_repository oasis.0.2.0 | |
| [18180] STATE find_repository netamqp.1.0 | |
| [18180] STATE find_repository mpi.1.01 | |
| [18180] STATE find_repository nlopt-ocaml.0.4 | |
| [18180] STATE find_repository oasis-mirage.0.3.0 | |
| [18180] STATE find_repository oasis.0.3.0 | |
| [18180] STATE find_repository oasis-mirage.0.3.0a | |
| [18180] STATE find_repository ocaml-arg.0.2 | |
| [18180] STATE find_repository ocaml+twt.0.93 | |
| [18180] STATE find_repository obus.1.1.5 | |
| [18180] STATE find_repository ocaml-arg.0.1 | |
| [18180] STATE find_repository ocaml-data-notation.0.0.9 | |
| [18180] STATE find_repository ocaml-arg.0.3 | |
| [18180] STATE find_repository ocaml-data-notation.0.0.10 | |
| [18180] STATE find_repository ocaml-mad.0.4.4 | |
| [18180] STATE find_repository ocaml-http.0.1.5 | |
| [18180] STATE find_repository ocaml-extunix.0.0.4 | |
| [18180] STATE find_repository ocaml-expect.0.0.2 | |
| [18180] STATE find_repository ocaml-glpk.0.1.6 | |
| [18180] STATE find_repository ocaml-inifiles.1.2 | |
| [18180] STATE find_repository ocaml-indent.1.1.0 | |
| [18180] STATE find_repository ocaml-lua.1.0 | |
| [18180] STATE find_repository ocaml-mysql.1.1.1 | |
| [18180] STATE find_repository ocaml-markdown.0.1.0 | |
| [18180] STATE find_repository ocaml-makefile.6.37.0 | |
| [18180] STATE find_repository ocaml-mysql.1.0.4 | |
| [18180] STATE find_repository ocaml-radixtree.0.0.1 | |
| [18180] STATE find_repository ocaml-posix-resource.0.0.1 | |
| [18180] STATE find_repository ocaml-rdf.0.2 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.0.1 | |
| [18180] STATE find_repository ocamldsort.0.15.0 | |
| [18180] STATE find_repository ocaml-xdg-basedir.0.0.2 | |
| [18180] STATE find_repository ocaml-src.4.00.1 | |
| [18180] STATE find_repository ocaml-src.3.12.1 | |
| [18180] STATE find_repository ocaml-sqlexpr.0.3.0 | |
| [18180] STATE find_repository ocaml-src.4.00.0 | |
| [18180] STATE find_repository ocaml-text.0.5 | |
| [18180] STATE find_repository ocaml-taglib.0.2.0 | |
| [18180] STATE find_repository ocaml-text.0.6 | |
| [18180] STATE find_repository ocamldap.2.2 | |
| [18180] STATE find_repository ocaml-zmq.0 | |
| [18180] STATE find_repository ocaml-xml-rpc.0.2.3 | |
| [18180] STATE find_repository ocamldap.2.1.8 | |
| [18180] STATE find_repository ocamldiff.1.0 | |
| [18180] STATE find_repository ocamldbi.0.9.11 | |
| [18180] STATE find_repository ocamldot.1.0 | |
| [18180] STATE find_repository ocamlify.0.0.1 | |
| [18180] STATE find_repository ocamlfuse.2.7.1-cvs | |
| [18180] STATE find_repository ocamlfind.1.3.2 | |
| [18180] STATE find_repository ocamlfind.1.3.1 | |
| [18180] STATE find_repository ocamlgraph.1.8.2 | |
| [18180] STATE find_repository ocamlgraph.1.8.1 | |
| [18180] STATE find_repository ocamlgsl.0.6.0 | |
| [18180] STATE find_repository ocamlnet.3.6.0 | |
| [18180] STATE find_repository ocamlnet.3.2.1 | |
| [18180] STATE find_repository ocamlmod.0.0.3 | |
| [18180] STATE find_repository ocamlnet.3.5.1 | |
| [18180] STATE find_repository ocamlscript.2.0.2 | |
| [18180] STATE find_repository ocamlrss.2.0 | |
| [18180] STATE find_repository ocamlsdl.0.9.1 | |
| [18180] STATE find_repository ocp-indent.0.9.0 | |
| [18180] STATE find_repository ocp-build.1.99-beta | |
| [18180] STATE find_repository ocamltter.2.0.0 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.1.1 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.1.0 | |
| [18180] STATE find_repository ocamltop-gtk.2.1 | |
| [18180] STATE find_repository ocamlweb.1.38 | |
| [18180] STATE find_repository ocamlviz.1.01 | |
| [18180] STATE find_repository ocp-build.0.1 | |
| [18180] STATE find_repository ocp-indent.0.1.0 | |
| [18180] STATE find_repository ocp-build.1.99.2-beta | |
| [18180] STATE find_repository ocp-build.1.99.1-beta | |
| [18180] STATE find_repository ocp-build.1.99.3-beta | |
| [18180] STATE find_repository ocp-indent.0.6.1 | |
| [18180] STATE find_repository ocp-indent.0.6.0 | |
| [18180] STATE find_repository ocp-indent.0.6.2 | |
| [18180] STATE find_repository ogg.0.4.3 | |
| [18180] STATE find_repository ocsigenserver.2.2.0 | |
| [18180] STATE find_repository ocplib-endian.0.3 | |
| [18180] STATE find_repository ocplib-endian.0.2 | |
| [18180] STATE find_repository ocsigenserver.2.1 | |
| [18180] STATE find_repository odb-server.0.1 | |
| [18180] STATE find_repository ocurl.0.5.4 | |
| [18180] STATE find_repository odepack.0.6.2 | |
| [18180] STATE find_repository opam2web.1.2.0 | |
| [18180] STATE find_repository opam-lib.0.8.3 | |
| [18180] STATE find_repository omake.0.9.8.6-0.rc1 | |
| [18180] STATE find_repository opam-lib.0.9.1 | |
| [18180] STATE find_repository opass.0.2.1 | |
| [18180] STATE find_repository opass.0.2.0 | |
| [18180] STATE find_repository optcomp.1.4 | |
| [18180] STATE find_repository typehashlib.108.08.00 | |
| [18180] STATE find_repository rml.1.08.04 | |
| [18180] STATE find_repository pgocaml.1.7 | |
| [18180] STATE find_repository pa_do.0.8.16 | |
| [18180] STATE find_repository ospec.0.2.1 | |
| [18180] STATE find_repository orakuda.1.0.2 | |
| [18180] STATE find_repository oqamldebug.0.9.2 | |
| [18180] STATE find_repository oqamldebug.0.9.1 | |
| [18180] STATE find_repository orakuda.1.0.1 | |
| [18180] STATE find_repository orm.0.6.4 | |
| [18180] STATE find_repository orm.0.6.3 | |
| [18180] STATE find_repository orm.0.7.0 | |
| [18180] STATE find_repository ott.distro-0.21.2 | |
| [18180] STATE find_repository otags.3.12.5 | |
| [18180] STATE find_repository ospec.0.3.0 | |
| [18180] STATE find_repository otags.4.00.1 | |
| [18180] STATE find_repository pa_comprehension.0.4 | |
| [18180] STATE find_repository ounit.1.1.2 | |
| [18180] STATE find_repository pa_do.0.8.15 | |
| [18180] STATE find_repository parmap.0.9.1 | |
| [18180] STATE find_repository pa_ounit.108.07.01 | |
| [18180] STATE find_repository pa_ounit.108.00.02 | |
| [18180] STATE find_repository pa_monad_custom.v6.0.0 | |
| [18180] STATE find_repository pa_ounit.108.07.00 | |
| [18180] STATE find_repository pa_ounit.109.07.00 | |
| [18180] STATE find_repository pa_ounit.108.08.00 | |
| [18180] STATE find_repository pa_ounit.109.08.00 | |
| [18180] STATE find_repository pcap.0.3.1 | |
| [18180] STATE find_repository passwdgen.0.1 | |
| [18180] STATE find_repository parmap.1.0-rc1 | |
| [18180] STATE find_repository patdiff.109.08.00 | |
| [18180] STATE find_repository pcre-ocaml.6.2.5 | |
| [18180] STATE find_repository pcap.0.3.2 | |
| [18180] STATE find_repository pgocaml.1.6 | |
| [18180] STATE find_repository pprint.20130131 | |
| [18180] STATE find_repository piqi.0.6.0 | |
| [18180] STATE find_repository pipebang.108.07.01 | |
| [18180] STATE find_repository pipebang.108.00.02 | |
| [18180] STATE find_repository pgocaml.1.7.1 | |
| [18180] STATE find_repository pipebang.108.07.00 | |
| [18180] STATE find_repository pipebang.109.07.00 | |
| [18180] STATE find_repository pipebang.108.08.00 | |
| [18180] STATE find_repository pipebang.109.08.00 | |
| [18180] STATE find_repository plasma.0.6.1 | |
| [18180] STATE find_repository planck.2.0.1 | |
| [18180] STATE find_repository planck.1.0.1 | |
| [18180] STATE find_repository planets.0.1.13 | |
| [18180] STATE find_repository postgres.20040120 | |
| [18180] STATE find_repository pomap.3.0.1 | |
| [18180] STATE find_repository postgresql-ocaml.2.0.2 | |
| [18180] STATE find_repository re.1.2.0 | |
| [18180] STATE find_repository qtest.2.0.0 | |
| [18180] STATE find_repository pulseaudio.0.1.2 | |
| [18180] STATE find_repository promela.0.4.2 | |
| [18180] STATE find_repository pxp.1.2.3 | |
| [18180] STATE find_repository re.1.0 | |
| [18180] STATE find_repository quickcheck.0.0.3 | |
| [18180] STATE find_repository re.1.1.0 | |
| [18180] STATE find_repository release.1.0.0 | |
| [18180] STATE find_repository react.0.9.4 | |
| [18180] STATE find_repository react.0.9.3 | |
| [18180] STATE find_repository regstab.2.0.0 | |
| [18180] STATE find_repository release.1.0.2 | |
| [18180] STATE find_repository release.1.0.1 | |
| [18180] STATE find_repository res.3.2.0 | |
| [18180] STATE find_repository spotlib.2.0.1 | |
| [18180] STATE find_repository sexplib.108.07.01 | |
| [18180] STATE find_repository sawja.1.4 | |
| [18180] STATE find_repository rpc.1.3.1 | |
| [18180] STATE find_repository rpc.1.2.0 | |
| [18180] STATE find_repository root1d.0.2 | |
| [18180] STATE find_repository rpc.1.3.0 | |
| [18180] STATE find_repository safepass.1.0 | |
| [18180] STATE find_repository rtime.0.9.3 | |
| [18180] STATE find_repository safepass.1.2 | |
| [18180] STATE find_repository sequence.0.2 | |
| [18180] STATE find_repository sedlex.1.99 | |
| [18180] STATE find_repository schoca.0.2.3 | |
| [18180] STATE find_repository sequence.0.1 | |
| [18180] STATE find_repository sexplib.108.00.02 | |
| [18180] STATE find_repository sexplib.7.0.5 | |
| [18180] STATE find_repository sexplib.108.07.00 | |
| [18180] STATE find_repository simple_pam.0.1.2 | |
| [18180] STATE find_repository sha.1.8 | |
| [18180] STATE find_repository sexplib.109.07.00 | |
| [18180] STATE find_repository sexplib.108.08.00 | |
| [18180] STATE find_repository sexplib.109.08.00 | |
| [18180] STATE find_repository shcaml.0.1.3 | |
| [18180] STATE find_repository shared-memory-ring.0.2.0 | |
| [18180] STATE find_repository simple_pam.0.1.1 | |
| [18180] STATE find_repository spotinstall.1.0.0 | |
| [18180] STATE find_repository sonet.0.1.1 | |
| [18180] STATE find_repository snappy.0.0.1 | |
| [18180] STATE find_repository spf.1.0.0 | |
| [18180] STATE find_repository spotinstall.1.1.0 | |
| [18180] STATE find_repository spotinstall.1.0.1 | |
| [18180] STATE find_repository spotlib.1.0.0 | |
| [18180] STATE find_repository tiny_json_conv.1.0.1 | |
| [18180] STATE find_repository stog.0.4 | |
| [18180] STATE find_repository sqlite3-ocaml.2.0.2 | |
| [18180] STATE find_repository spotlib.2.1.1 | |
| [18180] STATE find_repository spotlib.2.1.0 | |
| [18180] STATE find_repository sqlite3-ocaml.1.6.3 | |
| [18180] STATE find_repository srs.1.0.0 | |
| [18180] STATE find_repository sqlite3-ocaml.2.0.3 | |
| [18180] STATE find_repository ssl.0.4.6 | |
| [18180] STATE find_repository stog-writing.0.6 | |
| [18180] STATE find_repository stog.0.6.1 | |
| [18180] STATE find_repository stog.0.5 | |
| [18180] STATE find_repository stog-rdf.0.6 | |
| [18180] STATE find_repository tiny_json.1.0.0 | |
| [18180] STATE find_repository syslog.1.4 | |
| [18180] STATE find_repository tiny_json_conv.1.0.0 | |
| [18180] STATE find_repository type_conv.108.07.00 | |
| [18180] STATE find_repository treeprint.1.0.1 | |
| [18180] STATE find_repository tiny_json_conv.1.2.0 | |
| [18180] STATE find_repository tiny_json_conv.1.1.0 | |
| [18180] STATE find_repository tophide.1.0.1 | |
| [18180] STATE find_repository tstp-proof-checker.0.1 | |
| [18180] STATE find_repository tryocaml.0.2.2 | |
| [18180] STATE find_repository type_conv.108.00.02 | |
| [18180] STATE find_repository type_conv.109.08.00 | |
| [18180] STATE find_repository type_conv.108.08.00 | |
| [18180] STATE find_repository type_conv.108.07.01 | |
| [18180] STATE find_repository type_conv.109.07.00 | |
| [18180] STATE find_repository typehashlib.108.07.00 | |
| [18180] STATE find_repository typehashlib.108.00.02 | |
| [18180] STATE find_repository typehashlib.108.07.01 | |
| [18180] STATE find_repository variantslib.108.07.01 | |
| [18180] STATE find_repository uri.1.1 | |
| [18180] STATE find_repository tyxml.2.2.0 | |
| [18180] STATE find_repository typerex.1.99.1-beta | |
| [18180] STATE find_repository typehashlib.109.08.00 | |
| [18180] STATE find_repository typehashlib.109.07.00 | |
| [18180] STATE find_repository typerex.1.99.0-beta | |
| [18180] STATE find_repository typerex.1.99.3-beta | |
| [18180] STATE find_repository typerex.1.99.2-beta | |
| [18180] STATE find_repository tyxml.2.1 | |
| [18180] STATE find_repository uint.1.1.0 | |
| [18180] STATE find_repository uint.1.0.2 | |
| [18180] STATE find_repository ucorelib.0.0.1 | |
| [18180] STATE find_repository uint.1.0.3 | |
| [18180] STATE find_repository unison.2.40.63 | |
| [18180] STATE find_repository ulex.1.1 | |
| [18180] STATE find_repository unison.2.40.102 | |
| [18180] STATE find_repository utop.1.2.1 | |
| [18180] STATE find_repository uri.1.3.3 | |
| [18180] STATE find_repository uri.1.3.1 | |
| [18180] STATE find_repository uri.1.3.0 | |
| [18180] STATE find_repository uri.1.3.2 | |
| [18180] STATE find_repository uri.1.3.5 | |
| [18180] STATE find_repository uri.1.3.4 | |
| [18180] STATE find_repository uri.1.3.6 | |
| [18180] STATE find_repository uunf.0.9.0 | |
| [18180] STATE find_repository uucd.0.9.0 | |
| [18180] STATE find_repository utop.1.3.0 | |
| [18180] STATE find_repository uuidm.0.9.5 | |
| [18180] STATE find_repository variantslib.108.00.02 | |
| [18180] STATE find_repository uutf.0.9.1 | |
| [18180] STATE find_repository variantslib.108.07.00 | |
| [18180] STATE find_repository wyrd.1.4.5 | |
| [18180] STATE find_repository weberizer.0.6.1 | |
| [18180] STATE find_repository vorbis.0.6.1 | |
| [18180] STATE find_repository variantslib.109.07.00 | |
| [18180] STATE find_repository variantslib.108.08.00 | |
| [18180] STATE find_repository variantslib.109.08.00 | |
| [18180] STATE find_repository webdav.1.0 | |
| [18180] STATE find_repository wdialog.2.1.3 | |
| [18180] STATE find_repository webdav.1.1 | |
| [18180] STATE find_repository weberizer.0.7.2 | |
| [18180] STATE find_repository weberizer.0.6.5 | |
| [18180] STATE find_repository weberizer.0.6.2 | |
| [18180] STATE find_repository weberizer.0.7.1 | |
| [18180] STATE find_repository why.2.31 | |
| [18180] STATE find_repository wget.0.1.0 | |
| [18180] STATE find_repository why3.0.73 | |
| [18180] STATE find_repository yajl.0.7.2 | |
| [18180] STATE find_repository xmlm.1.1.1 | |
| [18180] STATE find_repository xenstore.1.1.0 | |
| [18180] STATE find_repository xenbigarray.1.0.0 | |
| [18180] STATE find_repository wyrd.1.4.6 | |
| [18180] STATE find_repository xenstore.1.0.0 | |
| [18180] STATE find_repository xml-light.2.2 | |
| [18180] STATE find_repository xenstore.1.2.0 | |
| [18180] STATE find_repository xmlm.1.1.0 | |
| [18180] STATE find_repository xtmpl.0.4 | |
| [18180] STATE find_repository xstrp4.1.8 | |
| [18180] STATE find_repository xstr.0.2.1 | |
| [18180] STATE find_repository xtmpl.0.3 | |
| [18180] STATE find_repository yajl.0.7.0 | |
| [18180] STATE find_repository xtmpl.0.5 | |
| [18180] STATE find_repository yajl.0.7.1 | |
| [18180] STATE find_repository yajl-extra.0.7.2 | |
| [18180] STATE find_repository yajl-extra.0.7.0 | |
| [18180] STATE find_repository yajl.0.7.3 | |
| [18180] STATE find_repository yajl-extra.0.7.1 | |
| [18180] STATE find_repository zarith.1.1 | |
| [18180] STATE find_repository yojson.1.0.3 | |
| [18180] STATE find_repository yajl-extra.0.7.3 | |
| [18180] STATE find_repository yojson.1.1.3 | |
| [18180] STATE find_repository zenon.0.7.1 | |
| [18180] STATE find_repository zed.1.2 | |
| [18180] STATE find_repository zipperposition.0.1 | |
| [18180] STATE find_repository zipperposition.0.1.1 | |
| [18180] 18180 locking /home/kakadu/.opam/system/lock | |
| [18180] CLIENT INSTALL { core.109.08.00 } | |
| [18180] STATE LOAD-STATE(install) | |
| [18180] STATE load_state root=/home/kakadu/.opam cached=true | |
| [18180] FILE(config) read /home/kakadu/.opam/config | |
| [18180] FILE(aliases) read /home/kakadu/.opam/aliases | |
| [18180] FILE(comp) read /home/kakadu/.opam/compilers/system.comp | |
| [18180] FILE(repo-config) read /home/kakadu/.opam/repo/default/config | |
| [18180] FILE(repo-index) read /home/kakadu/.opam/repo/index | |
| [18180] FILE(pinned) Cannot find /home/kakadu/.opam/system/pinned | |
| [18180] FILE(installed) read /home/kakadu/.opam/system/installed | |
| [18180] FILE(installed.roots) Cannot find /home/kakadu/.opam/system/installed.roots | |
| [18180] FILE(reinstall) Cannot find /home/kakadu/.opam/system/reinstall | |
| [18180] STATE ROOT : /home/kakadu/.opam | |
| [18180] STATE SWITCH : system | |
| [18180] STATE COMPILER : system | |
| [18180] STATE REPOS : { default } | |
| [18180] STATE PACKAGES : { zipperposition.0.1.1, zipperposition.0.1, zenon.0.7.1, zed.1.2, zarith.1.1, yojson.1.1.3, yojson.1.0.3, yajl-extra.0.7.3, yajl-extra.0.7.2, yajl-extra.0.7.1, yajl-extra.0.7.0, yajl.0.7.3, yajl.0.7.2, yajl.0.7.1, yajl.0.7.0, xtmpl.0.5, xtmpl.0.4, xtmpl.0.3, xstrp4.1.8, xstr.0.2.1, xmlm.1.1.1, xmlm.1.1.0, xml-light.2.2, xenstore.1.2.0, xenstore.1.1.0, xenstore.1.0.0, xenbigarray.1.0.0, wyrd.1.4.6, wyrd.1.4.5, why3.0.73, why.2.31, wget.0.1.0, weberizer.0.7.2, weberizer.0.7.1, weberizer.0.6.5, weberizer.0.6.2, weberizer.0.6.1, webdav.1.1, webdav.1.0, wdialog.2.1.3, vorbis.0.6.1, variantslib.109.08.00, variantslib.109.07.00, variantslib.108.08.00, variantslib.108.07.01, variantslib.108.07.00, variantslib.108.00.02, uutf.0.9.1, uunf.0.9.0, uuidm.0.9.5, uucd.0.9.0, utop.1.3.0, utop.1.2.1, uri.1.3.6, uri.1.3.5, uri.1.3.4, uri.1.3.3, uri.1.3.2, uri.1.3.1, uri.1.3.0, uri.1.1, unison.2.40.102, unison.2.40.63, ulex.1.1, uint.1.1.0, uint.1.0.3, uint.1.0.2, ucorelib.0.0.1, tyxml. | |
| 2.2.0, tyxml.2.1, typerex.1.99.3-beta, typerex.1.99.2-beta, typerex.1.99.1-beta, typerex.1.99.0-beta, typehashlib.109.08.00, typehashlib.109.07.00, typehashlib.108.08.00, typehashlib.108.07.01, typehashlib.108.07.00, typehashlib.108.00.02, type_conv.109.08.00, type_conv.109.07.00, type_conv.108.08.00, type_conv.108.07.01, type_conv.108.07.00, type_conv.108.00.02, tstp-proof-checker.0.1, tryocaml.0.2.2, treeprint.1.0.1, tophide.1.0.1, tiny_json_conv.1.2.0, tiny_json_conv.1.1.0, tiny_json_conv.1.0.1, tiny_json_conv.1.0.0, tiny_json.1.0.0, syslog.1.4, stog-writing.0.6, stog-rdf.0.6, stog.0.6.1, stog.0.5, stog.0.4, ssl.0.4.6, srs.1.0.0, sqlite3-ocaml.2.0.3, sqlite3-ocaml.2.0.2, sqlite3-ocaml.1.6.3, spotlib.2.1.1, spotlib.2.1.0, spotlib.2.0.1, spotlib.1.0.0, spotinstall.1.1.0, spotinstall.1.0.1, spotinstall.1.0.0, spf.1.0.0, sonet.0.1.1, snappy.0.0.1, simple_pam.0.1.2, simple_pam.0.1.1, shcaml.0.1.3, shared-memory-ring.0.2.0, sha.1.8, sexplib.109.08.00, sexplib.109.07.00, sexplib.108.08.00, sexplib.108.07.01, | |
| sexplib.108.07.00, sexplib.108.00.02, sexplib.7.0.5, sequence.0.2, sequence.0.1, sedlex.1.99, schoca.0.2.3, sawja.1.4, safepass.1.2, safepass.1.0, rtime.0.9.3, rpc.1.3.1, rpc.1.3.0, rpc.1.2.0, root1d.0.2, rml.1.08.04, res.3.2.0, release.1.0.2, release.1.0.1, release.1.0.0, regstab.2.0.0, react.0.9.4, react.0.9.3, re.1.2.0, re.1.1.0, re.1.0, quickcheck.0.0.3, qtest.2.0.0, pxp.1.2.3, pulseaudio.0.1.2, promela.0.4.2, pprint.20130131, postgresql-ocaml.2.0.2, postgres.20040120, pomap.3.0.1, plasma.0.6.1, planets.0.1.13, planck.2.0.1, planck.1.0.1, piqi.0.6.0, pipebang.109.08.00, pipebang.109.07.00, pipebang.108.08.00, pipebang.108.07.01, pipebang.108.07.00, pipebang.108.00.02, pgocaml.1.7.1, pgocaml.1.7, pgocaml.1.6, pcre-ocaml.6.2.5, pcap.0.3.2, pcap.0.3.1, patdiff.109.08.00, passwdgen.0.1, parmap.1.0-rc1, parmap.0.9.1, pa_ounit.109.08.00, pa_ounit.109.07.00, pa_ounit.108.08.00, pa_ounit.108.07.01, pa_ounit.108.07.00, pa_ounit.108.00.02, pa_monad_custom.v6.0.0, pa_do.0.8.16, pa_do.0.8.15, pa_comprehension.0.4, | |
| ounit.1.1.2, ott.distro-0.21.2, otags.4.00.1, otags.3.12.5, ospec.0.3.0, ospec.0.2.1, orm.0.7.0, orm.0.6.4, orm.0.6.3, orakuda.1.0.2, orakuda.1.0.1, oqamldebug.0.9.2, oqamldebug.0.9.1, optimization1d.0.5, optcomp.1.4, opass.0.2.1, opass.0.2.0, opam2web.1.2.0, opam-lib.0.9.1, opam-lib.0.8.3, omake.0.9.8.6-0.rc1, ogg.0.4.3, odepack.0.6.2, odb-server.0.1, ocurl.0.5.4, ocsigenserver.2.2.0, ocsigenserver.2.1, ocplib-endian.0.3, ocplib-endian.0.2, ocp-indent.0.9.0, ocp-indent.0.6.2, ocp-indent.0.6.1, ocp-indent.0.6.0, ocp-indent.0.1.0, ocp-build.1.99.3-beta, ocp-build.1.99.2-beta, ocp-build.1.99.1-beta, ocp-build.1.99-beta, ocp-build.0.1, ocamlweb.1.38, ocamlviz.1.01, ocamltter.2.0.0, ocamltop-gtk.2.1, ocamlspot.4.00.0.2.1.1, ocamlspot.4.00.0.2.1.0, ocamlspot.4.00.0.2.0.1, ocamlsdl.0.9.1, ocamlscript.2.0.2, ocamlrss.2.0, ocamlnet.3.6.0, ocamlnet.3.5.1, ocamlnet.3.2.1, ocamlmod.0.0.3, ocamlify.0.0.1, ocamlgsl.0.6.0, ocamlgraph.1.8.2, ocamlgraph.1.8.1, ocamlfuse.2.7.1-cvs, ocamlfind.1.3.3, ocamlfind.1.3.2, ocamlfind. | |
| 1.3.1, ocamldsort.0.15.0, ocamldot.1.0, ocamldiff.1.0, ocamldbi.0.9.11, ocamldap.2.2, ocamldap.2.1.8, ocaml-zmq.0, ocaml-xml-rpc.0.2.3, ocaml-xdg-basedir.0.0.2, ocaml-text.0.6, ocaml-text.0.5, ocaml-taglib.0.2.0, ocaml-src.4.00.1, ocaml-src.4.00.0, ocaml-src.3.12.1, ocaml-sqlexpr.0.3.0, ocaml-rdf.0.3, ocaml-rdf.0.2, ocaml-radixtree.0.0.1, ocaml-posix-resource.0.0.1, ocaml-mysql.1.1.1, ocaml-mysql.1.0.4, ocaml-markdown.0.1.0, ocaml-makefile.6.37.0, ocaml-mad.0.4.4, ocaml-lua.1.0, ocaml-inifiles.1.2, ocaml-indent.1.1.0, ocaml-http.0.1.5, ocaml-glpk.0.1.6, ocaml-extunix.0.0.4, ocaml-expect.0.0.2, ocaml-expat.0.9.1, ocaml-data-notation.0.0.10, ocaml-data-notation.0.0.9, ocaml-arg.0.3, ocaml-arg.0.2, ocaml-arg.0.1, ocaml+twt.0.93, obus.1.1.5, obrowser.1.1.1, oasis-mirage.0.3.0a, oasis-mirage.0.3.0, oasis.0.3.0, oasis.0.2.0, nlopt-ocaml.0.4, netamqp.1.0, mpi.1.01, mparser.1.0, monadlib.0.1, mlpost.0.8.1, mlgmp.20120224, mldonkey.3.1.2, missinglib.0.4.1, mirage-net.0.5.2, mirage-net.0.4.1, mirage-net.0.4.0, mirage- | |
| net.0.3.1, mirage-net.0.3.0, mirage-fs.0.3.0, mirage.0.7.2, mirage.0.6.1, mirage.0.6.0, mirage.0.5.0, mirage.0.4.1, mirage.0.4.0, milter.1.0.0, mikmatch.1.0.5, meta_conv.1.0.0, meta_conv.0.11.0, meta_conv.0.10.0, meta_conv.0.9.0, menhir.20120123, melt.1.4.0, mascot.1.0, magic.0.7.3, macaque.0.6.1, macaque.0.6, lzo.0.0.1, lwt-zmq.1.0-beta3, lwt.2.4.3, lwt.2.4.2, lwt.2.4.1, lwt.2.4.0, lwt.2.3.2, llvm.3.2, llvm.3.1, litiom.2.0, liquidsoap.1.0.1-full, ledit.2.03, lbfgs.0.8.3, lambda-term.1.2, lacaml.7.0.7, lacaml.7.0.6, lacaml.7.0.3, lacaml.7.0.0, lablgtk-extras.1.3, lablgtk-extras.1.2, lablgtk.2.16.0, lablgtk.2.14.2-oasis8, lablgl.20120306, kaputt.1.2, kaputt.1.1, jsonm.0.9.1, jsondiff.0.0.1, json-wheel.1.0.6, json-static.0.9.8, js_of_ocaml.1.3.2, js_of_ocaml.1.3.1, js_of_ocaml.1.2, javalib.2.2.2, inspect.0.2.1, imagemagick.0.33.2, imagemagick.0.33.1, imagemagick.0.33, hydro.0.7.1, hweak.1.1, hevea.2.01, herelib.109.08.00, headache.1.03, gtktop.2.0, gsl-ocaml.1.11.0, gpr.1.1.0, gpr.1.0.2, google-drive-ocamlfuse. | |
| 0.3.1, google-drive-ocamlfuse.0.3, google-drive-ocamlfuse.0.2.1, github.0.4.3, github.0.4.2, github.0.4.1, github.0.4.0, github.0.3.3, github.0.3.2, github.0.3.1, github.0.3.0, gettext.0.3.4, getopt.20120615, gapi-ocaml.0.2, FrontC.3.4, frama-c.Oxygen-20120901, frama-c.Nitrogen-20111001, format.0.1, forkwork.0.3.1, flow.0.1, flac.0.1.1, fileutils.0.4.4, fieldslib.109.08.00, fieldslib.109.07.00, fieldslib.108.08.00, fieldslib.108.07.01, fieldslib.108.07.00, fieldslib.108.00.02, fftw-ocaml.0, facile.1.1, extlib.1.5.3, extlib.1.5.2, eliom.3.0.3, eliom.3.0.2, eliom.3.0.1, eliom.3.0.0, eliom.2.2.2, easy-format.1.0.1, dypgen.20120619-1, dyntype.0.9.0, dyntype.0.8.5, dyntype.0.8.4, dyntype.0.8.3, dyntype.0.8.2, dum.1.0.0, dose.3.1.2, dose.3.1.1, dose.2.9.15, dns.0.6.0, dns.0.5.1, dns.0.5.0, dns.0.4.0, deriving-ocsigen.0.3c, debug-camlp4-log.base, dbm.1.0, dbforge.2.0, datalog.0.2, datalog.0.1, cudf.0.6.2, csv.1.2.2, cstruct.0.6.2, cstruct.0.6.1, cstruct.0.6.0, cstruct.0.5.3, cstruct.0.5.2, cstruct.0.5.1, cstruct.0. | |
| 5.0, cstruct.0.4.1, cstruct.0.4.0, cryptokit-sha512.1.6.3, cryptokit-sha512.1.6.2, cryptokit.1.6, cryptgps.0.2.1, crypt.1.0, crunch.1.0.1, crunch.1.0.0, cppo.0.9.3, cow.0.5.2, cow.0.4.0, cow.0.3.2, cow.0.3.1, cow.0.3.0, core_extended.109.08.00, core_extended.109.07.00, core_extended.108.08.00, core_extended.108.07.01, core_extended.108.07.00, core_extended.108.00.02, core_extended.108.00.01, core.109.08.00, core.109.07.00, core.108.08.00, core.108.07.01, core.108.07.00, core.108.00.02, coq.8.4pl1, coq.8.3, config-file.1.1, conf-llvm-debug.0.0, conf-libev.4-11, comparelib.109.08.00, comparelib.109.07.00, comparelib.108.08.00, comparelib.108.07.01, comparelib.108.07.00, comparelib.108.00.02, combine.0.42, cohttp.0.9.5, cohttp.0.9.4, cohttp.0.9.3, cohttp.0.9.2, cohttp.0.9.1, cmdliner.0.9.2, cil.1.5.1, chamo.2.01, cfg.2.0.1, cduce_ws.0.1, cduce.0.5.5, ccss.1.3, camomile.0.8.3, camlzip.1.05, camlzip.1.04, camltemplate.1.0.2, camlp5.6.07, camlp5.6.06, camlp5.6.04, camlmix.1.3.0, camlimages.4.0.2, camlimages.4.0.1, | |
| camlidl.1.05, CamlGI.0.6, camlbz2.0.6.0, caml2html.1.4.3, caml2html.1.4.2, caml2html.1.4.1, calendar.2.03.2, calendar.2.03.1, cairo1.ocaml-1.2.0, cairo.0.4.2, cairo.0.4.1, cache.1.0, bolt.1.3, bolt.1.2, bitstring.2.0.3, bitcoin.1.0, bisect.1.3, bisect.1.1, biniou.1.0.5, binary.0.1, bin_prot.109.08.00, bin_prot.109.07.00, bin_prot.108.08.00, bin_prot.108.07.01, bin_prot.108.07.00, bin_prot.108.00.02, bigbro.2.0.4-rev3, bes.0.9.3, benchmark.1.2, benchmark.1.1, bench.1.3, batteries.2.0.0, batteries.1.5.0, batteries.1.4.3, base-unix.base, base-threads.base, base-bigarray.base, baardskeerder.0.5.1, aws.0.0.2, atdgen.1.2.3, atdgen.1.2.2, atd.1.0.2, atd.1.0.1, async_unix.109.08.00, async_unix.109.07.00, async_unix.108.08.00, async_unix.108.07.01, async_unix.108.07.00, async_unix.108.00.02, async_unix.108.00.01, async_extra.109.08.00, async_extra.109.07.00, async_extra.108.08.00, async_extra.108.07.01, async_extra.108.07.00, async_extra.108.00.02, async_extra.108.00.01, async_core.109.08.00, async_core.109.07.00, | |
| async_core.108.08.00, async_core.108.07.01, async_core.108.07.00, async_core.108.00.02, async_core.108.00.01, async.109.08.00, async.109.07.00, async.108.08.00, async.108.07.01, async.108.07.00, async.108.00.02, async.108.00.01, archimedes.0.4.15, archimedes.0.4.13, apalogretrieve.0.9.6-4, ANSITerminal.0.6, ansicolor.0.5, annot.1.0.0, annexlib.0.13.5, ancient.0.9.0, alt-ergo.0.95, alt-ergo.0.94, alphaCaml.20061214, aifad.2.0.2 } | |
| [18180] STATE INSTALLED : { ocamlfind.1.3.3, lwt.2.4.3, js_of_ocaml.1.3.2, deriving-ocsigen.0.3c, base-unix.base, base-threads.base, base-bigarray.base } | |
| [18180] STATE ROOTS : { ocamlfind.1.3.3, lwt.2.4.3, js_of_ocaml.1.3.2, deriving-ocsigen.0.3c, base-unix.base, base-threads.base, base-bigarray.base } | |
| [18180] STATE REINSTALL : {} | |
| [18180] STATE find_repository core_extended.108.08.00 | |
| [18180] STATE find_repository binary.0.1 | |
| [18180] STATE find_repository async_extra.109.07.00 | |
| [18180] STATE find_repository async.108.07.01 | |
| [18180] STATE find_repository ansicolor.0.5 | |
| [18180] STATE find_repository alt-ergo.0.95 | |
| [18180] STATE find_repository alphaCaml.20061214 | |
| [18180] STATE find_repository aifad.2.0.2 | |
| [18180] STATE find_repository alt-ergo.0.94 | |
| [18180] STATE find_repository annexlib.0.13.5 | |
| [18180] STATE find_repository ancient.0.9.0 | |
| [18180] STATE find_repository annot.1.0.0 | |
| [18180] STATE find_repository archimedes.0.4.15 | |
| [18180] STATE find_repository apalogretrieve.0.9.6-4 | |
| [18180] STATE find_repository ANSITerminal.0.6 | |
| [18180] STATE find_repository archimedes.0.4.13 | |
| [18180] STATE find_repository async.108.00.02 | |
| [18180] STATE find_repository async.108.00.01 | |
| [18180] STATE find_repository async.108.07.00 | |
| [18180] STATE find_repository async_core.108.08.00 | |
| [18180] STATE find_repository async_core.108.00.01 | |
| [18180] STATE find_repository async.109.07.00 | |
| [18180] STATE find_repository async.108.08.00 | |
| [18180] STATE find_repository async.109.08.00 | |
| [18180] STATE find_repository async_core.108.07.00 | |
| [18180] STATE find_repository async_core.108.00.02 | |
| [18180] STATE find_repository async_core.108.07.01 | |
| [18180] STATE find_repository async_extra.108.00.02 | |
| [18180] STATE find_repository async_core.109.08.00 | |
| [18180] STATE find_repository async_core.109.07.00 | |
| [18180] STATE find_repository async_extra.108.00.01 | |
| [18180] STATE find_repository async_extra.108.07.01 | |
| [18180] STATE find_repository async_extra.108.07.00 | |
| [18180] STATE find_repository async_extra.108.08.00 | |
| [18180] STATE find_repository async_unix.109.08.00 | |
| [18180] STATE find_repository async_unix.108.07.00 | |
| [18180] STATE find_repository async_unix.108.00.01 | |
| [18180] STATE find_repository async_extra.109.08.00 | |
| [18180] STATE find_repository async_unix.108.00.02 | |
| [18180] STATE find_repository async_unix.108.08.00 | |
| [18180] STATE find_repository async_unix.108.07.01 | |
| [18180] STATE find_repository async_unix.109.07.00 | |
| [18180] STATE find_repository atdgen.1.2.3 | |
| [18180] STATE find_repository atd.1.0.2 | |
| [18180] STATE find_repository atd.1.0.1 | |
| [18180] STATE find_repository atdgen.1.2.2 | |
| [18180] STATE find_repository baardskeerder.0.5.1 | |
| [18180] STATE find_repository aws.0.0.2 | |
| [18180] STATE find_repository bes.0.9.3 | |
| [18180] STATE find_repository batteries.2.0.0 | |
| [18180] STATE find_repository batteries.1.4.3 | |
| [18180] STATE find_repository batteries.1.5.0 | |
| [18180] STATE find_repository benchmark.1.1 | |
| [18180] STATE find_repository bench.1.3 | |
| [18180] STATE find_repository benchmark.1.2 | |
| [18180] STATE find_repository bin_prot.108.07.01 | |
| [18180] STATE find_repository bin_prot.108.00.02 | |
| [18180] STATE find_repository bigbro.2.0.4-rev3 | |
| [18180] STATE find_repository bin_prot.108.07.00 | |
| [18180] STATE find_repository bin_prot.109.07.00 | |
| [18180] STATE find_repository bin_prot.108.08.00 | |
| [18180] STATE find_repository bin_prot.109.08.00 | |
| [18180] STATE find_repository cduce_ws.0.1 | |
| [18180] STATE find_repository caml2html.1.4.3 | |
| [18180] STATE find_repository cache.1.0 | |
| [18180] STATE find_repository bitcoin.1.0 | |
| [18180] STATE find_repository bisect.1.1 | |
| [18180] STATE find_repository biniou.1.0.5 | |
| [18180] STATE find_repository bisect.1.3 | |
| [18180] STATE find_repository bolt.1.2 | |
| [18180] STATE find_repository bitstring.2.0.3 | |
| [18180] STATE find_repository bolt.1.3 | |
| [18180] STATE find_repository calendar.2.03.1 | |
| [18180] STATE find_repository cairo.0.4.2 | |
| [18180] STATE find_repository cairo.0.4.1 | |
| [18180] STATE find_repository cairo1.ocaml-1.2.0 | |
| [18180] STATE find_repository caml2html.1.4.1 | |
| [18180] STATE find_repository calendar.2.03.2 | |
| [18180] STATE find_repository caml2html.1.4.2 | |
| [18180] STATE find_repository camlp5.6.06 | |
| [18180] STATE find_repository camlimages.4.0.1 | |
| [18180] STATE find_repository CamlGI.0.6 | |
| [18180] STATE find_repository camlbz2.0.6.0 | |
| [18180] STATE find_repository camlidl.1.05 | |
| [18180] STATE find_repository camlmix.1.3.0 | |
| [18180] STATE find_repository camlimages.4.0.2 | |
| [18180] STATE find_repository camlp5.6.04 | |
| [18180] STATE find_repository camlzip.1.05 | |
| [18180] STATE find_repository camltemplate.1.0.2 | |
| [18180] STATE find_repository camlp5.6.07 | |
| [18180] STATE find_repository camlzip.1.04 | |
| [18180] STATE find_repository ccss.1.3 | |
| [18180] STATE find_repository camomile.0.8.3 | |
| [18180] STATE find_repository cduce.0.5.5 | |
| [18180] STATE find_repository comparelib.109.08.00 | |
| [18180] STATE find_repository cohttp.0.9.4 | |
| [18180] STATE find_repository cmdliner.0.9.2 | |
| [18180] STATE find_repository chamo.2.01 | |
| [18180] STATE find_repository cfg.2.0.1 | |
| [18180] STATE find_repository cil.1.5.1 | |
| [18180] STATE find_repository cohttp.0.9.2 | |
| [18180] STATE find_repository cohttp.0.9.1 | |
| [18180] STATE find_repository cohttp.0.9.3 | |
| [18180] STATE find_repository comparelib.108.07.00 | |
| [18180] STATE find_repository combine.0.42 | |
| [18180] STATE find_repository cohttp.0.9.5 | |
| [18180] STATE find_repository comparelib.108.00.02 | |
| [18180] STATE find_repository comparelib.108.08.00 | |
| [18180] STATE find_repository comparelib.108.07.01 | |
| [18180] STATE find_repository comparelib.109.07.00 | |
| [18180] STATE find_repository core.108.07.01 | |
| [18180] STATE find_repository coq.8.3 | |
| [18180] STATE find_repository conf-llvm-debug.0.0 | |
| [18180] STATE find_repository conf-libev.4-11 | |
| [18180] STATE find_repository config-file.1.1 | |
| [18180] STATE find_repository core.108.00.02 | |
| [18180] STATE find_repository coq.8.4pl1 | |
| [18180] STATE find_repository core.108.07.00 | |
| [18180] STATE find_repository core_extended.108.00.01 | |
| [18180] STATE find_repository core.109.07.00 | |
| [18180] STATE find_repository core.108.08.00 | |
| [18180] STATE find_repository core.109.08.00 | |
| [18180] STATE find_repository core_extended.108.07.00 | |
| [18180] STATE find_repository core_extended.108.00.02 | |
| [18180] STATE find_repository core_extended.108.07.01 | |
| [18180] STATE find_repository flac.0.1.1 | |
| [18180] STATE find_repository cstruct.0.4.0 | |
| [18180] STATE find_repository cppo.0.9.3 | |
| [18180] STATE find_repository cow.0.3.1 | |
| [18180] STATE find_repository core_extended.109.08.00 | |
| [18180] STATE find_repository core_extended.109.07.00 | |
| [18180] STATE find_repository cow.0.3.0 | |
| [18180] STATE find_repository cow.0.4.0 | |
| [18180] STATE find_repository cow.0.3.2 | |
| [18180] STATE find_repository cow.0.5.2 | |
| [18180] STATE find_repository cryptgps.0.2.1 | |
| [18180] STATE find_repository crunch.1.0.1 | |
| [18180] STATE find_repository crunch.1.0.0 | |
| [18180] STATE find_repository crypt.1.0 | |
| [18180] STATE find_repository cryptokit-sha512.1.6.2 | |
| [18180] STATE find_repository cryptokit.1.6 | |
| [18180] STATE find_repository cryptokit-sha512.1.6.3 | |
| [18180] STATE find_repository cstruct.0.6.2 | |
| [18180] STATE find_repository cstruct.0.5.2 | |
| [18180] STATE find_repository cstruct.0.5.0 | |
| [18180] STATE find_repository cstruct.0.4.1 | |
| [18180] STATE find_repository cstruct.0.5.1 | |
| [18180] STATE find_repository cstruct.0.6.0 | |
| [18180] STATE find_repository cstruct.0.5.3 | |
| [18180] STATE find_repository cstruct.0.6.1 | |
| [18180] STATE find_repository datalog.0.2 | |
| [18180] STATE find_repository cudf.0.6.2 | |
| [18180] STATE find_repository csv.1.2.2 | |
| [18180] STATE find_repository datalog.0.1 | |
| [18180] STATE find_repository dbm.1.0 | |
| [18180] STATE find_repository dbforge.2.0 | |
| [18180] STATE find_repository debug-camlp4-log.base | |
| [18180] STATE find_repository eliom.2.2.2 | |
| [18180] STATE find_repository dum.1.0.0 | |
| [18180] STATE find_repository dns.0.6.0 | |
| [18180] STATE find_repository dns.0.5.0 | |
| [18180] STATE find_repository dns.0.4.0 | |
| [18180] STATE find_repository dns.0.5.1 | |
| [18180] STATE find_repository dose.3.1.1 | |
| [18180] STATE find_repository dose.2.9.15 | |
| [18180] STATE find_repository dose.3.1.2 | |
| [18180] STATE find_repository dyntype.0.8.5 | |
| [18180] STATE find_repository dyntype.0.8.3 | |
| [18180] STATE find_repository dyntype.0.8.2 | |
| [18180] STATE find_repository dyntype.0.8.4 | |
| [18180] STATE find_repository dypgen.20120619-1 | |
| [18180] STATE find_repository dyntype.0.9.0 | |
| [18180] STATE find_repository easy-format.1.0.1 | |
| [18180] STATE find_repository fftw-ocaml.0 | |
| [18180] STATE find_repository eliom.3.0.3 | |
| [18180] STATE find_repository eliom.3.0.1 | |
| [18180] STATE find_repository eliom.3.0.0 | |
| [18180] STATE find_repository eliom.3.0.2 | |
| [18180] STATE find_repository extlib.1.5.3 | |
| [18180] STATE find_repository extlib.1.5.2 | |
| [18180] STATE find_repository facile.1.1 | |
| [18180] STATE find_repository fieldslib.108.08.00 | |
| [18180] STATE find_repository fieldslib.108.07.00 | |
| [18180] STATE find_repository fieldslib.108.00.02 | |
| [18180] STATE find_repository fieldslib.108.07.01 | |
| [18180] STATE find_repository fieldslib.109.08.00 | |
| [18180] STATE find_repository fieldslib.109.07.00 | |
| [18180] STATE find_repository fileutils.0.4.4 | |
| [18180] STATE find_repository imagemagick.0.33.2 | |
| [18180] STATE find_repository github.0.4.2 | |
| [18180] STATE find_repository getopt.20120615 | |
| [18180] STATE find_repository frama-c.Nitrogen-20111001 | |
| [18180] STATE find_repository forkwork.0.3.1 | |
| [18180] STATE find_repository flow.0.1 | |
| [18180] STATE find_repository format.0.1 | |
| [18180] STATE find_repository FrontC.3.4 | |
| [18180] STATE find_repository frama-c.Oxygen-20120901 | |
| [18180] STATE find_repository gapi-ocaml.0.2 | |
| [18180] STATE find_repository github.0.3.2 | |
| [18180] STATE find_repository github.0.3.0 | |
| [18180] STATE find_repository gettext.0.3.4 | |
| [18180] STATE find_repository github.0.3.1 | |
| [18180] STATE find_repository github.0.4.0 | |
| [18180] STATE find_repository github.0.3.3 | |
| [18180] STATE find_repository github.0.4.1 | |
| [18180] STATE find_repository gtktop.2.0 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.3.1 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.2.1 | |
| [18180] STATE find_repository github.0.4.3 | |
| [18180] STATE find_repository google-drive-ocamlfuse.0.3 | |
| [18180] STATE find_repository gpr.1.1.0 | |
| [18180] STATE find_repository gpr.1.0.2 | |
| [18180] STATE find_repository gsl-ocaml.1.11.0 | |
| [18180] STATE find_repository hweak.1.1 | |
| [18180] STATE find_repository herelib.109.08.00 | |
| [18180] STATE find_repository headache.1.03 | |
| [18180] STATE find_repository hevea.2.01 | |
| [18180] STATE find_repository imagemagick.0.33 | |
| [18180] STATE find_repository hydro.0.7.1 | |
| [18180] STATE find_repository imagemagick.0.33.1 | |
| [18180] STATE find_repository lablgtk-extras.1.3 | |
| [18180] STATE find_repository jsondiff.0.0.1 | |
| [18180] STATE find_repository js_of_ocaml.1.3.1 | |
| [18180] STATE find_repository javalib.2.2.2 | |
| [18180] STATE find_repository inspect.0.2.1 | |
| [18180] STATE find_repository js_of_ocaml.1.2 | |
| [18180] STATE find_repository json-static.0.9.8 | |
| [18180] STATE find_repository json-wheel.1.0.6 | |
| [18180] STATE find_repository lablgl.20120306 | |
| [18180] STATE find_repository kaputt.1.1 | |
| [18180] STATE find_repository jsonm.0.9.1 | |
| [18180] STATE find_repository kaputt.1.2 | |
| [18180] STATE find_repository lablgtk.2.16.0 | |
| [18180] STATE find_repository lablgtk.2.14.2-oasis8 | |
| [18180] STATE find_repository lablgtk-extras.1.2 | |
| [18180] STATE find_repository liquidsoap.1.0.1-full | |
| [18180] STATE find_repository lacaml.7.0.7 | |
| [18180] STATE find_repository lacaml.7.0.3 | |
| [18180] STATE find_repository lacaml.7.0.0 | |
| [18180] STATE find_repository lacaml.7.0.6 | |
| [18180] STATE find_repository lbfgs.0.8.3 | |
| [18180] STATE find_repository lambda-term.1.2 | |
| [18180] STATE find_repository ledit.2.03 | |
| [18180] STATE find_repository lwt.2.3.2 | |
| [18180] STATE find_repository llvm.3.1 | |
| [18180] STATE find_repository litiom.2.0 | |
| [18180] STATE find_repository llvm.3.2 | |
| [18180] STATE find_repository lwt.2.4.1 | |
| [18180] STATE find_repository lwt.2.4.0 | |
| [18180] STATE find_repository lwt.2.4.2 | |
| [18180] STATE find_repository optimization1d.0.5 | |
| [18180] STATE find_repository ocaml-rdf.0.3 | |
| [18180] STATE find_repository mparser.1.0 | |
| [18180] STATE find_repository mirage.0.4.1 | |
| [18180] STATE find_repository menhir.20120123 | |
| [18180] STATE find_repository macaque.0.6.1 | |
| [18180] STATE find_repository lzo.0.0.1 | |
| [18180] STATE find_repository lwt-zmq.1.0-beta3 | |
| [18180] STATE find_repository macaque.0.6 | |
| [18180] STATE find_repository mascot.1.0 | |
| [18180] STATE find_repository magic.0.7.3 | |
| [18180] STATE find_repository melt.1.4.0 | |
| [18180] STATE find_repository meta_conv.1.0.0 | |
| [18180] STATE find_repository meta_conv.0.10.0 | |
| [18180] STATE find_repository meta_conv.0.9.0 | |
| [18180] STATE find_repository meta_conv.0.11.0 | |
| [18180] STATE find_repository milter.1.0.0 | |
| [18180] STATE find_repository mikmatch.1.0.5 | |
| [18180] STATE find_repository mirage.0.4.0 | |
| [18180] STATE find_repository mirage-net.0.4.0 | |
| [18180] STATE find_repository mirage.0.7.2 | |
| [18180] STATE find_repository mirage.0.6.0 | |
| [18180] STATE find_repository mirage.0.5.0 | |
| [18180] STATE find_repository mirage.0.6.1 | |
| [18180] STATE find_repository mirage-net.0.3.0 | |
| [18180] STATE find_repository mirage-fs.0.3.0 | |
| [18180] STATE find_repository mirage-net.0.3.1 | |
| [18180] STATE find_repository mldonkey.3.1.2 | |
| [18180] STATE find_repository mirage-net.0.5.2 | |
| [18180] STATE find_repository mirage-net.0.4.1 | |
| [18180] STATE find_repository missinglib.0.4.1 | |
| [18180] STATE find_repository mlpost.0.8.1 | |
| [18180] STATE find_repository mlgmp.20120224 | |
| [18180] STATE find_repository monadlib.0.1 | |
| [18180] STATE find_repository ocaml-expat.0.9.1 | |
| [18180] STATE find_repository obrowser.1.1.1 | |
| [18180] STATE find_repository oasis.0.2.0 | |
| [18180] STATE find_repository netamqp.1.0 | |
| [18180] STATE find_repository mpi.1.01 | |
| [18180] STATE find_repository nlopt-ocaml.0.4 | |
| [18180] STATE find_repository oasis-mirage.0.3.0 | |
| [18180] STATE find_repository oasis.0.3.0 | |
| [18180] STATE find_repository oasis-mirage.0.3.0a | |
| [18180] STATE find_repository ocaml-arg.0.2 | |
| [18180] STATE find_repository ocaml+twt.0.93 | |
| [18180] STATE find_repository obus.1.1.5 | |
| [18180] STATE find_repository ocaml-arg.0.1 | |
| [18180] STATE find_repository ocaml-data-notation.0.0.9 | |
| [18180] STATE find_repository ocaml-arg.0.3 | |
| [18180] STATE find_repository ocaml-data-notation.0.0.10 | |
| [18180] STATE find_repository ocaml-mad.0.4.4 | |
| [18180] STATE find_repository ocaml-http.0.1.5 | |
| [18180] STATE find_repository ocaml-extunix.0.0.4 | |
| [18180] STATE find_repository ocaml-expect.0.0.2 | |
| [18180] STATE find_repository ocaml-glpk.0.1.6 | |
| [18180] STATE find_repository ocaml-inifiles.1.2 | |
| [18180] STATE find_repository ocaml-indent.1.1.0 | |
| [18180] STATE find_repository ocaml-lua.1.0 | |
| [18180] STATE find_repository ocaml-mysql.1.1.1 | |
| [18180] STATE find_repository ocaml-markdown.0.1.0 | |
| [18180] STATE find_repository ocaml-makefile.6.37.0 | |
| [18180] STATE find_repository ocaml-mysql.1.0.4 | |
| [18180] STATE find_repository ocaml-radixtree.0.0.1 | |
| [18180] STATE find_repository ocaml-posix-resource.0.0.1 | |
| [18180] STATE find_repository ocaml-rdf.0.2 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.0.1 | |
| [18180] STATE find_repository ocamldsort.0.15.0 | |
| [18180] STATE find_repository ocaml-xdg-basedir.0.0.2 | |
| [18180] STATE find_repository ocaml-src.4.00.1 | |
| [18180] STATE find_repository ocaml-src.3.12.1 | |
| [18180] STATE find_repository ocaml-sqlexpr.0.3.0 | |
| [18180] STATE find_repository ocaml-src.4.00.0 | |
| [18180] STATE find_repository ocaml-text.0.5 | |
| [18180] STATE find_repository ocaml-taglib.0.2.0 | |
| [18180] STATE find_repository ocaml-text.0.6 | |
| [18180] STATE find_repository ocamldap.2.2 | |
| [18180] STATE find_repository ocaml-zmq.0 | |
| [18180] STATE find_repository ocaml-xml-rpc.0.2.3 | |
| [18180] STATE find_repository ocamldap.2.1.8 | |
| [18180] STATE find_repository ocamldiff.1.0 | |
| [18180] STATE find_repository ocamldbi.0.9.11 | |
| [18180] STATE find_repository ocamldot.1.0 | |
| [18180] STATE find_repository ocamlify.0.0.1 | |
| [18180] STATE find_repository ocamlfuse.2.7.1-cvs | |
| [18180] STATE find_repository ocamlfind.1.3.2 | |
| [18180] STATE find_repository ocamlfind.1.3.1 | |
| [18180] STATE find_repository ocamlgraph.1.8.2 | |
| [18180] STATE find_repository ocamlgraph.1.8.1 | |
| [18180] STATE find_repository ocamlgsl.0.6.0 | |
| [18180] STATE find_repository ocamlnet.3.6.0 | |
| [18180] STATE find_repository ocamlnet.3.2.1 | |
| [18180] STATE find_repository ocamlmod.0.0.3 | |
| [18180] STATE find_repository ocamlnet.3.5.1 | |
| [18180] STATE find_repository ocamlscript.2.0.2 | |
| [18180] STATE find_repository ocamlrss.2.0 | |
| [18180] STATE find_repository ocamlsdl.0.9.1 | |
| [18180] STATE find_repository ocp-indent.0.9.0 | |
| [18180] STATE find_repository ocp-build.1.99-beta | |
| [18180] STATE find_repository ocamltter.2.0.0 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.1.1 | |
| [18180] STATE find_repository ocamlspot.4.00.0.2.1.0 | |
| [18180] STATE find_repository ocamltop-gtk.2.1 | |
| [18180] STATE find_repository ocamlweb.1.38 | |
| [18180] STATE find_repository ocamlviz.1.01 | |
| [18180] STATE find_repository ocp-build.0.1 | |
| [18180] STATE find_repository ocp-indent.0.1.0 | |
| [18180] STATE find_repository ocp-build.1.99.2-beta | |
| [18180] STATE find_repository ocp-build.1.99.1-beta | |
| [18180] STATE find_repository ocp-build.1.99.3-beta | |
| [18180] STATE find_repository ocp-indent.0.6.1 | |
| [18180] STATE find_repository ocp-indent.0.6.0 | |
| [18180] STATE find_repository ocp-indent.0.6.2 | |
| [18180] STATE find_repository ogg.0.4.3 | |
| [18180] STATE find_repository ocsigenserver.2.2.0 | |
| [18180] STATE find_repository ocplib-endian.0.3 | |
| [18180] STATE find_repository ocplib-endian.0.2 | |
| [18180] STATE find_repository ocsigenserver.2.1 | |
| [18180] STATE find_repository odb-server.0.1 | |
| [18180] STATE find_repository ocurl.0.5.4 | |
| [18180] STATE find_repository odepack.0.6.2 | |
| [18180] STATE find_repository opam2web.1.2.0 | |
| [18180] STATE find_repository opam-lib.0.8.3 | |
| [18180] STATE find_repository omake.0.9.8.6-0.rc1 | |
| [18180] STATE find_repository opam-lib.0.9.1 | |
| [18180] STATE find_repository opass.0.2.1 | |
| [18180] STATE find_repository opass.0.2.0 | |
| [18180] STATE find_repository optcomp.1.4 | |
| [18180] STATE find_repository typehashlib.108.08.00 | |
| [18180] STATE find_repository rml.1.08.04 | |
| [18180] STATE find_repository pgocaml.1.7 | |
| [18180] STATE find_repository pa_do.0.8.16 | |
| [18180] STATE find_repository ospec.0.2.1 | |
| [18180] STATE find_repository orakuda.1.0.2 | |
| [18180] STATE find_repository oqamldebug.0.9.2 | |
| [18180] STATE find_repository oqamldebug.0.9.1 | |
| [18180] STATE find_repository orakuda.1.0.1 | |
| [18180] STATE find_repository orm.0.6.4 | |
| [18180] STATE find_repository orm.0.6.3 | |
| [18180] STATE find_repository orm.0.7.0 | |
| [18180] STATE find_repository ott.distro-0.21.2 | |
| [18180] STATE find_repository otags.3.12.5 | |
| [18180] STATE find_repository ospec.0.3.0 | |
| [18180] STATE find_repository otags.4.00.1 | |
| [18180] STATE find_repository pa_comprehension.0.4 | |
| [18180] STATE find_repository ounit.1.1.2 | |
| [18180] STATE find_repository pa_do.0.8.15 | |
| [18180] STATE find_repository parmap.0.9.1 | |
| [18180] STATE find_repository pa_ounit.108.07.01 | |
| [18180] STATE find_repository pa_ounit.108.00.02 | |
| [18180] STATE find_repository pa_monad_custom.v6.0.0 | |
| [18180] STATE find_repository pa_ounit.108.07.00 | |
| [18180] STATE find_repository pa_ounit.109.07.00 | |
| [18180] STATE find_repository pa_ounit.108.08.00 | |
| [18180] STATE find_repository pa_ounit.109.08.00 | |
| [18180] STATE find_repository pcap.0.3.1 | |
| [18180] STATE find_repository passwdgen.0.1 | |
| [18180] STATE find_repository parmap.1.0-rc1 | |
| [18180] STATE find_repository patdiff.109.08.00 | |
| [18180] STATE find_repository pcre-ocaml.6.2.5 | |
| [18180] STATE find_repository pcap.0.3.2 | |
| [18180] STATE find_repository pgocaml.1.6 | |
| [18180] STATE find_repository pprint.20130131 | |
| [18180] STATE find_repository piqi.0.6.0 | |
| [18180] STATE find_repository pipebang.108.07.01 | |
| [18180] STATE find_repository pipebang.108.00.02 | |
| [18180] STATE find_repository pgocaml.1.7.1 | |
| [18180] STATE find_repository pipebang.108.07.00 | |
| [18180] STATE find_repository pipebang.109.07.00 | |
| [18180] STATE find_repository pipebang.108.08.00 | |
| [18180] STATE find_repository pipebang.109.08.00 | |
| [18180] STATE find_repository plasma.0.6.1 | |
| [18180] STATE find_repository planck.2.0.1 | |
| [18180] STATE find_repository planck.1.0.1 | |
| [18180] STATE find_repository planets.0.1.13 | |
| [18180] STATE find_repository postgres.20040120 | |
| [18180] STATE find_repository pomap.3.0.1 | |
| [18180] STATE find_repository postgresql-ocaml.2.0.2 | |
| [18180] STATE find_repository re.1.2.0 | |
| [18180] STATE find_repository qtest.2.0.0 | |
| [18180] STATE find_repository pulseaudio.0.1.2 | |
| [18180] STATE find_repository promela.0.4.2 | |
| [18180] STATE find_repository pxp.1.2.3 | |
| [18180] STATE find_repository re.1.0 | |
| [18180] STATE find_repository quickcheck.0.0.3 | |
| [18180] STATE find_repository re.1.1.0 | |
| [18180] STATE find_repository release.1.0.0 | |
| [18180] STATE find_repository react.0.9.4 | |
| [18180] STATE find_repository react.0.9.3 | |
| [18180] STATE find_repository regstab.2.0.0 | |
| [18180] STATE find_repository release.1.0.2 | |
| [18180] STATE find_repository release.1.0.1 | |
| [18180] STATE find_repository res.3.2.0 | |
| [18180] STATE find_repository spotlib.2.0.1 | |
| [18180] STATE find_repository sexplib.108.07.01 | |
| [18180] STATE find_repository sawja.1.4 | |
| [18180] STATE find_repository rpc.1.3.1 | |
| [18180] STATE find_repository rpc.1.2.0 | |
| [18180] STATE find_repository root1d.0.2 | |
| [18180] STATE find_repository rpc.1.3.0 | |
| [18180] STATE find_repository safepass.1.0 | |
| [18180] STATE find_repository rtime.0.9.3 | |
| [18180] STATE find_repository safepass.1.2 | |
| [18180] STATE find_repository sequence.0.2 | |
| [18180] STATE find_repository sedlex.1.99 | |
| [18180] STATE find_repository schoca.0.2.3 | |
| [18180] STATE find_repository sequence.0.1 | |
| [18180] STATE find_repository sexplib.108.00.02 | |
| [18180] STATE find_repository sexplib.7.0.5 | |
| [18180] STATE find_repository sexplib.108.07.00 | |
| [18180] STATE find_repository simple_pam.0.1.2 | |
| [18180] STATE find_repository sha.1.8 | |
| [18180] STATE find_repository sexplib.109.07.00 | |
| [18180] STATE find_repository sexplib.108.08.00 | |
| [18180] STATE find_repository sexplib.109.08.00 | |
| [18180] STATE find_repository shcaml.0.1.3 | |
| [18180] STATE find_repository shared-memory-ring.0.2.0 | |
| [18180] STATE find_repository simple_pam.0.1.1 | |
| [18180] STATE find_repository spotinstall.1.0.0 | |
| [18180] STATE find_repository sonet.0.1.1 | |
| [18180] STATE find_repository snappy.0.0.1 | |
| [18180] STATE find_repository spf.1.0.0 | |
| [18180] STATE find_repository spotinstall.1.1.0 | |
| [18180] STATE find_repository spotinstall.1.0.1 | |
| [18180] STATE find_repository spotlib.1.0.0 | |
| [18180] STATE find_repository tiny_json_conv.1.0.1 | |
| [18180] STATE find_repository stog.0.4 | |
| [18180] STATE find_repository sqlite3-ocaml.2.0.2 | |
| [18180] STATE find_repository spotlib.2.1.1 | |
| [18180] STATE find_repository spotlib.2.1.0 | |
| [18180] STATE find_repository sqlite3-ocaml.1.6.3 | |
| [18180] STATE find_repository srs.1.0.0 | |
| [18180] STATE find_repository sqlite3-ocaml.2.0.3 | |
| [18180] STATE find_repository ssl.0.4.6 | |
| [18180] STATE find_repository stog-writing.0.6 | |
| [18180] STATE find_repository stog.0.6.1 | |
| [18180] STATE find_repository stog.0.5 | |
| [18180] STATE find_repository stog-rdf.0.6 | |
| [18180] STATE find_repository tiny_json.1.0.0 | |
| [18180] STATE find_repository syslog.1.4 | |
| [18180] STATE find_repository tiny_json_conv.1.0.0 | |
| [18180] STATE find_repository type_conv.108.07.00 | |
| [18180] STATE find_repository treeprint.1.0.1 | |
| [18180] STATE find_repository tiny_json_conv.1.2.0 | |
| [18180] STATE find_repository tiny_json_conv.1.1.0 | |
| [18180] STATE find_repository tophide.1.0.1 | |
| [18180] STATE find_repository tstp-proof-checker.0.1 | |
| [18180] STATE find_repository tryocaml.0.2.2 | |
| [18180] STATE find_repository type_conv.108.00.02 | |
| [18180] STATE find_repository type_conv.109.08.00 | |
| [18180] STATE find_repository type_conv.108.08.00 | |
| [18180] STATE find_repository type_conv.108.07.01 | |
| [18180] STATE find_repository type_conv.109.07.00 | |
| [18180] STATE find_repository typehashlib.108.07.00 | |
| [18180] STATE find_repository typehashlib.108.00.02 | |
| [18180] STATE find_repository typehashlib.108.07.01 | |
| [18180] STATE find_repository variantslib.108.07.01 | |
| [18180] STATE find_repository uri.1.1 | |
| [18180] STATE find_repository tyxml.2.2.0 | |
| [18180] STATE find_repository typerex.1.99.1-beta | |
| [18180] STATE find_repository typehashlib.109.08.00 | |
| [18180] STATE find_repository typehashlib.109.07.00 | |
| [18180] STATE find_repository typerex.1.99.0-beta | |
| [18180] STATE find_repository typerex.1.99.3-beta | |
| [18180] STATE find_repository typerex.1.99.2-beta | |
| [18180] STATE find_repository tyxml.2.1 | |
| [18180] STATE find_repository uint.1.1.0 | |
| [18180] STATE find_repository uint.1.0.2 | |
| [18180] STATE find_repository ucorelib.0.0.1 | |
| [18180] STATE find_repository uint.1.0.3 | |
| [18180] STATE find_repository unison.2.40.63 | |
| [18180] STATE find_repository ulex.1.1 | |
| [18180] STATE find_repository unison.2.40.102 | |
| [18180] STATE find_repository utop.1.2.1 | |
| [18180] STATE find_repository uri.1.3.3 | |
| [18180] STATE find_repository uri.1.3.1 | |
| [18180] STATE find_repository uri.1.3.0 | |
| [18180] STATE find_repository uri.1.3.2 | |
| [18180] STATE find_repository uri.1.3.5 | |
| [18180] STATE find_repository uri.1.3.4 | |
| [18180] STATE find_repository uri.1.3.6 | |
| [18180] STATE find_repository uunf.0.9.0 | |
| [18180] STATE find_repository uucd.0.9.0 | |
| [18180] STATE find_repository utop.1.3.0 | |
| [18180] STATE find_repository uuidm.0.9.5 | |
| [18180] STATE find_repository variantslib.108.00.02 | |
| [18180] STATE find_repository uutf.0.9.1 | |
| [18180] STATE find_repository variantslib.108.07.00 | |
| [18180] STATE find_repository wyrd.1.4.5 | |
| [18180] STATE find_repository weberizer.0.6.1 | |
| [18180] STATE find_repository vorbis.0.6.1 | |
| [18180] STATE find_repository variantslib.109.07.00 | |
| [18180] STATE find_repository variantslib.108.08.00 | |
| [18180] STATE find_repository variantslib.109.08.00 | |
| [18180] STATE find_repository webdav.1.0 | |
| [18180] STATE find_repository wdialog.2.1.3 | |
| [18180] STATE find_repository webdav.1.1 | |
| [18180] STATE find_repository weberizer.0.7.2 | |
| [18180] STATE find_repository weberizer.0.6.5 | |
| [18180] STATE find_repository weberizer.0.6.2 | |
| [18180] STATE find_repository weberizer.0.7.1 | |
| [18180] STATE find_repository why.2.31 | |
| [18180] STATE find_repository wget.0.1.0 | |
| [18180] STATE find_repository why3.0.73 | |
| [18180] STATE find_repository yajl.0.7.2 | |
| [18180] STATE find_repository xmlm.1.1.1 | |
| [18180] STATE find_repository xenstore.1.1.0 | |
| [18180] STATE find_repository xenbigarray.1.0.0 | |
| [18180] STATE find_repository wyrd.1.4.6 | |
| [18180] STATE find_repository xenstore.1.0.0 | |
| [18180] STATE find_repository xml-light.2.2 | |
| [18180] STATE find_repository xenstore.1.2.0 | |
| [18180] STATE find_repository xmlm.1.1.0 | |
| [18180] STATE find_repository xtmpl.0.4 | |
| [18180] STATE find_repository xstrp4.1.8 | |
| [18180] STATE find_repository xstr.0.2.1 | |
| [18180] STATE find_repository xtmpl.0.3 | |
| [18180] STATE find_repository yajl.0.7.0 | |
| [18180] STATE find_repository xtmpl.0.5 | |
| [18180] STATE find_repository yajl.0.7.1 | |
| [18180] STATE find_repository yajl-extra.0.7.2 | |
| [18180] STATE find_repository yajl-extra.0.7.0 | |
| [18180] STATE find_repository yajl.0.7.3 | |
| [18180] STATE find_repository yajl-extra.0.7.1 | |
| [18180] STATE find_repository zarith.1.1 | |
| [18180] STATE find_repository yojson.1.0.3 | |
| [18180] STATE find_repository yajl-extra.0.7.3 | |
| [18180] STATE find_repository yojson.1.1.3 | |
| [18180] STATE find_repository zenon.0.7.1 | |
| [18180] STATE find_repository zed.1.2 | |
| [18180] STATE find_repository zipperposition.0.1 | |
| [18180] STATE find_repository zipperposition.0.1.1 | |
| [18180] SOLUTION The raw name "core.109.08.00" not found, looking for package core version 109.08.00 | |
| [18180] SYSTEM [log-ccabea] which aspcud | |
| [18180] SOLVER resolve universe={ zipperposition.0.1.1, zipperposition.0.1, zenon.0.7.1, zed.1.2, zarith.1.1, yojson.1.1.3, yojson.1.0.3, yajl-extra.0.7.3, yajl-extra.0.7.2, yajl-extra.0.7.1, yajl-extra.0.7.0, yajl.0.7.3, yajl.0.7.2, yajl.0.7.1, yajl.0.7.0, xtmpl.0.5, xtmpl.0.4, xtmpl.0.3, xstrp4.1.8, xstr.0.2.1, xmlm.1.1.1, xmlm.1.1.0, xml-light.2.2, xenstore.1.2.0, xenstore.1.1.0, xenstore.1.0.0, xenbigarray.1.0.0, wyrd.1.4.6, wyrd.1.4.5, why3.0.73, why.2.31, wget.0.1.0, weberizer.0.7.2, weberizer.0.7.1, weberizer.0.6.5, weberizer.0.6.2, weberizer.0.6.1, webdav.1.1, webdav.1.0, wdialog.2.1.3, vorbis.0.6.1, variantslib.109.08.00, variantslib.109.07.00, variantslib.108.08.00, variantslib.108.07.01, variantslib.108.07.00, variantslib.108.00.02, uutf.0.9.1, uunf.0.9.0, uuidm.0.9.5, uucd.0.9.0, utop.1.3.0, utop.1.2.1, uri.1.3.6, uri.1.3.5, uri.1.3.4, uri.1.3.3, uri.1.3.2, uri.1.3.1, uri.1.3.0, uri.1.1, unison.2.40.102, unison.2.40.63, ulex.1.1, uint.1.1.0, uint.1.0.3, uint.1.0.2, ucorelib.0.0.1, | |
| tyxml.2.2.0, tyxml.2.1, typerex.1.99.3-beta, typerex.1.99.2-beta, typerex.1.99.1-beta, typerex.1.99.0-beta, typehashlib.109.08.00, typehashlib.109.07.00, typehashlib.108.08.00, typehashlib.108.07.01, typehashlib.108.07.00, typehashlib.108.00.02, type_conv.108.08.00, type_conv.108.07.01, type_conv.108.07.00, type_conv.108.00.02, tstp-proof-checker.0.1, tryocaml.0.2.2, tophide.1.0.1, syslog.1.4, ssl.0.4.6, srs.1.0.0, sqlite3-ocaml.2.0.3, sqlite3-ocaml.2.0.2, sqlite3-ocaml.1.6.3, spotlib.1.0.0, spf.1.0.0, sonet.0.1.1, snappy.0.0.1, simple_pam.0.1.2, simple_pam.0.1.1, shcaml.0.1.3, shared-memory-ring.0.2.0, sha.1.8, sexplib.109.08.00, sexplib.109.07.00, sexplib.108.08.00, sexplib.108.07.01, sexplib.108.07.00, sexplib.108.00.02, sexplib.7.0.5, sequence.0.2, sequence.0.1, sedlex.1.99, schoca.0.2.3, sawja.1.4, safepass.1.2, safepass.1.0, rtime.0.9.3, rpc.1.3.1, rpc.1.3.0, rpc.1.2.0, root1d.0.2, rml.1.08.04, res.3.2.0, release.1.0.2, release.1.0.1, release.1.0.0, regstab.2.0.0, react.0.9.4, react.0.9.3, re.1.2.0, re. | |
| 1.1.0, re.1.0, quickcheck.0.0.3, qtest.2.0.0, pxp.1.2.3, pulseaudio.0.1.2, promela.0.4.2, pprint.20130131, postgresql-ocaml.2.0.2, postgres.20040120, pomap.3.0.1, plasma.0.6.1, planets.0.1.13, planck.1.0.1, piqi.0.6.0, pipebang.109.08.00, pipebang.109.07.00, pipebang.108.08.00, pipebang.108.07.01, pipebang.108.07.00, pipebang.108.00.02, pgocaml.1.7.1, pgocaml.1.7, pgocaml.1.6, pcre-ocaml.6.2.5, pcap.0.3.2, pcap.0.3.1, patdiff.109.08.00, passwdgen.0.1, parmap.1.0-rc1, parmap.0.9.1, pa_ounit.109.08.00, pa_ounit.109.07.00, pa_ounit.108.08.00, pa_ounit.108.07.01, pa_ounit.108.07.00, pa_ounit.108.00.02, pa_monad_custom.v6.0.0, pa_do.0.8.16, pa_do.0.8.15, pa_comprehension.0.4, ounit.1.1.2, ott.distro-0.21.2, otags.3.12.5, ospec.0.3.0, ospec.0.2.1, orm.0.7.0, orm.0.6.4, orm.0.6.3, oqamldebug.0.9.2, oqamldebug.0.9.1, optimization1d.0.5, optcomp.1.4, opass.0.2.1, opass.0.2.0, opam2web.1.2.0, opam-lib.0.9.1, opam-lib.0.8.3, omake.0.9.8.6-0.rc1, ogg.0.4.3, odepack.0.6.2, odb-server.0.1, ocurl.0.5.4, ocsigenserver.2.2.0, | |
| ocsigenserver.2.1, ocplib-endian.0.3, ocplib-endian.0.2, ocp-indent.0.9.0, ocp-indent.0.6.2, ocp-indent.0.6.1, ocp-indent.0.6.0, ocp-indent.0.1.0, ocp-build.1.99.3-beta, ocp-build.1.99.2-beta, ocp-build.1.99.1-beta, ocp-build.1.99-beta, ocp-build.0.1, ocamlweb.1.38, ocamlviz.1.01, ocamltop-gtk.2.1, ocamlsdl.0.9.1, ocamlscript.2.0.2, ocamlrss.2.0, ocamlnet.3.6.0, ocamlnet.3.5.1, ocamlnet.3.2.1, ocamlmod.0.0.3, ocamlify.0.0.1, ocamlgsl.0.6.0, ocamlgraph.1.8.2, ocamlgraph.1.8.1, ocamlfuse.2.7.1-cvs, ocamlfind.1.3.3, ocamlfind.1.3.1, ocamldsort.0.15.0, ocamldot.1.0, ocamldiff.1.0, ocamldbi.0.9.11, ocamldap.2.2, ocamldap.2.1.8, ocaml-zmq.0, ocaml-xml-rpc.0.2.3, ocaml-xdg-basedir.0.0.2, ocaml-text.0.6, ocaml-text.0.5, ocaml-taglib.0.2.0, ocaml-src.3.12.1, ocaml-sqlexpr.0.3.0, ocaml-radixtree.0.0.1, ocaml-posix-resource.0.0.1, ocaml-mysql.1.1.1, ocaml-mysql.1.0.4, ocaml-markdown.0.1.0, ocaml-makefile.6.37.0, ocaml-mad.0.4.4, ocaml-lua.1.0, ocaml-inifiles.1.2, ocaml-http.0.1.5, ocaml-glpk.0.1.6, ocaml-extunix.0.0.4, | |
| ocaml-expect.0.0.2, ocaml-expat.0.9.1, ocaml-data-notation.0.0.10, ocaml-data-notation.0.0.9, ocaml-arg.0.3, ocaml-arg.0.2, ocaml-arg.0.1, ocaml+twt.0.93, obus.1.1.5, obrowser.1.1.1, oasis-mirage.0.3.0a, oasis-mirage.0.3.0, oasis.0.3.0, oasis.0.2.0, nlopt-ocaml.0.4, netamqp.1.0, mpi.1.01, mparser.1.0, monadlib.0.1, mlpost.0.8.1, mlgmp.20120224, mldonkey.3.1.2, missinglib.0.4.1, mirage-net.0.5.2, mirage-net.0.4.1, mirage-net.0.4.0, mirage-net.0.3.1, mirage-net.0.3.0, mirage-fs.0.3.0, mirage.0.7.2, mirage.0.6.1, mirage.0.6.0, mirage.0.5.0, mirage.0.4.1, mirage.0.4.0, milter.1.0.0, mikmatch.1.0.5, menhir.20120123, melt.1.4.0, magic.0.7.3, macaque.0.6.1, macaque.0.6, lzo.0.0.1, lwt-zmq.1.0-beta3, lwt.2.4.3, lwt.2.4.2, lwt.2.4.1, lwt.2.4.0, lwt.2.3.2, llvm.3.2, llvm.3.1, litiom.2.0, liquidsoap.1.0.1-full, ledit.2.03, lbfgs.0.8.3, lambda-term.1.2, lacaml.7.0.7, lacaml.7.0.6, lacaml.7.0.3, lacaml.7.0.0, lablgtk-extras.1.3, lablgtk-extras.1.2, lablgtk.2.16.0, lablgtk.2.14.2-oasis8, lablgl.20120306, kaputt.1.2, | |
| kaputt.1.1, jsonm.0.9.1, jsondiff.0.0.1, json-wheel.1.0.6, json-static.0.9.8, js_of_ocaml.1.3.2, js_of_ocaml.1.3.1, js_of_ocaml.1.2, javalib.2.2.2, inspect.0.2.1, imagemagick.0.33.2, imagemagick.0.33.1, imagemagick.0.33, hydro.0.7.1, hweak.1.1, hevea.2.01, herelib.109.08.00, headache.1.03, gsl-ocaml.1.11.0, gpr.1.1.0, gpr.1.0.2, google-drive-ocamlfuse.0.3.1, google-drive-ocamlfuse.0.3, google-drive-ocamlfuse.0.2.1, github.0.4.3, github.0.4.2, github.0.4.1, github.0.4.0, github.0.3.3, github.0.3.2, github.0.3.1, github.0.3.0, gettext.0.3.4, getopt.20120615, gapi-ocaml.0.2, FrontC.3.4, frama-c.Oxygen-20120901, frama-c.Nitrogen-20111001, format.0.1, forkwork.0.3.1, flow.0.1, flac.0.1.1, fileutils.0.4.4, fieldslib.109.08.00, fieldslib.109.07.00, fieldslib.108.08.00, fieldslib.108.07.01, fieldslib.108.07.00, fieldslib.108.00.02, fftw-ocaml.0, facile.1.1, extlib.1.5.3, extlib.1.5.2, eliom.3.0.3, eliom.3.0.2, eliom.3.0.1, eliom.3.0.0, eliom.2.2.2, easy-format.1.0.1, dypgen.20120619-1, dyntype.0.9.0, dyntype.0.8.5, | |
| dyntype.0.8.4, dyntype.0.8.3, dyntype.0.8.2, dum.1.0.0, dose.3.1.2, dose.3.1.1, dose.2.9.15, dns.0.6.0, dns.0.5.1, dns.0.4.0, deriving-ocsigen.0.3c, debug-camlp4-log.base, dbm.1.0, dbforge.2.0, datalog.0.2, datalog.0.1, cudf.0.6.2, csv.1.2.2, cstruct.0.6.2, cstruct.0.6.1, cstruct.0.6.0, cstruct.0.5.3, cstruct.0.5.2, cstruct.0.5.1, cstruct.0.5.0, cstruct.0.4.1, cstruct.0.4.0, cryptokit-sha512.1.6.3, cryptokit-sha512.1.6.2, cryptokit.1.6, cryptgps.0.2.1, crypt.1.0, crunch.1.0.1, crunch.1.0.0, cppo.0.9.3, cow.0.5.2, cow.0.4.0, cow.0.3.2, cow.0.3.1, cow.0.3.0, core_extended.109.08.00, core_extended.109.07.00, core_extended.108.08.00, core_extended.108.07.01, core_extended.108.07.00, core_extended.108.00.02, core_extended.108.00.01, core.109.08.00, core.109.07.00, core.108.08.00, core.108.07.01, core.108.07.00, core.108.00.02, coq.8.4pl1, coq.8.3, config-file.1.1, conf-llvm-debug.0.0, conf-libev.4-11, comparelib.109.08.00, comparelib.109.07.00, comparelib.108.08.00, comparelib.108.07.01, comparelib.108.07.00, | |
| comparelib.108.00.02, combine.0.42, cohttp.0.9.5, cohttp.0.9.4, cohttp.0.9.3, cohttp.0.9.2, cohttp.0.9.1, cmdliner.0.9.2, cil.1.5.1, chamo.2.01, cfg.2.0.1, cduce_ws.0.1, cduce.0.5.5, ccss.1.3, camomile.0.8.3, camlzip.1.05, camlzip.1.04, camltemplate.1.0.2, camlp5.6.07, camlp5.6.06, camlp5.6.04, camlmix.1.3.0, camlimages.4.0.2, camlimages.4.0.1, camlidl.1.05, CamlGI.0.6, camlbz2.0.6.0, caml2html.1.4.2, caml2html.1.4.1, calendar.2.03.2, calendar.2.03.1, cairo1.ocaml-1.2.0, cairo.0.4.2, cairo.0.4.1, cache.1.0, bolt.1.3, bolt.1.2, bitstring.2.0.3, bitcoin.1.0, bisect.1.3, bisect.1.1, biniou.1.0.5, binary.0.1, bin_prot.109.08.00, bin_prot.109.07.00, bin_prot.108.08.00, bin_prot.108.07.01, bin_prot.108.07.00, bin_prot.108.00.02, bigbro.2.0.4-rev3, bes.0.9.3, benchmark.1.2, benchmark.1.1, bench.1.3, batteries.2.0.0, batteries.1.5.0, batteries.1.4.3, base-unix.base, base-threads.base, base-bigarray.base, baardskeerder.0.5.1, aws.0.0.2, atdgen.1.2.3, atdgen.1.2.2, atd.1.0.2, atd.1.0.1, async_unix.109.08.00, async_ | |
| unix.109.07.00, async_unix.108.08.00, async_unix.108.07.01, async_unix.108.07.00, async_unix.108.00.02, async_unix.108.00.01, async_extra.109.08.00, async_extra.109.07.00, async_extra.108.08.00, async_extra.108.07.01, async_extra.108.07.00, async_extra.108.00.02, async_extra.108.00.01, async_core.109.08.00, async_core.109.07.00, async_core.108.08.00, async_core.108.07.01, async_core.108.07.00, async_core.108.00.02, async_core.108.00.01, async.109.08.00, async.109.07.00, async.108.08.00, async.108.07.01, async.108.07.00, async.108.00.02, async.108.00.01, archimedes.0.4.15, archimedes.0.4.13, apalogretrieve.0.9.6-4, ANSITerminal.0.6, ansicolor.0.5, annot.1.0.0, annexlib.0.13.5, ancient.0.9.0, alt-ergo.0.95, alt-ergo.0.94, alphaCaml.20061214, aifad.2.0.2 } | |
| [18180] SOLVER resolve request=install:(base-bigarray & base-threads & base-unix & deriving-ocsigen & js_of_ocaml & lwt & ocamlfind) remove:() upgrade:(core (= 109.08.00)) | |
| [18180] SOLVER call_external_solver | |
| [18180] SOLVER use default solver | |
| - | |
| package: dose-dummy-request | |
| version: 1 | |
| status: broken | |
| reasons: | |
| - | |
| missing: | |
| [18180] HEURISTIC resolve: conflict! | |
| cudf2opam: Cannot find dose-dummy-request.1 | |
| [18180] 18180 unlocking /home/kakadu/.opam/system/lock | |
| '/home/kakadu/mand/prog/ocaml/opam/_obuild/opam/opam.byte install core.109.08.00' failed. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment