libboost-contract1.74-dev binary package in Ubuntu Mantic 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 | ||
---|---|---|---|---|---|---|---|---|---|
2023-07-30 23:43:35 UTC | Published | Ubuntu Mantic amd64 | release | universe | libdevel | Optional | 1.74.0+ds1-22ubuntu1 | ||
|
|||||||||
Deleted | Ubuntu Mantic amd64 | proposed | universe | libdevel | Optional | 1.74.0+ds1-22ubuntu1 | |||
|
|||||||||
2023-07-20 10:09:54 UTC | Superseded | Ubuntu Mantic amd64 | proposed | universe | libdevel | Optional | 1.74.0+ds1-21.2ubuntu1 | ||
|
|||||||||
2023-07-30 23:44:20 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | libdevel | Optional | 1.74.0+ds1-21.1ubuntu1 | ||
|
|||||||||
2023-08-01 00:10:09 UTC | Deleted | Ubuntu Mantic amd64 | proposed | universe | libdevel | Optional | 1.74.0+ds1-21.1ubuntu1 | ||
|
|||||||||
2023-06-27 16:32:19 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | libdevel | Optional | 1.74.0-18.1ubuntu4 | ||
|
|||||||||
2023-06-28 18:10:11 UTC | Deleted | Ubuntu Mantic amd64 | proposed | universe | libdevel | Optional | 1.74.0-18.1ubuntu4 | ||
|
|||||||||
2023-06-21 03:04:45 UTC | Superseded | Ubuntu Mantic amd64 | release | universe | libdevel | Optional | 1.74.0-18.1ubuntu3 | ||
|