Gentoo Packages /package/sci-mathematics/cvc3 http://www.gentoo.org/favicon.ico http://packages.gentoo.org/feed/package/sci-mathematics/cvc3?arches=linux Gentoo Packages2 2013-05-21T22:01:04Z <div> <span class="cpvstr">sci-mathematics/cvc3</span>: <span class="description"></span> </div> http://packages.gentoo.org/package/sci-mathematics/cvc3?ts=2012-12-14T10:01:28Z?arches=linux Ulrich Müller (ulm) http://cia.vc/stats/author/ulm 2012-12-14T10:01:28Z
14 Dec 2012; Ulrich Müller (ulm) cvc3-2.4.1.ebuild:
Update LICENSE from as-is to HPND, bug 418455.