Coq 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:
- Coq
- Series:
- trunk
- Project drivers:
- Samuel Bronson
- 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:
10699 revisions.
You can get a copy of the development focus branch using the command:
bzr branch lp:coq
Milestones and releases
All packages Distribution packaging
This series is packaged in the following distribution series:
- Bilimbi Test Angry Aardvark coq
- Debian Squeeze coq
- Ubuntu Linaro Evaluation Build Oneiric based series for Ubuntu LEB coq
- Ubuntu Lucid coq
- Ubuntu Maverick coq
- Ubuntu Natty coq
- Ubuntu Oneiric coq
- Ubuntu Precise coq
- Ubuntu Quantal coq
- Ubuntu Raring coq
- Ubuntu Saucy coq
- Ubuntu Trusty coq
- Ubuntu Utopic coq
- Ubuntu Vivid coq
- Ubuntu Wily coq
- Ubuntu Xenial coq
- Ubuntu Yakkety coq
- Ubuntu Zesty coq
- Ubuntu Artful coq
- Ubuntu Bionic coq
- Ubuntu Cosmic coq
- Ubuntu Disco coq
- Ubuntu Eoan coq
- Ubuntu Focal coq
- Ubuntu Groovy coq
- Ubuntu Hirsute coq
- Ubuntu Impish coq
- Ubuntu Jammy coq
- Ubuntu Kinetic coq
- Ubuntu Lunar coq
- Ubuntu Mantic coq
- Ubuntu Noble coq