Ubuntu

libaac-tactics-ocaml-dev binary package in Ubuntu Trusty i386

  1. Trusty (14.04)
  2. i386
  3. libaac-tactics-ocaml-dev

 This Coq plugin provides tactics for rewriting universally quantified
 equations, modulo associative (and possibly commutative) operators.
 .
 This package provides the static native-code library, needed to build
 custom toplevels, and the compiled interfaces.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2014-01-21 06:53:22 UTC Published Ubuntu Trusty i386 release universe ocaml Optional 0.4-2
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  Deleted Ubuntu Trusty i386 proposed universe ocaml Optional 0.4-2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2014-01-21 06:54:07 UTC Superseded Ubuntu Trusty i386 release universe ocaml Optional 0.4-1build1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of aac-tactics 0.4-2 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2014-01-22 12:10:12 UTC Deleted Ubuntu Trusty i386 proposed universe ocaml Optional 0.4-1build1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-12-24 16:47:07 UTC Superseded Ubuntu Trusty i386 release universe ocaml Optional 0.4-1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of aac-tactics 0.4-1build1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2013-12-25 18:10:13 UTC Deleted Ubuntu Trusty i386 proposed universe ocaml Optional 0.4-1
  • Removed from disk .
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  2013-12-06 20:43:30 UTC Superseded Ubuntu Trusty i386 release universe ocaml Optional 0.3.pl1-1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of aac-tactics 0.4-1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu

Source package