ocaml9p
ocaml9p: build system bugfixes
Merge pull request #1705 from hcarty/master

Add gtk-light v0.0.1
+mirage-types.1.1.1
+mirage.1.1.1
+tcpip.1.1.1
correct archive for tcpip.1.1.1
ocaml9p: unquoting make in opam file
Merge pull request #1704 from raphael-proust/master

ocaml9p
Merge pull request #1706 from mirage/master

+mirage.1.1.1
gtk-light - lablgtk version constraint
+dns.0.8.0
Merge pull request #1707 from hcarty/patch-1

Add lablgtk version constraint to gtk-light
Merge pull request #1708 from mirage/master

+dns.0.8.0
Added dose patches for portable /tmp directory and quoting criteria for external solvers.
Merge pull request #1711 from rdicosmo/master

Added dose patches for portable /tmp directory and quoting criteria
irminsule 0.5.0
Fix irminsule descriptions
irminsule 0.5.0: fix the version constraint for Git
Ctypes 0.2.3.