libcoq-unimath binary package in Ubuntu Noble riscv64
This package provides a library to formalize a substantial body
of mathematics using the univalent point of view.
.
Coq is a proof assistant for higher-order logic.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2024-04-10 23:28:32 UTC | Published | Ubuntu Noble riscv64 | release | universe | ocaml | Optional | 20231010-1build3 | ||
|
|||||||||
Deleted | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20231010-1build3 | |||
|
|||||||||
2024-04-10 12:10:16 UTC | Deleted | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20231010-1build2 | ||
|
|||||||||
2024-04-10 00:10:21 UTC | Deleted | Ubuntu Noble riscv64 | updates | universe | ocaml | Optional | 20231010-1 | ||
|
|||||||||
2024-04-10 06:10:17 UTC | Deleted | Ubuntu Noble riscv64 | release | universe | ocaml | Optional | 20231010-1build1 | ||
|
|||||||||
2024-04-10 06:10:17 UTC | Deleted | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20231010-1build1 | ||
|
|||||||||
2024-03-25 00:10:14 UTC | Deleted | Ubuntu Noble riscv64 | release | universe | ocaml | Optional | 20231010-1 | ||
|
|||||||||
2024-03-25 00:10:14 UTC | Deleted | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20231010-1 | ||
|
|||||||||
2024-01-30 03:30:24 UTC | Superseded | Ubuntu Noble riscv64 | release | universe | ocaml | Optional | 20230420-4build3 | ||
|
|||||||||
2024-01-31 06:10:17 UTC | Deleted | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20230420-4build3 | ||
|
|||||||||
2023-11-25 07:10:36 UTC | Superseded | Ubuntu Noble riscv64 | proposed | universe | ocaml | Optional | 20230420-4build2 | ||
|
|||||||||
2023-11-25 08:38:20 UTC | Superseded | Ubuntu Noble riscv64 | release | universe | ocaml | Optional | 20230420-4build1 | ||
|