cvc3 package in Ubuntu

This package has 0 new bugs and 0 open questions.

Package information

Ubuntu Developers
Medium Urgency
any all
Latest upload:

*actual publishing details may vary in this distribution, these are just the package defaults.

Upstream connections

CVC3 Packagingtrunk

This project is for the packaging and releasing CVC3 SMT Solver binaries.

Bug supervisor: no
Bug tracker: yes
Branch: yes

There are no registered releases for the CVC3 Packaging ⇒ trunk.

The Bionic Beaver (supported)
2.4.1-5.1ubuntu1 release (universe)
The Xenial Xerus (supported)
2.4.1-5ubuntu1 release (universe)
The Trusty Tahr (supported)
2.4.1-4ubuntu1 release (universe)