Ctypes 0.2.3.
Add protobuf 1.0.0
Remove some old ctypes versions.
Merge pull request #1714 from yallop/ctypes-0.2.3

Ctypes 0.2.3
Add oasis 0.4.2
OASIS doesn't depend on fileutils since 0.3.0
Merge pull request #1713 from samoht/master

irminsule 0.5.0
Merge pull request #1715 from orbitz/add-protobuf-1.0.0

Add protobuf 1.0.0
Merge pull request #1716 from jpdeplaix/master

Add oasis 0.4.2
oasis2opam 0.3.6 requires oasis <= 0.4.1
+mirage-xen.1.1.1
Merge pull request #1718 from hcarty/patch-1

oasis2opam 0.3.6 requires oasis <= 0.4.1
Add ocp-index.1.0.2
Merge pull request #1709 from AltGr/ocp-index.1.0.2

New release of ocp-index
oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1720 from Chris00/master

oasis2opam 0.4.0 for oasis 0.4.2
Merge pull request #1719 from mirage/master

+mirage-xen.1.1.1
Add a "&" to separate and clauses

Fixes https://github.com/ocaml/opam-repository/issues/1721
Merge pull request #1722 from Chris00/master

Add a "&" to separate and clauses
bibtex2html depends on hevea