cvc3 package in Ubuntu
This package has 0 new bugs and 0 open questions.
Package information
- Maintainer:
- Ubuntu Developers
- Urgency:*
- Medium Urgency
- Architectures:*
- any all
- Latest upload:
- 2.4.1-5.1ubuntu1
*actual publishing details may vary in this distribution, these are just the package defaults.
Upstream connections
This project is for the packaging and releasing CVC3 SMT Solver binaries.
- Bug supervisor:
- Bug tracker:
- Branch:
There are no registered releases for the CVC3 Packaging ⇒ trunk.
The Bionic Beaver (supported) | ||
|
release (universe) | 2017-10-24 |
The Xenial Xerus (supported) | ||
|
release (universe) | 2015-10-22 |
The Trusty Tahr (supported) | ||
|
release (universe) | 2014-02-04 |
The Precise Pangolin (supported) | ||
|
release (universe) | 2011-10-13 |