proofgeneral binary package in Ubuntu Trusty amd64

 Proof General is a major mode to turn Emacs into an interactive proof
 assistant to write formal mathematical proofs using a variety of
 theorem provers.
 .
 This package provides Proof General support for Coq. (There is no
 other proof assistant that one could sensibly support.)

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2014-02-28 12:58:26 UTC Published Ubuntu Trusty amd64 release universe editors Optional 4.3~pre130510-1.1
  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  Deleted Ubuntu Trusty amd64 proposed universe editors Optional 4.3~pre130510-1.1
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu trusty-proposed i386 in Primary Archive for Ubuntu
  2014-02-28 12:59:12 UTC Superseded Ubuntu Trusty amd64 release universe editors Optional 4.3~pre130510-1
  • Removed from disk .
  • Removal requested .
  • Superseded by i386 build of proofgeneral 4.3~pre130510-1.1 in ubuntu trusty PROPOSED
  • Published
  • Copied from ubuntu saucy-proposed i386 in Primary Archive for Ubuntu