CVC4 SVN builds
PPA description
Unstable nightly builds of CVC4 (http://
Adding this PPA to your system
You can update your system with unsupported packages from this untrusted PPA by adding ppa:cvc3/cvc4-svn to your system's Software Sources. (Read about installing)
sudo add-apt-repository ppa:cvc3/cvc4-svn sudo apt update
For questions and bugs with software in this PPA please contact CVC3.
PPA statistics
- Activity
- 0 updates added during the past month.
View package details
Overview of published packages
1 → 3 of 3 results | First • Previous • Next • Last |
Package | Version | Uploaded by |
---|---|---|
cvc4 | 0.1~20101127-0~ppa1 | Chris Conway () |
cvc4 | 0.1~20101127-0~ppa1~maverick1 | Chris Conway () |
libantlr3c | 3.2-1~maverick1 | Chris Conway () |
1 → 3 of 3 results | First • Previous • Next • Last |