libcoq-math-classes binary package in Ubuntu Lunar ppc64el
This library provides abstract interfaces for mathematical
structures for Coq, such as:
- algebraic hierarchy (groups, rings, fields, ...)
- relations, orders, ...
- Categories, functors, universal algebra, ...
- Numbers: N, Z, Q, ...
- Operations (shift, power, abs, ...).
.
Coq is a proof assistant for higher-order logic.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-02-28 16:14:28 UTC | Published | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 8.15.0-4build2 | ||
|
|||||||||
Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-4build2 | |||
|
|||||||||
2023-02-17 07:29:28 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-4build1 | ||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 8.15.0-4 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-4 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 8.15.0-3build3 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-3build3 | ||
|
|||||||||
2023-01-01 03:29:14 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 8.15.0-3build2 | ||
|
|||||||||
2023-01-02 06:10:08 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-3build2 | ||
|
|||||||||
2022-12-03 12:29:38 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 8.15.0-3build1 | ||
|
|||||||||
2022-12-07 02:54:35 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 8.15.0-3 | ||
|