libboost-contract1.71-dev binary package in Ubuntu Focal amd64
This package forms part of the Boost C++ Libraries collection.
.
All contract programming features are supported: Subcontracting,
class invariants, postconditions (with old and return values),
preconditions, customizable actions on assertion failure (e.g.,
terminate or throw), optional compilation and checking of assertions,
etc.
Publishing history
Date | Status | Target | Component | Section | Priority | Phased updates | Version | ||
---|---|---|---|---|---|---|---|---|---|
2020-04-06 02:08:22 UTC | Published | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-6ubuntu6 | ||
|
|||||||||
Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu6 | |||
|
|||||||||
2020-04-06 02:09:07 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-6ubuntu5 | ||
|
|||||||||
2020-04-07 06:10:13 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu5 | ||
|
|||||||||
2020-03-04 07:49:51 UTC | Superseded | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu4 | ||
|
|||||||||
2020-03-24 07:33:57 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-6ubuntu3 | ||
|
|||||||||
2020-03-25 12:10:11 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu3 | ||
|
|||||||||
2020-02-18 14:19:23 UTC | Superseded | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu2 | ||
|
|||||||||
2020-02-27 10:59:51 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-6ubuntu1 | ||
|
|||||||||
2020-02-13 01:48:52 UTC | Superseded | Ubuntu Focal amd64 | release | main | libdevel | Optional | 1.71.0-6ubuntu1 | ||
|
|||||||||
2020-02-12 22:53:22 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-6ubuntu1 | ||
|
|||||||||
2020-02-28 12:10:13 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-6ubuntu1 | ||
|
|||||||||
2020-02-09 09:33:24 UTC | Superseded | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-5ubuntu1 | ||
|
|||||||||
2020-02-12 15:58:34 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-4 | ||
|
|||||||||
2020-02-13 18:10:10 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-4 | ||
|
|||||||||
2020-01-11 00:23:33 UTC | Superseded | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-3 | ||
|
|||||||||
2020-01-11 04:48:25 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-2 | ||
|
|||||||||
2020-01-12 06:10:08 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-2 | ||
|
|||||||||
2020-01-01 21:23:34 UTC | Superseded | Ubuntu Focal amd64 | release | universe | libdevel | Optional | 1.71.0-1 | ||
|
|||||||||
2020-01-03 00:10:11 UTC | Deleted | Ubuntu Focal amd64 | proposed | universe | libdevel | Optional | 1.71.0-1 | ||
|