Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics/cvc3
Commit message (Collapse)AuthorAgeFilesLines
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-141-5/+15
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-142-3/+6
| | | | (Portage version: 2.1.11.37/cvs/Linux x86_64, signed Manifest commit with key E7BE08CA7DC6EA25)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-051-5/+5
| | | | | | that is suitable for Gentoo (it disables building the shared libraries). EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-052-16/+22
| | | | | | that is suitable for Gentoo (it disables building the shared libraries). EAPI=5 with subslot depends to automatically rebuild cvc3 when isabelle is updated if the isabelle use flag is enabled. (Portage version: 2.1.11.33/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: ↵Mark Wright2012-11-291-9/+9
| | | | | | //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D} (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: ↵Mark Wright2012-11-292-6/+9
| | | | | | //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D} (Portage version: 2.1.11.31/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-011-18/+8
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-013-6/+21
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-311-7/+17
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 7DC6EA25)
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-312-3/+4
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-301-0/+15
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-304-0/+201
(Portage version: 2.1.10.63/cvs/Linux x86_64)