summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* whitespaceMichael Sterrett2013-02-182-13/+2
| | | | Package-Manager: portage-2.1.11.50/cvs/Linux x86_64
* set correct maintainerJulian Ospald2013-02-173-12/+17
| | | | | Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64 Manifest-Sign-Key: 0xE73C35B3
* initial import wrt #365595Julian Ospald2013-02-167-2/+329
| | | | | Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64 Manifest-Sign-Key: 0xE73C35B3
* initial import wrt #365595Julian Ospald2013-02-162-0/+23
| | | | | Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64 Manifest-Sign-Key: 0xE73C35B3
* drop old, update Makefile patch (bugs 457722, 457720)Thomas Kahle2013-02-164-75/+32
| | | | | Package-Manager: portage-2.1.11.52/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* Stable for x86, wrt bug #457690Agostino Sarubbo2013-02-153-18/+21
| | | | | Package-Manager: portage-2.1.11.52/cvs/Linux x86_64 Manifest-Sign-Key: 0x7194459F
* Stable for amd64, wrt bug #457690Agostino Sarubbo2013-02-153-9/+22
| | | | | Package-Manager: portage-2.1.11.52/cvs/Linux x86_64 Manifest-Sign-Key: 0x7194459F
* Fixed for wrong R_HOME variable (bug #457502) and removing a file which ↵Sebastien Fabbro2013-02-143-13/+24
| | | | | | | wasn't there (bug #457500). Simplified depedencies Package-Manager: portage-2.2.01.21688-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Simplify examples installation (fixes bug #457198 by Hypnos too).Jeroen Roovers2013-02-143-12/+14
| | | | | Package-Manager: portage-2.2.0_alpha162/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Version bumpSebastien Fabbro2013-02-136-109/+31
| | | | | Package-Manager: portage-2.2.01.21688-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* sci-mathematics/gimps: Drop oldJustin Lecher2013-02-045-142/+22
| | | | | Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64 Manifest-Sign-Key: 0x70EB7916
* Stable for x86, wrt bug #455402Agostino Sarubbo2013-02-043-5/+8
| | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
* Stable for amd64, wrt bug #455402Agostino Sarubbo2013-02-043-15/+8
| | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
* Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method ↵Mark Wright2013-02-024-13/+46
| | | | | | | Selection - by removing an overloaded method to allow the dumb javac to compile it. Package-Manager: portage-2.1.11.50/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* BumpPatrick Lauer2013-02-026-38/+300
| | | | Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64
* move media-fonts/freefont-ttf into media-fonts/freefontAgostino Sarubbo2013-02-013-7/+10
| | | | Package-Manager: portage-2.1.11.31/cvs/Linux x86_64
* Adding blocker for #453044Patrick Lauer2013-01-233-4/+8
| | | | Package-Manager: portage-2.2.0_alpha159/cvs/Linux x86_64
* Fix invalid metadata.Diego Elio Pettenò2013-01-203-8/+15
| | | | | Package-Manager: portage-2.2.0_alpha154/cvs/Linux x86_64 Manifest-Sign-Key: 0x1CD13C8AD4301342
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-154-6/+81
| | | | | Package-Manager: portage-2.1.11.41/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* fix build with camlp4, bug #450954Alexis Ballier2013-01-154-7/+33
| | | | | Package-Manager: portage-2.2.0_alpha153/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-154-126/+15
| | | | | Package-Manager: portage-2.2.01.21580-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Initial import, ebuild by mePatrick Lauer2013-01-133-1/+40
| | | | Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
* Initial import, ebuild by mePatrick Lauer2013-01-132-0/+12
| | | | Package-Manager: portage-2.2.0_alpha151/cvs/Linux x86_64
* Forgot transfig dependencySebastien Fabbro2013-01-113-8/+14
| | | | | Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-113-23/+26
| | | | | Package-Manager: portage-2.2.01.21476-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with ↵Mark Wright2013-01-105-12/+83
| | | | | | | --preserve-timestamps Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-086-103/+27
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, ↵Mark Wright2013-01-073-7/+91
| | | | | | | so that patch is not applied to coq-8.4_p1. Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-063-4/+10
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Fixing ggnfs default pathsPatrick Lauer2013-01-064-50/+14
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Fixing linking issue with newer msievePatrick Lauer2013-01-063-6/+9
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Add live ebuildPatrick Lauer2013-01-063-3/+67
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Adding live ebuildPatrick Lauer2013-01-063-2/+63
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-063-7/+11
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64
* Marked ~hppa too.Jeroen Roovers2013-01-023-10/+13
| | | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux x86_64 Manifest-Sign-Key: 0xA792A613
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-023-6/+10
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
* Add blas useflagPatrick Lauer2013-01-014-8/+16
| | | | Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-015-50/+81
| | | | Package-Manager: portage-2.2.0_alpha143/cvs/Linux x86_64
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-303-24/+31
| | | | | Package-Manager: portage-2.1.11.31/cvs/Linux i686 Manifest-Sign-Key: 0x30427902
* Fix doc install per bug 449312Thomas Kahle2012-12-303-9/+14
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x89DEB219565C32BC
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-284-5/+177
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
|
* Version bumpAndrey Grozin2012-12-243-18/+69
| | | | Package-Manager: portage-2.2.0_alpha149/cvs/Linux i686
* add ~armMarkus Meier2012-12-233-12/+11
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x072AD062
* Remove old.Michael Palimaka2012-12-205-111/+13
| | | | | Package-Manager: portage-2.1.11.38/cvs/Linux x86_64 Manifest-Sign-Key: 0x675D0D2C
* Version bumpAndrey Grozin2012-12-146-2/+312
| | | | Package-Manager: portage-2.2.0_alpha148/cvs/Linux i686
* 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
* Version bumpSebastien Fabbro2012-12-124-11/+92
| | | | | Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360
* twelf does not depend on omake. subslot dep in case any future ebuild ↵Mark Wright2012-12-123-10/+13
| | | | | | | depends on twelf. Package-Manager: portage-2.1.11.36/cvs/Linux x86_64 Manifest-Sign-Key: 0x618E971F
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-116-62/+68
| | | | | Package-Manager: portage-2.2.01.21418-prefix/cvs/Linux x86_64 Manifest-Sign-Key: 0x13CB1360