Ubuntu

libcoq-ocaml-dev binary package in Ubuntu Precise armel

  1. Precise (12.04)
  2. armel
  3. libcoq-ocaml-dev

 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
  2012-04-03 13:03:45 UTC Published Ubuntu Precise armel release universe libdevel Optional 8.3.pl4+dfsg-1
  • Published
  2012-04-03 13:04:01 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl3+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl4+dfsg-1 in ubuntu precise RELEASE
  • Published
  2012-01-24 16:33:47 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl3+dfsg-1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl3+dfsg-1build1 in ubuntu precise RELEASE
  • Published
  2012-01-07 19:04:21 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl2+dfsg-2build2
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl3+dfsg-1 in ubuntu precise RELEASE
  • Published
  2011-11-19 18:05:20 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl2+dfsg-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl2+dfsg-2build2 in ubuntu precise RELEASE
  • Published
  2011-11-11 15:05:05 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl2+dfsg-2
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl2+dfsg-2build1 in ubuntu precise RELEASE
  • Published
  2011-11-10 21:05:18 UTC Superseded Ubuntu Precise armel release universe libdevel Optional 8.3.pl2+dfsg-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of coq 8.3.pl2+dfsg-2 in ubuntu precise RELEASE
  • Published
  • Copied from ubuntu oneiric-release armel in Primary Archive for Ubuntu

Source package