coqide binary package in Ubuntu Kinetic armhf
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 CoqIde, a graphical user interface for
developing proofs.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2022-06-14 20:13:49 UTC | Published | Ubuntu Kinetic armhf | release | universe | math | Optional | 8.15.2+dfsg-2 | ||
|
|||||||||
Deleted | Ubuntu Kinetic armhf | proposed | universe | math | Optional | 8.15.2+dfsg-2 | |||
|
|||||||||
2022-06-14 20:14:11 UTC | Superseded | Ubuntu Kinetic armhf | release | universe | math | Optional | 8.15.2+dfsg-1 | ||
|
|||||||||
2022-06-16 00:10:09 UTC | Deleted | Ubuntu Kinetic armhf | proposed | universe | math | Optional | 8.15.2+dfsg-1 | ||
|
|||||||||
2022-06-03 18:04:22 UTC | Superseded | Ubuntu Kinetic armhf | release | universe | math | Optional | 8.15.1+dfsg-2 | ||
|
|||||||||
2022-06-04 18:10:09 UTC | Deleted | Ubuntu Kinetic armhf | proposed | universe | math | Optional | 8.15.1+dfsg-2 | ||
|
|||||||||
2022-05-26 09:54:04 UTC | Superseded | Ubuntu Kinetic armhf | release | universe | math | Optional | 8.15.1+dfsg-1build1 | ||
|
|||||||||
2022-05-27 12:10:08 UTC | Deleted | Ubuntu Kinetic armhf | proposed | universe | math | Optional | 8.15.1+dfsg-1build1 | ||
|
|||||||||
2022-05-02 10:44:11 UTC | Superseded | Ubuntu Kinetic armhf | proposed | universe | math | Optional | 8.15.1+dfsg-1 | ||
|
|||||||||
2022-05-12 07:55:44 UTC | Superseded | Ubuntu Kinetic armhf | release | universe | math | Optional | 8.15.0+dfsg-2 | ||
|