Ubuntu

science-logic binary package in Ubuntu Mantic armhf

  1. Mantic (23.10)
  2. armhf
  3. science-logic

 This metapackage is part of the Debian Pure Blend "Debian Science"
 and installs packages related to Computational Logic. It contains
 formula transformation tools, solvers for formulas specified in
 various logics, interactive proof systems, etc.

Publishing history

Date Status Target Pocket Component Section Priority Phased updates Version
  2023-05-25 18:49:25 UTC Published Ubuntu Mantic armhf release universe metapackages Extra 1.14.5
  • Published
  • Copied from ubuntu mantic-proposed amd64 in Primary Archive for Ubuntu
  Deleted Ubuntu Mantic armhf proposed universe metapackages Extra 1.14.5
  • Removal requested .
  • Deleted by Ubuntu Archive Auto-Sync

    Moved to mantic

  • Published
  • Copied from ubuntu mantic-proposed amd64 in Primary Archive for Ubuntu
  2023-05-25 18:49:46 UTC Superseded Ubuntu Mantic armhf release universe metapackages Extra 1.14.4
  • Removal requested .
  • Superseded by amd64 build of debian-science 1.14.5 in ubuntu mantic PROPOSED
  • Published
  • Copied from ubuntu lunar-proposed amd64 in Primary Archive for Ubuntu

Source package