diff options
| author |   Michael Sterrett <mr_bones_@gentoo.org> | 2005-06-22 23:32:03 +0000 |
|---|---|---|
| committer | Michael Sterrett <mr_bones_@gentoo.org> | 2005-06-22 23:32:03 +0000 |
| commit | 6ffa0e381584dac3312cbd23004920403cb76629 (patch) | |
| tree | 94da1560dd0f14ffe0d10cc6831053836ef7fcb0 /sci-mathematics/coq | |
| parent | update copyright notice (2005) (diff) | |
| download | gentoo-2-6ffa0e381584dac3312cbd23004920403cb76629.tar.gz gentoo-2-6ffa0e381584dac3312cbd23004920403cb76629.tar.bz2 gentoo-2-6ffa0e381584dac3312cbd23004920403cb76629.zip | |
header fix; IUSE
(Portage version: 2.0.51.19)
Diffstat (limited to 'sci-mathematics/coq')
0 files changed, 0 insertions, 0 deletions