summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* Stable for x86, wrt bug #535126Agostino Sarubbo2015-05-271-1/+4
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #535126Agostino Sarubbo2015-05-211-2/+5
| | | | (Portage version: 2.2.18/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* version bumpAlexis Ballier2014-10-231-1/+6
| | | | | Signed-off-by: aballier@gentoo.org (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* update homepage and src_uriAlexis Ballier2014-10-231-1/+4
| | | | | Signed-off-by: aballier@gentoo.org (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2014-10-231-2/+6
| | | | | Signed-off-by: aballier@gentoo.org (Portage version: 2.2.14/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* Stable for x86, wrt bug #492048Agostino Sarubbo2013-12-241-1/+4
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for amd64 wrt bug #492048José María Alonso2013-12-221-1/+4
| | | | (Portage version: 2.2.7/cvs/Linux x86_64, signed Manifest commit with key D628E536)
* Stable for ppc, wrt bug #492048Agostino Sarubbo2013-12-211-1/+4
| | | | (Portage version: 2.2.1/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Stable for x86, wrt bug #481230Agostino Sarubbo2013-08-281-1/+4
| | | | (Portage version: 2.1.13.7/cvs/Linux x86_64, RepoMan options: --include-arches="x86", signed Manifest commit with key 7194459F)
* Stable for ppc, wrt bug #481230Agostino Sarubbo2013-08-261-1/+4
| | | | (Portage version: 2.1.12.2/cvs/Linux ppc64, RepoMan options: --include-arches="ppc", signed Manifest commit with key 7194459F)
* Stable for amd64, wrt bug #481230Agostino Sarubbo2013-08-171-2/+4
| | | | (Portage version: 2.1.13.7/cvs/Linux x86_64, RepoMan options: --include-arches="amd64", signed Manifest commit with key 7194459F)
* version bumpAlexis Ballier2013-08-151-1/+6
| | | | (Portage version: 2.2.0/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* remove oldAlexis Ballier2013-03-031-1/+5
| | | | (Portage version: 2.2.0_alpha164/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* eapi 5, add subslot and := dep on ocamlAlexis Ballier2013-02-071-2/+5
| | | | (Portage version: 2.2.0_alpha161/cvs/Linux x86_64, signed Manifest commit with key 160F534A)
* version bumpAlexis Ballier2012-10-091-1/+6
| | | | (Portage version: 2.2.0_alpha136/cvs/Linux x86_64)
* version bumpAlexis Ballier2012-06-051-1/+6
| | | | (Portage version: 2.2.0_alpha109/cvs/Linux x86_64)
* remove olAlexis Ballier2012-05-181-1/+5
| | | | (Portage version: 2.2.0_alpha107/cvs/Linux x86_64)
* version bumpAlexis Ballier2012-03-091-1/+6
| | | | (Portage version: 2.2.0_alpha90/cvs/Linux x86_64)
* version bump, switch to strict mode since everything in the tree is now fine ↵Alexis Ballier2012-03-011-1/+7
| | | | | | with it (Portage version: 2.2.0_alpha89/cvs/Linux x86_64)
* remove oldAlexis Ballier2012-02-231-1/+5
| | | | (Portage version: 2.2.0_alpha89/cvs/Linux x86_64)
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-221-1/+4
| | | | (Portage version: 2.1.10.11/cvs/Linux ppc64)
* remove oldAlexis Ballier2012-01-161-1/+4
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-161-1/+4
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* version bumpAlexis Ballier2012-01-101-2/+7
| | | | (Portage version: 2.2.0_alpha84/cvs/Linux x86_64)
* Drop sparc keywordsRaúl Porcel2011-12-181-1/+5
| | | | (Portage version: 2.1.10.38/cvs/Linux ia64)
* version bumpAlexis Ballier2011-11-301-1/+6
| | | | (Portage version: 2.2.0_alpha79/cvs/Linux x86_64)
* x86 stable wrt bug #383825Paweł Hajdan2011-10-011-1/+4
| | | | (Portage version: 2.1.10.11/cvs/Linux i686)
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in ↵Tony Vroon2011-09-201-1/+5
| | | | | | bug #383825. (Portage version: 2.1.10.18/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-07-061-1/+6
| | | | (Portage version: 2.2.0_alpha43/cvs/Linux x86_64)
* version bumpAlexis Ballier2011-06-261-1/+6
| | | | (Portage version: 2.2.0_alpha41/cvs/Linux x86_64)
* version bumpAlexis Ballier2011-04-191-1/+6
| | | | (Portage version: 2.2.0_alpha30/cvs/Linux x86_64)
* remove oldAlexis Ballier2011-01-201-1/+4
| | | | (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* Import a patch from upstream/debian to fix latest coq build failure, bug ↵Alexis Ballier2011-01-201-2/+10
| | | | | | #352174 by Thomas Kahle <tomka@gentoo.org> and Olivier Huber (Portage version: 2.2.0_alpha18/cvs/Linux x86_64)
* remove oldAlexis Ballier2010-12-241-1/+5
| | | | (Portage version: 2.2.0_alpha10/cvs/Linux x86_64)
* version bumpAlexis Ballier2010-12-071-1/+6
| | | | (Portage version: 2.2.0_alpha7/cvs/Linux x86_64)
* version bumpAlexis Ballier2010-11-181-1/+6
| | | | (Portage version: 2.2.0_alpha4/cvs/Linux x86_64)
* remove oldAlexis Ballier2010-09-291-1/+5
| | | | (Portage version: 2.2_rc88/cvs/Linux x86_64)
* sparc stable wrt #324811Raúl Porcel2010-09-181-1/+4
| | | | (Portage version: 2.1.8.3/cvs/Linux ia64)
* version bumpAlexis Ballier2010-08-101-1/+6
| | | | (Portage version: 2.2_rc67/cvs/Linux x86_64)
* fix build with ocaml 3.12Alexis Ballier2010-08-031-1/+5
| | | | (Portage version: 2.2_rc67/cvs/Linux x86_64)
* stable x86, bug 324811Christian Faulhammer2010-07-111-1/+4
| | | | (Portage version: 2.1.8.3/cvs/Linux i686)
* ppc stable #324811Gysbert Wassenaar2010-06-271-1/+4
| | | | (Portage version: 2.1.8.3/cvs/Linux ppc)
* stable amd64, bug 324811Pacho Ramos2010-06-241-1/+4
| | | | (Portage version: 2.1.8.3/cvs/Linux x86_64)
* version bumpAlexis Ballier2010-05-191-1/+6
| | | | (Portage version: 2.2_rc67/cvs/Linux x86_64)
* version bumpAlexis Ballier2010-04-091-2/+7
| | | | (Portage version: 2.2_rc67/cvs/Linux x86_64)
* remove oldAlexis Ballier2009-09-201-1/+4
| | | | (Portage version: 2.2_rc41/cvs/Linux x86_64)
* ppc stable #276249Gysbert Wassenaar2009-08-091-1/+4
| | | | (Portage version: 2.1.6.13/cvs/Linux ppc)
* amd64 stable, bug 276249Jeremy Olexa2009-08-021-1/+4
| | | | (Portage version: 2.1.6.13/cvs/Linux x86_64)
* sparc stable wrt #276249Raúl Porcel2009-07-061-1/+4
| | | | (Portage version: 2.1.6.13/cvs/Linux ia64)
* stable x86, bug 276249Christian Faulhammer2009-07-021-1/+4
| | | | (Portage version: 2.1.6.13/cvs/Linux i686)