summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Remove old.Michael Palimaka2012-12-201-8/+8
* Remove old.Michael Palimaka2012-12-204-103/+5
* Version bumpAndrey Grozin2012-12-141-1/+6
* Version bumpAndrey Grozin2012-12-145-1/+306
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-141-5/+15
* Update LICENSE from as-is to HPND, bug 418455.Ulrich Müller2012-12-142-3/+6
* Version bumpSebastien Fabbro2012-12-121-5/+8
* Version bumpSebastien Fabbro2012-12-123-6/+84
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-121-5/+5
* twelf does not depend on omake. subslot dep in case any future ebuild depends...Mark Wright2012-12-122-5/+8
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-111-18/+9
* Version bump. Removed unused function and patchSebastien Fabbro2012-12-115-44/+59
* Removed oldSebastien Fabbro2012-12-111-14/+10
* Removed oldSebastien Fabbro2012-12-115-132/+12
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-101-17/+12
* Keyword amd64-linux and x86-linux, cleaningSebastien Fabbro2012-12-103-102/+19
* Add twelf, ebuild by meMark Wright2012-12-091-0/+20
* Add twelf, ebuild by meMark Wright2012-12-099-0/+240
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-091-5/+7
* Add dependency on sci-mathematics/sha1-polyml, which fixes warnings for some ...Mark Wright2012-12-094-4/+32
* add ~arm, bug #440908Markus Meier2012-12-081-4/+14
* add ~arm, bug #440908Markus Meier2012-12-082-3/+6
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-081-0/+14
* Add sci-mathematics/sha1-polyml for sci-mathematics/isabelleMark Wright2012-12-083-0/+101
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-061-4/+14
* Keyword x86, amd64-linux and x86-linux. Added sci as herd maintainershipSebastien Fabbro2012-12-063-9/+19
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-051-1/+12
* Add kodkodi. Required for sci-mathematics/isabelle nitpick couter-example che...Mark Wright2012-12-054-0/+140
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-051-1/+12
* Add kodkod. Required by sci-mathematics/kodkodi which is necessary for sci-ma...Mark Wright2012-12-054-0/+133
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-051-5/+5
* EAPI=5 with subslot depends to automatically rebuild spass when isabelle is u...Mark Wright2012-12-052-9/+13
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-051-6/+6
* EAPI=5 with subslot depends to automatically rebuild e when isabelle is updat...Mark Wright2012-12-053-23/+21
* Remove the static-libs use flag, as upstream do not support static in a way t...Mark Wright2012-12-051-5/+5
* Remove the static-libs use flag, as upstream do not support static in a way t...Mark Wright2012-12-052-16/+22
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...Mark Wright2012-12-051-6/+6
* EAPI=5 with subslot depends to automatically rebuild isabelle when polyml is ...Mark Wright2012-12-053-11/+48
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-041-5/+5
* Added virtual/glu, thanks Niklas Johansson bug #445810Sebastien Fabbro2012-12-042-3/+7
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-031-9/+15
* Add ~x86-fbsd wrt #303903Naohiro Aota2012-12-032-3/+6
* marked x86 per bug 444058Thomas Kahle2012-12-011-2/+12
* marked x86 per bug 444058Thomas Kahle2012-12-012-3/+6
* Version bumpAndrey Grozin2012-11-301-4/+4
* Version bumpAndrey Grozin2012-11-303-17/+19
* Reducing output verbosity some morePatrick Lauer2012-11-301-2/+4
* Reducing output verbosity some morePatrick Lauer2012-11-304-2/+97
* Fixing patch: logfile pathPatrick Lauer2012-11-301-2/+2
* Fixing patch: logfile pathPatrick Lauer2012-11-302-12/+4