Get Gentoo!
gentoo.org sites
gentoo.org Wiki Bugs Forums Packages
Planet Archives Sources
Infra Status
summaryrefslogtreecommitdiff
path: root/sci-mathematics
Commit message (Expand)AuthorAgeFilesLines
* Fix bug 453162 - workaround Java 7 Changes in Most Specific Varargs Method Se...Mark Wright2013-02-024-13/+46
* BumpPatrick Lauer2013-02-026-38/+300
* move media-fonts/freefont-ttf into media-fonts/freefontAgostino Sarubbo2013-02-013-7/+10
* Adding blocker for #453044Patrick Lauer2013-01-233-4/+8
* Fix invalid metadata.Diego Elio Pettenò2013-01-203-8/+15
* Fix build with gmp-5.1 (bug 451442). Thanks to Diego and the tinderbox.Thomas Kahle2013-01-154-6/+81
* fix build with camlp4, bug #450954Alexis Ballier2013-01-154-7/+33
* Unfortunate forcing of gtk for emacs use flag (bug #452112)Sebastien Fabbro2013-01-154-126/+15
* Initial import, ebuild by mePatrick Lauer2013-01-133-1/+40
* Initial import, ebuild by mePatrick Lauer2013-01-132-0/+12
* Forgot transfig dependencySebastien Fabbro2013-01-113-8/+14
* Added postscript flag, use generic pkg-configSebastien Fabbro2013-01-113-23/+26
* Bump agda-stdlib snapshot to 20130109, install .agda and .agdai files with --...Mark Wright2013-01-105-12/+83
* bump to 27.9, remove old. (bug 450804)Thomas Kahle2013-01-086-103/+27
* Bump coq to 8.4pl1. 8.4pl1 has changes similar to coq-8.4-lablgtk216.patch, s...Mark Wright2013-01-073-7/+91
* Fixing ggnfs default paths for live ebuild tooPatrick Lauer2013-01-063-4/+10
* Fixing ggnfs default pathsPatrick Lauer2013-01-064-50/+14
* Fixing linking issue with newer msievePatrick Lauer2013-01-063-6/+9
* Add live ebuildPatrick Lauer2013-01-063-3/+67
* Adding live ebuildPatrick Lauer2013-01-063-2/+63
* Small dependency tweak to avoid linking problemsPatrick Lauer2013-01-063-7/+11
* Marked ~hppa too.Jeroen Roovers2013-01-023-10/+13
* Add dependency on app-text/gnome-doc-utils, bug #448636Andrey Grozin2013-01-023-6/+10
* Add blas useflagPatrick Lauer2013-01-014-8/+16
* Fix gmp dep, add test phase, add live ebuildPatrick Lauer2013-01-015-50/+81
* Version bump. Fix bug #439352 by flameeyes (cc called directly). Remove old.Paweł Hajdan2012-12-303-24/+31
* Fix doc install per bug 449312Thomas Kahle2012-12-303-9/+14
* Loosen binary dep, patch for hashable 1.2Mark Wright2012-12-284-5/+177
* Drop masked for removal packagePacho Ramos2012-12-2519-2109/+0
* Version bumpAndrey Grozin2012-12-243-18/+69
* add ~armMarkus Meier2012-12-233-12/+11
* Remove old.Michael Palimaka2012-12-205-111/+13
* Version bumpAndrey Grozin2012-12-146-2/+312
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-143-8/+21
* Version bumpSebastien Fabbro2012-12-124-11/+92
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-123-10/+13
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-116-62/+68
* Removed oldSebastien Fabbro2012-12-116-146/+22
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-104-119/+31
* Add twelf, ebuild by meMark Wright2012-12-0910-0/+260
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-095-9/+39
* add ~arm, bug #440908Markus Meier2012-12-083-7/+20
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-084-0/+115
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-064-13/+33
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-053-1/+139
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-052-0/+13
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-053-1/+131
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-052-0/+14
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-053-14/+18
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-054-29/+27