Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Bump for #418029Patrick Lauer2012-05-301-1/+3
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, unsigned Manifest commit)
* Bump for #418029Patrick Lauer2012-05-302-1/+184
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* use.mask socialwebMatt Turner2012-05-302-2/+9
|
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵Mark Wright2012-05-301-0/+14
| | | | | | integration. (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer ↵Mark Wright2012-05-303-0/+105
| | | | | | integration. (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)
* keyword ~x86-fbsdAlexis Ballier2012-05-301-6/+6
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* keyword ~x86-fbsdAlexis Ballier2012-05-302-3/+7
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* remove oldAlexis Ballier2012-05-301-126/+4
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2012-05-302-24/+5
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-301-5/+15
| | | | | | Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit ↵Mark Wright2012-05-309-1/+687
| | | | | | Prover IDE (PIDE) (2012 only, requires dev-lang/scala), ledit and readline use flags for the preferred tty line editor. Add dev-perl/libwww-perl dep. Add doc-src directory with use=doc (2012) as doc-src stuff is required when building doc some isabelle add on packages (sci-mathematics/haskabelle). (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Initial importSebastien Fabbro2012-05-301-2/+12
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Initial importSebastien Fabbro2012-05-308-0/+276
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Version bump. Add patch for bug #402285.Chí-Thanh Christopher Nguyễn2012-05-291-3/+4
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, unsigned Manifest commit)
* Version bump. Add patch for bug #402285.Chí-Thanh Christopher Nguyễn2012-05-293-6/+46
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-5/+5
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+7
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-9/+5
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+6
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-9/+5
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+7
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* mask webkit-gtk[introspection]Alexis Ballier2012-05-291-1/+4
|
* fix underlinking wrt #418121Julian Ospald2012-05-291-9/+10
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, signed Manifest commit with key E73C35B3)
* fix underlinking wrt #418121Julian Ospald2012-05-293-3/+25
| | | | (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* Remove extra python shebangs that prevented applications to start when ↵Chí-Thanh Christopher Nguyễn2012-05-291-2/+2
| | | | | | python-3 was eselected. (Portage version: 2.2.0_alpha108/cvs/Linux x86_64, unsigned Manifest commit)
* Remove extra python shebangs that prevented applications to start when ↵Chí-Thanh Christopher Nguyễn2012-05-292-2/+12
| | | | | | python-3 was eselected. (Portage version: 2.2.0_alpha108/cvs/Linux x86_64)
* Remove intltool.m4 to update it. #417563Naohiro Aota2012-05-291-3/+23
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux x86_64, signed Manifest commit with key F8551514)
* Remove intltool.m4 to update it. #417563Naohiro Aota2012-05-293-5/+11
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux x86_64)
* Security updates in the 1.8 & 10 branches for an IAX2 remote crash, bug ↵Tony Vroon2012-05-291-22/+5
| | | | | | #418189 (AST-2012-007/CVE-2012-2947) and an SCCP channel driver remote crash, bug #418191 (AST-2012-008/CVE-2012-2948). Both filed by Rajiv Aaron Manglani. Removed vulnerable ebuilds up to last stable. (Portage version: 2.1.10.63/cvs/Linux x86_64, unsigned Manifest commit)
* Security updates in the 1.8 & 10 branches for an IAX2 remote crash, bug ↵Tony Vroon2012-05-294-292/+14
| | | | | | #418189 (AST-2012-007/CVE-2012-2947) and an SCCP channel driver remote crash, bug #418191 (AST-2012-008/CVE-2012-2948). Both filed by Rajiv Aaron Manglani. Removed vulnerable ebuilds up to last stable. (Portage version: 2.1.10.63/cvs/Linux x86_64)
* Update Makefile.in.in. #417553Naohiro Aota2012-05-291-7/+17
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux x86_64, signed Manifest commit with key F8551514)
* Update Makefile.in.in. #417553Naohiro Aota2012-05-292-2/+7
| | | | (Portage version: 2.2.0_alpha100/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-11/+7
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-2/+12
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-11/+7
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+7
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-2/+12
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-2/+12
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Keyword ~mipsAnthony G. Basile2012-05-291-2/+12
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64, signed Manifest commit with key 0xD0455535)
* Keyword ~mipsAnthony G. Basile2012-05-292-3/+6
| | | | (Portage version: 2.1.10.49/cvs/Linux x86_64)
* Version bump, python 3 support.Michael Weber2012-05-291-1/+13
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64, signed Manifest commit with key 62EEF090)
* Version bump, python 3 support.Michael Weber2012-05-292-1/+60
| | | | (Portage version: 2.1.10.63/cvs/Linux x86_64)