diff options
| author |   Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:41:01 +0000 |
|---|---|---|
| committer | Gysbert Wassenaar <nixnut@gentoo.org> | 2009-01-17 16:41:01 +0000 |
| commit | 03a013269cc39aa67cdd6ada3545d2ede8336384 (patch) | |
| tree | d41d7b0b30d90c37ecd4c9e86ddec6a3abf6eb66 /sci-mathematics/coq | |
| parent | Version bump #254964 by Lars (Polynomial-C). (diff) | |
| download | historical-03a013269cc39aa67cdd6ada3545d2ede8336384.tar.gz historical-03a013269cc39aa67cdd6ada3545d2ede8336384.tar.bz2 historical-03a013269cc39aa67cdd6ada3545d2ede8336384.zip | |
ppc stable #253978
Package-Manager: portage-2.1.6.4/cvs/Linux 2.6.27-hardened-r3 ppc
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions