Ubuntu
cvc3 package

Branches for Utopic

Name		Status	Last Modified	Last Commit
lp://staging/ubuntu/utopic-proposed/cvc3		2 Mature	2014-10-03 18:57:08 UTC 2014-10-03	10. * New maintainer. (Closes: #757192) ... Author:* Morgan Deters Revision Date: 2014-09-27 12:21:27 UTC * New maintainer. (Closes: #757192) * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524) * Update standards version. * Fix dep5 copyright. * Remove Vcs-git and Vcs-browser (not available for CVC3). * Now lintian clean (with some overrides).
lp://staging/ubuntu/utopic/cvc3		1 Development	2014-09-27 12:21:27 UTC 2014-09-27	11. * New maintainer. (Closes: #757192) ... Author:* Morgan Deters Revision Date: 2014-09-27 12:21:27 UTC * New maintainer. (Closes: #757192) * Fix clean target, resolving ppc64el FTBFS. (Closes: #756524) * Update standards version. * Fix dep5 copyright. * Remove Vcs-git and Vcs-browser (not available for CVC3). * Now lintian clean (with some overrides).