diff options
| author |   Heinrich Wendel <lanius@gentoo.org> | 2005-04-13 18:31:22 +0000 |
|---|---|---|
| committer | Heinrich Wendel <lanius@gentoo.org> | 2005-04-13 18:31:22 +0000 |
| commit | 0feaf45629281285a4402ee28a1a013080ba26f8 (patch) | |
| tree | c731d4b8203d822f8637d27f3105f0d7ebff5f2a /sci-mathematics/coq/coq-8.0-r1.ebuild | |
| parent | Package-Manager: portage-2.0.51.19 (diff) | |
| download | historical-0feaf45629281285a4402ee28a1a013080ba26f8.tar.gz historical-0feaf45629281285a4402ee28a1a013080ba26f8.tar.bz2 historical-0feaf45629281285a4402ee28a1a013080ba26f8.zip | |
various things, please changelog
Package-Manager: portage-2.0.51.19
Package-Manager: portage-2.0.51.19
Diffstat (limited to 'sci-mathematics/coq/coq-8.0-r1.ebuild')
0 files changed, 0 insertions, 0 deletions