libcoq-ocaml-dev binary package in Ubuntu Trusty ppc64el

 Coq is a proof assistant for higher-order logic, which allows the
 development of computer programs consistent with their formal
 specification. It is developed using Objective Caml and Camlp5.
 This package provides coqmktop, and libraries needed to develop
 OCaml-side extensions to Coq.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2014-02-18 02:43:34 UTC Published Ubuntu Trusty ppc64el release universe libdevel Optional 8.4pl3dfsg-1
  • Published

Source package