why3-examples binary package in Ubuntu Lunar ppc64el
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-02-28 16:14:28 UTC | Published | Ubuntu Lunar ppc64el | release | universe | math | Optional | 1.5.1-1build3 | ||
|
|||||||||
Deleted | Ubuntu Lunar ppc64el | proposed | universe | math | Optional | 1.5.1-1build3 | |||
|
|||||||||
2023-02-28 16:15:30 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | math | Optional | 1.5.1-1build2 | ||
|
|||||||||
2023-03-01 18:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | math | Optional | 1.5.1-1build2 | ||
|
|||||||||
2023-01-30 01:15:49 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | math | Optional | 1.5.1-1build1 | ||
|
|||||||||
2023-01-31 06:10:11 UTC | Deleted | Ubuntu Lunar ppc64el | proposed | universe | math | Optional | 1.5.1-1build1 | ||
|
|||||||||
2022-11-26 23:24:00 UTC | Superseded | Ubuntu Lunar ppc64el | proposed | universe | math | Optional | 1.5.1-1 | ||
|
|||||||||
2022-12-29 17:14:22 UTC | Superseded | Ubuntu Lunar ppc64el | release | universe | math | Optional | 1.5.0-1build1 | ||
|