Ubuntu

proofgeneral binary package in Ubuntu Focal amd64

  1. Focal (20.04)
  2. amd64
  3. proofgeneral

 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
  2019-12-19 20:33:20 UTC Published Ubuntu Focal amd64 release universe editors Optional 4.4.1~pre170114-1.2
  • Published
  • Copied from ubuntu focal-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Focal amd64 proposed universe editors Optional 4.4.1~pre170114-1.2
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to Release

  • Published
  2019-12-19 20:33:27 UTC Superseded Ubuntu Focal amd64 release universe editors Optional 4.4.1~pre170114-1.1ubuntu1
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of proofgeneral 4.4.1~pre170114-1.2 in ubuntu focal PROPOSED
  • Published
  • Copied from ubuntu eoan-proposed amd64 in Primary Archive for Ubuntu

Source package