Software Packages in "squeeze-backports", Subsection ocaml

libcoq-ocaml (8.3.pl3+dfsg-1~bpo60+1) [backports]

runtime libraries for Coq

libcoq-ocaml-dev (8.3.pl3+dfsg-1~bpo60+1) [backports]

development libraries and tools for Coq

libguestfs-ocaml (1:1.18.1-1+deb7u2~bpo60+1) [backports]

guest disk image management system - OCaml bindings

libguestfs-ocaml-dev (1:1.18.1-1+deb7u2~bpo60+1) [backports]

guest disk image management system - OCaml development files

libhivex-ocaml (1.3.6-2~bpo60+1) [backports]

OCaml bindings for hivex -- runtime files

libhivex-ocaml-dev (1.3.6-2~bpo60+1) [backports]

OCaml bindings for hivex -- development files

mingw32-ocaml (3.12.0+debian3~bpo60+1) [backports]

OCaml cross-compiler based on mingw32