diff options
| author |   Brent Baude <ranger@gentoo.org> | 2011-02-27 18:12:03 +0000 |
|---|---|---|
| committer | Brent Baude <ranger@gentoo.org> | 2011-02-27 18:12:03 +0000 |
| commit | 7ebb18a51e0a2b01bf9b2f6ec80a6e58dfa26fcb (patch) | |
| tree | 938ca4e05219340ac52aeec0d70a959b862eeb71 /sci-mathematics/coq | |
| parent | Drop sparc keywords (diff) | |
| download | gentoo-2-7ebb18a51e0a2b01bf9b2f6ec80a6e58dfa26fcb.tar.gz gentoo-2-7ebb18a51e0a2b01bf9b2f6ec80a6e58dfa26fcb.tar.bz2 gentoo-2-7ebb18a51e0a2b01bf9b2f6ec80a6e58dfa26fcb.zip | |
stable ppc, bug 353856
(Portage version: 2.1.9.25/cvs/Linux ppc64, unsigned Manifest commit)
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions