summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
* version bumpAlexis Ballier2015-07-303-5/+79
| | | | | Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2015-06-183-74/+8
| | | | | | Signed-off-by: Alexis Ballier <aballier@gentoo.org> Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* version bumpAlexis Ballier2015-06-183-15/+79
| | | | | | Signed-off-by: Alexis Ballier <aballier@gentoo.org> Package-Manager: portage-2.2.20/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Stable for ppc, wrt bug #535126Agostino Sarubbo2015-06-113-18/+21
| | | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 RepoMan-Options: --include-arches="ppc" Manifest-Sign-Key: 0x7194459F
* Stable for x86, wrt bug #535126Agostino Sarubbo2015-05-273-18/+21
| | | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Stable for amd64, wrt bug #535126Agostino Sarubbo2015-05-213-10/+23
| | | | | | Package-Manager: portage-2.2.18/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* version bumpAlexis Ballier2014-10-233-5/+79
| | | | | | Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* update homepage and src_uriAlexis Ballier2014-10-233-10/+13
| | | | | | Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2014-10-234-155/+11
| | | | | | Signed-off-by: aballier@gentoo.org Package-Manager: portage-2.2.14/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* Stable for x86, wrt bug #492048Agostino Sarubbo2013-12-243-12/+21
| | | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Stable for amd64 wrt bug #492048José María Alonso2013-12-223-19/+16
| | | | | Package-Manager: portage-2.2.7/cvs/Linux x86_64 Manifest-Sign-Key: 0xD628E536
* Stable for ppc, wrt bug #492048Agostino Sarubbo2013-12-213-19/+22
| | | | | | Package-Manager: portage-2.2.1/cvs/Linux ppc64 RepoMan-Options: --include-arches="ppc" Manifest-Sign-Key: 0x7194459F
* Stable for x86, wrt bug #481230Agostino Sarubbo2013-08-283-18/+21
| | | | | | Package-Manager: portage-2.1.13.7/cvs/Linux x86_64 RepoMan-Options: --include-arches="x86" Manifest-Sign-Key: 0x7194459F
* Stable for ppc, wrt bug #481230Agostino Sarubbo2013-08-263-18/+21
| | | | | | Package-Manager: portage-2.1.12.2/cvs/Linux ppc64 RepoMan-Options: --include-arches="ppc" Manifest-Sign-Key: 0x7194459F
* Stable for amd64, wrt bug #481230Agostino Sarubbo2013-08-173-10/+22
| | | | | | Package-Manager: portage-2.1.13.7/cvs/Linux x86_64 RepoMan-Options: --include-arches="amd64" Manifest-Sign-Key: 0x7194459F
* version bumpAlexis Ballier2013-08-153-6/+80
| | | | | Package-Manager: portage-2.2.0/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2013-03-034-143/+9
| | | | | Package-Manager: portage-2.2.0_alpha164/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* eapi 5, add subslot and := dep on ocamlAlexis Ballier2013-02-073-17/+20
| | | | | Package-Manager: portage-2.2.0_alpha161/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* version bumpAlexis Ballier2012-10-093-2/+87
| | | | Package-Manager: portage-2.2.0_alpha136/cvs/Linux x86_64
* Change manifest to new hashes.Jeff Horelick2012-07-051-18/+8
| | | | Package-Manager: portage-2.2.0_alpha115/cvs/Linux i686
* version bumpAlexis Ballier2012-06-053-5/+79
| | | | Package-Manager: portage-2.2.0_alpha109/cvs/Linux x86_64
* remove olAlexis Ballier2012-05-184-143/+10
| | | | Package-Manager: portage-2.2.0_alpha107/cvs/Linux x86_64
* version bumpAlexis Ballier2012-03-093-5/+79
| | | | Package-Manager: portage-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-013-5/+80
| | | | | | with it Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* remove oldAlexis Ballier2012-02-234-73/+16
| | | | Package-Manager: portage-2.2.0_alpha89/cvs/Linux x86_64
* Marking camlp5-6.02.3 ppc for bug 383825Brent Baude2012-02-223-16/+9
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux ppc64
* remove oldAlexis Ballier2012-01-163-73/+8
| | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64
* do not use seq in global scope, by Ulrich Müller, bug #398799Alexis Ballier2012-01-163-8/+11
| | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64
* version bumpAlexis Ballier2012-01-101-5/+7
| | | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* version bumpAlexis Ballier2012-01-102-2/+73
| | | | Package-Manager: portage-2.2.0_alpha84/cvs/Linux x86_64
* Drop sparc keywordsRaúl Porcel2011-12-185-16/+20
| | | | Package-Manager: portage-2.1.10.38/cvs/Linux ia64
* version bumpAlexis Ballier2011-11-303-7/+80
| | | | Package-Manager: portage-2.2.0_alpha79/cvs/Linux x86_64
* x86 stable wrt bug #383825Paweł Hajdan2011-10-013-5/+18
| | | | Package-Manager: portage-2.1.10.11/cvs/Linux i686
* Marked stable on AMD64 based on arch testing by Agostino "ago" Sarubbo in ↵Tony Vroon2011-09-203-15/+9
| | | | | | bug #383825. Package-Manager: portage-2.1.10.18/cvs/Linux x86_64
* remove oldAlexis Ballier2011-07-061-12/+4
| | | | | Package-Manager: portage-2.2.0_alpha43/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2011-07-064-140/+6
| | | | Package-Manager: portage-2.2.0_alpha43/cvs/Linux x86_64
* version bumpAlexis Ballier2011-06-263-5/+78
| | | | Package-Manager: portage-2.2.0_alpha41/cvs/Linux x86_64
* version bumpAlexis Ballier2011-04-191-4/+9
| | | | | Package-Manager: portage-2.2.0_alpha30/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* version bumpAlexis Ballier2011-04-192-1/+72
| | | | Package-Manager: portage-2.2.0_alpha30/cvs/Linux x86_64
* remove oldAlexis Ballier2011-01-201-5/+4
| | | | | Package-Manager: portage-2.2.0_alpha18/cvs/Linux x86_64 Manifest-Sign-Key: 0x160F534A
* remove oldAlexis Ballier2011-01-202-47/+4
| | | | Package-Manager: portage-2.2.0_alpha18/cvs/Linux x86_64
* Import a patch from upstream/debian to fix latest coq build failure, bug ↵Alexis Ballier2011-01-204-7/+90
| | | | | | #352174 by Thomas Kahle <tomka@gentoo.org> and Olivier Huber Package-Manager: portage-2.2.0_alpha18/cvs/Linux x86_64
* remove oldAlexis Ballier2010-12-244-101/+9
| | | | Package-Manager: portage-2.2.0_alpha10/cvs/Linux x86_64
* version bumpAlexis Ballier2010-12-073-5/+58
| | | | Package-Manager: portage-2.2.0_alpha7/cvs/Linux x86_64
* version bumpAlexis Ballier2010-11-183-5/+58
| | | | Package-Manager: portage-2.2.0_alpha4/cvs/Linux x86_64
* remove oldAlexis Ballier2010-09-294-98/+16
| | | | Package-Manager: portage-2.2_rc88/cvs/Linux x86_64
* sparc stable wrt #324811Raúl Porcel2010-09-183-15/+8
| | | | Package-Manager: portage-2.1.8.3/cvs/Linux ia64
* version bumpAlexis Ballier2010-08-103-5/+58
| | | | Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* fix build with ocaml 3.12Alexis Ballier2010-08-034-8/+35
| | | | Package-Manager: portage-2.2_rc67/cvs/Linux x86_64
* stable x86, bug 324811Christian Faulhammer2010-07-113-5/+18
| | | | Package-Manager: portage-2.1.8.3/cvs/Linux i686