Ubuntu

hol88-contrib-help binary package in Ubuntu Bionic s390x

  1. Bionic (18.04)
  2. s390x
  3. hol88-contrib-help

 The HOL System is an environment for interactive theorem proving in a
 higher-order logic. Its most outstanding feature is its high degree
 of programmability through the meta-language ML. The system has a
 wide variety of uses from formalizing pure mathematics to
 verification of industrial hardware. Academic and industrial sites
 world-wide are using HOL.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2017-11-02 19:48:21 UTC Published Ubuntu Bionic s390x release universe math Optional 2.02.19940316-35
  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Bionic s390x proposed universe math Optional 2.02.19940316-35
  • Removal requested .
  • Deleted by Ubuntu Archive Robot

    moved to release

  • Published
  • Copied from ubuntu bionic-proposed amd64 in Primary Archive for Ubuntu
  2017-11-02 19:50:34 UTC Superseded Ubuntu Bionic s390x release universe math Optional 2.02.19940316-34
  • Removed from disk .
  • Removal requested .
  • Superseded by amd64 build of hol88 2.02.19940316-35 in ubuntu bionic PROPOSED
  • Published
  • Copied from ubuntu artful-proposed amd64 in Primary Archive for Ubuntu

Source package