diff options
| author |   Sebastien Fabbro <bicatali@gentoo.org> | 2010-09-27 04:26:19 +0000 |
|---|---|---|
| committer | Sebastien Fabbro <bicatali@gentoo.org> | 2010-09-27 04:26:19 +0000 |
| commit | 0e313b01c33f4674c010f3fc49c4bc26399f98d4 (patch) | |
| tree | 17910f8f38bbc29df8b39bb940b8e64c78fcad1d /sci-mathematics/coq/metadata.xml | |
| parent | fix build system issues (diff) | |
| download | historical-0e313b01c33f4674c010f3fc49c4bc26399f98d4.tar.gz historical-0e313b01c33f4674c010f3fc49c4bc26399f98d4.tar.bz2 historical-0e313b01c33f4674c010f3fc49c4bc26399f98d4.zip | |
Bump
Package-Manager: portage-2.2_rc86/cvs/Linux x86_64
Diffstat (limited to 'sci-mathematics/coq/metadata.xml')
0 files changed, 0 insertions, 0 deletions