libcoq-mathcomp-bigenough binary package in Ubuntu Lunar armhf
This package provides an extension to reason with big enough
objects (mostly natural numbers) for the Mathematical Components
library.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-02-28 16:14:28 UTC | Published | Ubuntu Lunar armhf | release | universe | ocaml | Optional | 1.0.1-8build6 | ||
|
|||||||||
Deleted | Ubuntu Lunar armhf | proposed | universe | ocaml | Optional | 1.0.1-8build6 | |||
|
|||||||||
2023-02-16 18:51:01 UTC | Superseded | Ubuntu Lunar armhf | proposed | universe | ocaml | Optional | 1.0.1-8build5 | ||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar armhf | release | universe | ocaml | Optional | 1.0.1-8build4 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar armhf | proposed | universe | ocaml | Optional | 1.0.1-8build4 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar armhf | release | universe | ocaml | Optional | 1.0.1-8build3 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar armhf | proposed | universe | ocaml | Optional | 1.0.1-8build3 | ||
|
|||||||||
2022-12-03 14:54:41 UTC | Superseded | Ubuntu Lunar armhf | proposed | universe | ocaml | Optional | 1.0.1-8build2 | ||
|
|||||||||
2022-12-07 02:54:35 UTC | Superseded | Ubuntu Lunar armhf | release | universe | ocaml | Optional | 1.0.1-8build1 | ||
|