Ubuntu

libcryptominisat5-5.8 binary package in Ubuntu Jammy s390x

  1. Jammy (22.04)
  2. s390x
  3. libcryptominisat5-5.8

 CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver.
 .
 This package provides a shared library to link against the CryptoMiniSat
 library.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2022-03-02 17:45:17 UTC Published Ubuntu Jammy s390x release universe libs Optional 5.8.0+dfsg1-2
  • Published
  • Copied from ubuntu jammy-proposed s390x in Primary Archive for Ubuntu
  Deleted Ubuntu Jammy s390x proposed universe libs Optional 5.8.0+dfsg1-2
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to jammy

  • Published
  2022-02-22 23:46:36 UTC Superseded Ubuntu Jammy s390x proposed universe libs Optional 5.8.0+dfsg1-1build3
  • Removed from disk .
  • Removal requested .
  • Superseded by s390x build of cryptominisat 5.8.0+dfsg1-2 in ubuntu jammy PROPOSED
  • Published
  2022-03-02 18:00:59 UTC Superseded Ubuntu Jammy s390x release universe libs Optional 5.8.0+dfsg1-1build2
  • Removed from disk .
  • Removal requested .
  • Superseded by s390x build of cryptominisat 5.8.0+dfsg1-2 in ubuntu jammy PROPOSED
  • Published
  • Copied from ubuntu hirsute-proposed s390x in Primary Archive for Ubuntu

Source package