libboost-contract1.67-dev binary package in Ubuntu Focal armhf
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-05 13:48:21 UTC | Published | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-17ubuntu8 | ||
|
|||||||||
Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu8 | |||
|
|||||||||
2020-04-05 13:48:56 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-17ubuntu7 | ||
|
|||||||||
2020-04-06 18:10:08 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu7 | ||
|
|||||||||
2020-03-24 07:53:54 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-17ubuntu6 | ||
|
|||||||||
2020-03-25 12:10:11 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu6 | ||
|
|||||||||
2020-02-18 15:57:14 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu5 | ||
|
|||||||||
2020-02-27 10:59:51 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-17ubuntu4 | ||
|
|||||||||
2020-02-28 12:10:13 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu4 | ||
|
|||||||||
2020-01-17 21:08:25 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu3 | ||
|
|||||||||
2020-01-23 19:24:25 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-17ubuntu2 | ||
|
|||||||||
2020-01-25 00:10:10 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-17ubuntu2 | ||
|
|||||||||
2020-01-08 19:28:47 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-16.1ubuntu3 | ||
|
|||||||||
2020-01-07 13:08:33 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-16.1ubuntu2 | ||
|
|||||||||
2020-01-07 10:13:21 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-16 | ||
|
|||||||||
2019-12-12 00:23:22 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-15 | ||
|
|||||||||
2019-11-29 16:53:25 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-14ubuntu1 | ||
|
|||||||||
2019-11-28 12:08:21 UTC | Superseded | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-13ubuntu3 | ||
|
|||||||||
2020-01-10 19:00:35 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-13ubuntu2 | ||
|
|||||||||
2020-01-12 00:10:09 UTC | Deleted | Ubuntu Focal armhf | proposed | universe | libdevel | Optional | 1.67.0-13ubuntu2 | ||
|
|||||||||
2019-11-01 09:13:35 UTC | Superseded | Ubuntu Focal armhf | release | universe | libdevel | Optional | 1.67.0-13ubuntu1 | ||
|