Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Disable python 3Michael Weber2012-05-302-3/+6
* marked x86 per bug 418087Jeff Horelick2012-05-301-16/+2
* marked x86 per bug 418087Jeff Horelick2012-05-302-3/+6
* marked x86 per bug 418099Jeff Horelick2012-05-301-16/+2
* marked x86 per bug 418099Jeff Horelick2012-05-302-3/+6
* Version bump to fix SUDO_ASKPASS regression #417425 by Iftikhar Rathore.Mike Frysinger2012-05-301-7/+17
* Version bump to fix SUDO_ASKPASS regression #417425 by Iftikhar Rathore.Mike Frysinger2012-05-302-2/+8
* Cleanup oldThomas Beierlein2012-05-301-8/+4
* Cleanup oldThomas Beierlein2012-05-303-65/+5
* Cleanup oldThomas Beierlein2012-05-301-26/+5
* Cleanup oldThomas Beierlein2012-05-309-1279/+10
* Limiting v8 dep to avoid crashes #417879Patrick Lauer2012-05-301-4/+4
* Limiting v8 dep to avoid crashes #417879Patrick Lauer2012-05-304-4/+12
* Bump for #417955Patrick Lauer2012-05-301-1/+3
* Bump for #417955Patrick Lauer2012-05-302-1/+58
* Keywording assp-1.9 againPatrick Lauer2012-05-301-2/+2
* Keywording assp-1.9 againPatrick Lauer2012-05-302-3/+6
* Bump for #418029Patrick Lauer2012-05-301-1/+3
* Bump for #418029Patrick Lauer2012-05-302-1/+184
* use.mask socialwebMatt Turner2012-05-302-2/+9
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-301-0/+14
* Add E theorem prover, with optional Isabelle/HOL sledgehammer integration.Mark Wright2012-05-303-0/+171
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...Mark Wright2012-05-301-0/+14
* Add SPASS automated theorem prover, with optional Isabelle/HOL sledgehammer i...Mark Wright2012-05-303-0/+105
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-301-0/+15
* Add CVC3 automatic theorem prover, with optional Isabelle/HOL integration.Mark Wright2012-05-304-0/+201
* keyword ~x86-fbsdAlexis Ballier2012-05-301-6/+6
* keyword ~x86-fbsdAlexis Ballier2012-05-302-3/+7
* remove oldAlexis Ballier2012-05-301-126/+4
* remove oldAlexis Ballier2012-05-302-24/+5
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-301-5/+15
* Bump to 2011.1-r1 and 2012. Add jedit use flag to build Isabelle/jEdit Prover...Mark Wright2012-05-309-1/+687
* Initial importSebastien Fabbro2012-05-301-2/+12
* Initial importSebastien Fabbro2012-05-308-0/+276
* Version bump. Add patch for bug #402285.Chí-Thanh Christopher Nguyễn2012-05-291-3/+4
* Version bump. Add patch for bug #402285.Chí-Thanh Christopher Nguyễn2012-05-293-6/+46
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-5/+5
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+7
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-9/+5
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+6
* keyword ~amd64-fbsdAlexis Ballier2012-05-291-9/+5
* keyword ~amd64-fbsdAlexis Ballier2012-05-292-3/+7
* mask webkit-gtk[introspection]Alexis Ballier2012-05-291-1/+4
* fix underlinking wrt #418121Julian Ospald2012-05-291-9/+10
* fix underlinking wrt #418121Julian Ospald2012-05-293-3/+25
* Remove extra python shebangs that prevented applications to start when python...Chí-Thanh Christopher Nguyễn2012-05-291-2/+2
* Remove extra python shebangs that prevented applications to start when python...Chí-Thanh Christopher Nguyễn2012-05-292-2/+12
* Remove intltool.m4 to update it. #417563Naohiro Aota2012-05-291-3/+23
* Remove intltool.m4 to update it. #417563Naohiro Aota2012-05-293-5/+11
* Security updates in the 1.8 & 10 branches for an IAX2 remote crash, bug #4181...Tony Vroon2012-05-291-22/+5