core 112.06.00 rc1
Updated pcre
release 1.0 of dolog; which is not upward compatible with previous releases
pa_test 111.08.01
fixing dolog to version 0.6 since Travis was not happy with my previous trial
Merge pull request #3183 from janestreet/pa_test-111.08.01

pa_test 111.08.01
gen 0.2.3
Merge pull request #3180 from UnixJunkie/dolog_1.0

release 1.0 of dolog
Merge pull request #3184 from c-cube/gen-0.2.3

gen 0.2.3
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
Updated pcre
+utop.1.17
Merge pull request #3185 from whitequark/master

+utop.1.17
Added gedcom package.
gedcom.1.0.0: Fixed archive checksum.
Merge pull request #3187 from sagotch/master

Added gedcom package.
+mirage-profile.0.4
Merge pull request #3188 from talex5/master

+mirage-profile.0.4
Merge branch 'master' of https://github.com/OCamlPro/opam-repository
Deleted broken pcre 7.1.4