Installlion's Logo

Installlion.com

Install or Uninstall libcoq-ocaml-dev on jessie

libcoq-ocaml-dev development libraries and tools for Coq Debian 8.0 ocaml

Package Data

Packagelibcoq-ocaml-dev
Version8.4pl4dfsg-1
MaintainerDebian OCaml Maintainers
Descriptiondevelopment libraries and tools for Coq
Distrodebian
Releasejessie
Repomain
Sectionocaml