Ubuntu

libaac-tactics-ocaml binary package in Ubuntu Precise armel

  1. Precise (12.04)
  2. armel
  3. libaac-tactics-ocaml

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the plugin itself.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2012-01-08 16:03:32 UTC Published Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-4build1
  • Published
  2012-01-08 16:04:27 UTC Superseded Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-4
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of aac-tactics 0.2.pl2-4build1 in ubuntu precise RELEASE
  • Published
  2012-01-08 02:36:37 UTC Superseded Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-3build2
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of aac-tactics 0.2.pl2-4 in ubuntu precise RELEASE
  • Published
  2011-11-19 19:05:07 UTC Superseded Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-3build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of aac-tactics 0.2.pl2-3build2 in ubuntu precise RELEASE
  • Published
  2011-11-12 01:05:20 UTC Superseded Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-3
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of aac-tactics 0.2.pl2-3build1 in ubuntu precise RELEASE
  • Published
  2011-11-10 18:15:16 UTC Superseded Ubuntu Precise armel release universe ocaml Optional 0.2.pl2-2build1
  • Removed from disk .
  • Removal requested .
  • Superseded by armel build of aac-tactics 0.2.pl2-3 in ubuntu precise RELEASE
  • Published
  • Copied from ubuntu oneiric-release armel in Primary Archive for Ubuntu

Source package