doc: update package list

mirage · Oct 20, 2016 · d67292a · d67292a
1 parent 03598be
commit d67292a
Showing 1 changed file with 4 additions and 2 deletions.
diff --git a/Dockerfile.doc b/Dockerfile.doc
@@ -12,7 +12,8 @@ RUN opam depext -uivj 3 mirage tcpip tls cohttp lwt irmin ipaddr uri github alco
     mirage-net-unix mirage-net-xen \
     mirage-xen mirage-unix \
     cow cstruct crunch \
-    dns hex pcap-format vchan ctypes channel \
+    dns hex pcap-format vchan ctypes ctypes-foreign \
+    channel \
     shared-memory-ring \
     mirage-fs-unix \
     git git-unix git-mirage  \
@@ -32,7 +33,8 @@ RUN opam depext -uivj 3 mirage tcpip tls cohttp lwt irmin ipaddr uri github alco
     irmin-watcher \
     angstrom session webmachine \
     datakit datakit-client datakit-github \
-    hvsock tlstunnel xenctrl xen-gnt xen-evtchn
+    hvsock tlstunnel xenctrl xen-gnt xen-evtchn \
+    parse-argv magic-mime mirage-vnetif
 RUN opam config exec -- odig ocamldoc
 RUN opam pin add -n octavius git://github.com/ocaml-doc/octavius
 RUN opam pin add -n doc-ock git://github.com/ocaml-doc/doc-ock