libcoq-stdlib binary package in Ubuntu Lunar riscv64
Coq is a proof assistant for higher-order logic, which allows the
development of computer programs consistent with their formal
specification. It is developed using Objective Caml and Camlp5.
.
This package provides existing theories that new proofs can be
based upon, including theories of arithmetic and Boolean values.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-02-28 16:14:28 UTC | Published | Ubuntu Lunar riscv64 | release | universe | math | Optional | 8.16.1+dfsg-1build2 | ||
|
|||||||||
Deleted | Ubuntu Lunar riscv64 | proposed | universe | math | Optional | 8.16.1+dfsg-1build2 | |||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar riscv64 | release | universe | math | Optional | 8.16.1+dfsg-1build1 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar riscv64 | proposed | universe | math | Optional | 8.16.1+dfsg-1build1 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar riscv64 | release | universe | math | Optional | 8.16.1+dfsg-1 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar riscv64 | proposed | universe | math | Optional | 8.16.1+dfsg-1 | ||
|
|||||||||
2022-11-29 21:39:51 UTC | Superseded | Ubuntu Lunar riscv64 | proposed | universe | math | Optional | 8.16.0+dfsg-1build1 | ||
|
|||||||||
2022-11-25 10:53:57 UTC | Superseded | Ubuntu Lunar riscv64 | proposed | universe | math | Optional | 8.16.0+dfsg-1 | ||
|
|||||||||
2022-12-07 02:54:35 UTC | Superseded | Ubuntu Lunar riscv64 | release | universe | math | Optional | 8.15.2+dfsg-2 | ||
|