why3-examples binary package in Ubuntu Focal s390x
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 | ||
---|---|---|---|---|---|---|---|---|---|
2020-04-01 07:23:14 UTC | Published | Ubuntu Focal s390x | release | universe | math | Optional | 1.2.1-6 | ||
|
|||||||||
Deleted | Ubuntu Focal s390x | proposed | universe | math | Optional | 1.2.1-6 | |||
|
|||||||||
2020-04-23 12:10:10 UTC | Deleted | Ubuntu Focal s390x | release | universe | math | Optional | 1.2.1-3 | ||
|
|||||||||
2020-04-23 12:10:10 UTC | Deleted | Ubuntu Focal s390x | proposed | universe | math | Optional | 1.2.1-3 | ||
|
|||||||||
2020-02-24 21:38:22 UTC | Superseded | Ubuntu Focal s390x | proposed | universe | math | Optional | 1.2.1-2ubuntu1 | ||
|
|||||||||
2020-02-28 03:50:39 UTC | Superseded | Ubuntu Focal s390x | release | universe | math | Optional | 1.2.1-1ubuntu1 | ||
|
|||||||||
2020-02-29 06:10:10 UTC | Deleted | Ubuntu Focal s390x | proposed | universe | math | Optional | 1.2.1-1ubuntu1 | ||
|
|||||||||
2019-10-31 13:18:33 UTC | Superseded | Ubuntu Focal s390x | release | universe | math | Optional | 1.2.0-3ubuntu1 | ||
|