science-logic binary package in Ubuntu Mantic amd64
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 | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-05-25 18:49:25 UTC | Published | Ubuntu Mantic amd64 | release | universe | metapackages | Extra | 1.14.5 | ||
|
|||||||||
Deleted | Ubuntu Mantic amd64 | proposed | universe | metapackages | Extra | 1.14.5 | |||
|
|||||||||
2023-05-25 18:49:46 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | metapackages | Extra | 1.14.4 | ||
|