diff options
| author |   Markus Meier <maekke@gentoo.org> | 2008-04-06 19:26:46 +0000 |
|---|---|---|
| committer | Markus Meier <maekke@gentoo.org> | 2008-04-06 19:26:46 +0000 |
| commit | 19391bf603288fa00824528df5635b3ba6fb97b8 (patch) | |
| tree | bc36f7a8cb61912e53c8300db1d525cf962fb118 /sci-mathematics/coq/Manifest | |
| parent | Added ~ppc; bug #195815 (diff) | |
| download | gentoo-2-19391bf603288fa00824528df5635b3ba6fb97b8.tar.gz gentoo-2-19391bf603288fa00824528df5635b3ba6fb97b8.tar.bz2 gentoo-2-19391bf603288fa00824528df5635b3ba6fb97b8.zip | |
amd64/x86 stable, bug #215746
(Portage version: 2.1.5_rc2)
Diffstat (limited to 'sci-mathematics/coq/Manifest')
0 files changed, 0 insertions, 0 deletions