minisat+ trunk series
The "trunk" series represents the primary line of development rather than a stable release branch. This is sometimes also called MAIN or HEAD.
Loading graph...
Series information
- Project:
- minisat+
- Series:
- trunk
- Project drivers:
- Paulo Trezentos
- Release manager:
- None
- Status:
- Active Development
- Project development focus:
- is the focus of development.
- Release URL pattern:
- None
Code for this series
The following branch has been registered as the mainline branch for this release series:
6 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp://staging/minisat+
Milestones and releases
All packages Distribution packaging
This series is packaged in the following distribution series:
- Bilimbi Test Angry Aardvark meritous
- Ubuntu Linaro Evaluation Build Oneiric based series for Ubuntu LEB meritous
- Ubuntu Natty meritous
- Ubuntu Oneiric meritous
- Ubuntu Precise meritous
- Ubuntu Quantal meritous
- Ubuntu Raring meritous
- Ubuntu Saucy meritous
- Ubuntu Trusty meritous
- Ubuntu Utopic meritous
- Ubuntu Vivid meritous
- Ubuntu Wily meritous
- Ubuntu Xenial meritous
- Ubuntu Yakkety meritous
- Ubuntu Zesty meritous
- Ubuntu Artful meritous
- Ubuntu Bionic meritous
- Ubuntu Cosmic meritous
- Ubuntu Disco meritous
- Ubuntu Eoan meritous
- Ubuntu Focal meritous
- Ubuntu Groovy meritous
- Ubuntu Hirsute meritous
- Ubuntu Impish meritous
- Ubuntu Jammy meritous
- Ubuntu Kinetic meritous
- Ubuntu Lunar meritous
- Ubuntu Mantic meritous