why3-examples binary package in Ubuntu Mantic riscv64
This package contains examples, both of program verification tasks
and pure logical verification tasks, for the why3 software verification
platform.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2023-09-11 16:09:11 UTC | Published | Ubuntu Mantic riscv64 | release | universe | math | Optional | 1.6.0-1 | ||
|
|||||||||
Deleted | Ubuntu Mantic riscv64 | proposed | universe | math | Optional | 1.6.0-1 | |||
|
|||||||||
2023-09-11 16:09:19 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | math | Optional | 1.5.1-1build6 | ||
|
|||||||||
2023-09-12 18:10:11 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | math | Optional | 1.5.1-1build6 | ||
|
|||||||||
2023-08-30 10:16:08 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | math | Optional | 1.5.1-1build5 | ||
|
|||||||||
2023-08-31 12:10:10 UTC | Deleted | Ubuntu Mantic riscv64 | proposed | universe | math | Optional | 1.5.1-1build5 | ||
|
|||||||||
2023-07-28 07:29:21 UTC | Superseded | Ubuntu Mantic riscv64 | proposed | universe | math | Optional | 1.5.1-1build4 | ||
|
|||||||||
2023-07-31 08:41:13 UTC | Superseded | Ubuntu Mantic riscv64 | release | universe | math | Optional | 1.5.1-1build3 | ||
|