Ubuntu

prover9 binary package in Ubuntu Focal amd64

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

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  Deleted Ubuntu Focal amd64 release universe math Optional 0.0.200911a-2.1build1
  • Removal requested .
  • Deleted by Steve Langasek

    (From Debian) RoQA; orphaned 7+ years ago; python2-only; dead upstream; low popcon; Debian bug #681042

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu