summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-261-12/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking lpsolve-5.5.2.0 ~ppc64 for bug 398521Brent Baude2012-03-262-5/+8
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Marked ~x86-macosFabian Groffen2012-03-251-7/+7
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386, signed Manifest commit with key C5C74E89)
* Marked ~x86-macosFabian Groffen2012-03-252-3/+6
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386)
* Drop ia64/sparcRaúl Porcel2012-03-251-5/+15
| | | | (Portage version: 2.1.10.49/cvs/Linux ia64, RepoMan options: --force, signed Manifest commit with key F6AD3240)
* Drop ia64/sparcRaúl Porcel2012-03-255-10/+18
| | | | (Portage version: 2.1.10.49/cvs/Linux ia64, RepoMan options: --force)
* Add agda-executable, Command-line program for type-checking and compiling ↵Mark Wright2012-03-251-0/+16
| | | | | | Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Add agda-executable, Command-line program for type-checking and compiling ↵Mark Wright2012-03-254-0/+89
| | | | | | Agda programs. (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-251-0/+15
| | | | (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib.Mark Wright2012-03-254-0/+62
| | | | (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-251-6/+9
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Thanks to tomprince for adding support for agda-stdlib. Bump to 2.3.0.1, ↵Mark Wright2012-03-255-16/+126
| | | | | | EAPI=4, [profile?] for haskell lib depends. (Portage version: 2.1.10.51/cvs/Linux x86_64)
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-251-8/+8
| | | | (Portage version: 2.2.0_alpha95/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* Correct gold patch to fix build on Darwin targets, #408497Justin Lecher2012-03-254-25/+20
| | | | (Portage version: 2.2.0_alpha95/cvs/Linux x86_64)
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and ↵Thomas Kahle2012-03-241-4/+8
| | | | | | sage-on-gentoo (Portage version: 2.1.10.50/cvs/Linux x86_64, signed Manifest commit with key 0x20F2A3AE)
* add 3.1.4 with python support. Kudos to all contributors from lmona.de and ↵Thomas Kahle2012-03-243-2/+233
| | | | | | sage-on-gentoo (Portage version: 2.1.10.50/cvs/Linux x86_64)
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-241-2/+12
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386, signed Manifest commit with key C5C74E89)
* Marked ~x{86,64}-macos, bug #408497Fabian Groffen2012-03-242-4/+7
| | | | (Portage version: 2.2.01.20271-prefix/cvs/Darwin i386)
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-241-8/+8
| | | | | | is an alias for Ploc.Exc, it has been deprecated for a while, and was removed in dev-ml/camlp5-6.05. Fixed by upstream in svn repo: https://coq.inria.fr/bugs/show_bug.cgi?id=2728 (Portage version: 2.1.10.51/cvs/Linux x86_64, signed Manifest commit with key 618E971F)
* Fix coq 8.3_p2 and 8.3_p3 builds with dev-ml/camlp5-6.05. Stdpp.Exc_located ↵Mark Wright2012-03-243-4/+59
| | | | | | is an alias for Ploc.Exc, it has been deprecated for a while, and was removed in dev-ml/camlp5-6.05. Fixed by upstream in svn repo: https://coq.inria.fr/bugs/show_bug.cgi?id=2728 (Portage version: 2.1.10.51/cvs/Linux x86_64)
* New addition, written by meJustin Lecher2012-03-211-2/+12
| | | | (Portage version: 2.2.0_alpha93/cvs/Linux x86_64, signed Manifest commit with key 70EB7916)
* New addition, written by meJustin Lecher2012-03-215-0/+84
| | | | (Portage version: 2.2.0_alpha93/cvs/Linux x86_64)
* Added gnome-extras/yelp dependency for documentation when gtk is setSebastien Fabbro2012-03-151-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Added gnome-extras/yelp dependency for documentation when gtk is setSebastien Fabbro2012-03-152-5/+8
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Revert to ~ppc wrt #360601Samuli Suominen2012-03-131-2/+16
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Revert to ~ppc wrt #360601Samuli Suominen2012-03-132-5/+8
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64)
* Remove unused USE flags umfpack, ffcall and arpack.Samuli Suominen2012-03-101-9/+9
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Remove unused USE flags umfpack, ffcall and arpack.Samuli Suominen2012-03-102-6/+4
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64)
* Forgot to add virtual/glu for prev. commit. Complete it.Samuli Suominen2012-03-101-8/+8
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Forgot to add virtual/glu for prev. commit. Complete it.Samuli Suominen2012-03-101-1/+2
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64)
* Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ↵Samuli Suominen2012-03-101-5/+10
| | | | | | required for compability with x11-libs/qt-opengl >= 4.8.0. (Portage version: 2.2.0_alpha90/cvs/Linux x86_64, signed Manifest commit with key 4868F14D)
* Pull in GLU headers for "gluProject" wrt #402361 by Helmut Jarausch. This is ↵Samuli Suominen2012-03-103-5/+26
| | | | | | required for compability with x11-libs/qt-opengl >= 4.8.0. (Portage version: 2.2.0_alpha90/cvs/Linux x86_64)
* Marking octave-3.4.3-r1 ppc64 for bug 402199Brent Baude2012-03-081-2/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking octave-3.4.3-r1 ppc64 for bug 402199Brent Baude2012-03-082-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Marking glpk-4.45 ppc64 for bug 391517Brent Baude2012-03-081-2/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking glpk-4.45 ppc64 for bug 391517Brent Baude2012-03-082-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Marking octave-3.4.3-r1 ppc for bug 402199Brent Baude2012-03-071-12/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking octave-3.4.3-r1 ppc for bug 402199Brent Baude2012-03-072-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Version bumpSebastien Fabbro2012-03-061-5/+7
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-03-062-2/+148
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-03-041-6/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-03-042-4/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Remove old.Johannes Huber2012-03-031-3/+15
| | | | (Portage version: 2.2.0_alpha89/cvs/Linux i686, signed Manifest commit with key F3CFD2BD)
* Remove old.Johannes Huber2012-03-032-20/+4
| | | | (Portage version: 2.2.0_alpha89/cvs/Linux i686)
* Marking gmm-4.1 ppc64 for bug 391651Brent Baude2012-03-021-2/+2
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64, unsigned Manifest commit)
* Marking gmm-4.1 ppc64 for bug 391651Brent Baude2012-03-022-3/+6
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* Version bumpSebastien Fabbro2012-03-021-4/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-03-022-2/+60
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)
* Version bumpSebastien Fabbro2012-03-021-8/+6
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64, signed Manifest commit with key 0x13CB1360)
* Version bumpSebastien Fabbro2012-03-023-45/+10
| | | | (Portage version: 2.1.10.44/cvs/Linux x86_64)