diff options
| author |   Marien Zwart <marienz@gentoo.org> | 2006-11-30 00:05:10 +0000 |
|---|---|---|
| committer | Marien Zwart <marienz@gentoo.org> | 2006-11-30 00:05:10 +0000 |
| commit | 26d9384a42ef6ba3c65c9ed08b4c6ea6fdb4743f (patch) | |
| tree | b41091d28c6a6e8f6d3b4e41b5106297f9ef11d0 /sci-mathematics/coq | |
| parent | Version bump, remove old versions. Close bug #156624, thanks to Daniel Drake ... (diff) | |
| download | historical-26d9384a42ef6ba3c65c9ed08b4c6ea6fdb4743f.tar.gz historical-26d9384a42ef6ba3c65c9ed08b4c6ea6fdb4743f.tar.bz2 historical-26d9384a42ef6ba3c65c9ed08b4c6ea6fdb4743f.zip | |
Version bump, remove old versions. Close bug #156624, thanks to Daniel Drake <dsd@gentoo.org> for reporting.
Package-Manager: portage-2.1.2_rc2-r2
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions