libcoq-reglang binary package in Ubuntu Lunar ppc64el
This package provides definitions and verified translations
between different representations of regular languages
for Coq: miscellaneous automata, regular expressions,
WS1S logic. It also contains various decidability results
and closure properties of regular languages.
.
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 | 1.1.3-2build2 | ||
|
|||||||||
Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-2build2 | |||
|
|||||||||
2023-02-16 18:51:01 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-2build1 | ||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 1.1.3-2 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-2 | ||
|
|||||||||
2023-01-26 17:29:25 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-1build3 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 1.1.3-1build2 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-1build2 | ||
|
|||||||||
2022-12-03 12:29:38 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | ocaml | Optional | 1.1.3-1build1 | ||
|
|||||||||
2022-12-07 03:20:53 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | ocaml | Optional | 1.1.3-1 | ||
|