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
* fix bug 466776 - typo in email addressMark Wright2013-05-253-18/+12
| | | | | Package-Manager: portage-2.2.0_alpha177/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-143-8/+21
| | | | | Package-Manager: portage-2.1.11.37/cvs/Linux x86_64 Manifest-Sign-Key: 0xE7BE08CA7DC6EA25
* Remove the static-libs use flag, as upstream do not support static in a way ↵Mark Wright2012-12-053-21/+27
| | | | | | | 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. Package-Manager: portage-2.1.11.33/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Try to fix: bug 442228 - sci-mathematics/cvc3-2.4.1 - QA Notice: ↵Mark Wright2012-11-293-15/+18
| | | | | | | //usr/lib/pkgconfig/cvc3.pc installed in ${D}/${D} Package-Manager: portage-2.1.11.31/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fix bug #418455 - sci-mathematics/cvs3 license issues. Fix typos in sed.Mark Wright2012-06-014-24/+29
| | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64
* Remove spurious comment from site-init file for Emacs.Ulrich Müller2012-05-313-10/+21
| | | | Package-Manager: portage-2.1.10.63/cvs/Linux x86_64
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-305-0/+216
Package-Manager: portage-2.1.10.63/cvs/Linux x86_64