diff options
| author |   Danny van Dyk <kugelfang@gentoo.org> | 2004-06-06 16:18:58 +0000 |
|---|---|---|
| committer | Danny van Dyk <kugelfang@gentoo.org> | 2004-06-06 16:18:58 +0000 |
| commit | 472356498728d1942386ea5ef49e7c3f5074a003 (patch) | |
| tree | dfa715492c3de6d1efa318b13a03dad1a69dac52 /app-sci/coq | |
| parent | Fixes Bug #49698 and Bug #48959; version bump and dependency fix respectively... (diff) | |
| download | gentoo-2-472356498728d1942386ea5ef49e7c3f5074a003.tar.gz gentoo-2-472356498728d1942386ea5ef49e7c3f5074a003.tar.bz2 gentoo-2-472356498728d1942386ea5ef49e7c3f5074a003.zip | |
stable on amd64
Diffstat (limited to 'app-sci/coq')
0 files changed, 0 insertions, 0 deletions