diff options
| author |   Heinrich Wendel <lanius@gentoo.org> | 2005-04-13 18:32:12 +0000 |
|---|---|---|
| committer | Heinrich Wendel <lanius@gentoo.org> | 2005-04-13 18:32:12 +0000 |
| commit | cd4a9ca1fe009afc9128bc8e74c517289c2eb337 (patch) | |
| tree | 01464fdd7659b16dc862116c641f87cc3f031c7f /sci-mathematics/coq | |
| parent | various things, please changelog (diff) | |
| download | gentoo-2-cd4a9ca1fe009afc9128bc8e74c517289c2eb337.tar.gz gentoo-2-cd4a9ca1fe009afc9128bc8e74c517289c2eb337.tar.bz2 gentoo-2-cd4a9ca1fe009afc9128bc8e74c517289c2eb337.zip | |
(Portage version: 2.0.51.19) (Manifest recommit)
(Portage version: 2.0.51.19)
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions