diff options
| author | jmmv <jmmv> | 2003-04-12 13:23:13 +0000 |
|---|---|---|
| committer | jmmv <jmmv> | 2003-04-12 13:23:13 +0000 |
| commit | 4786864312ddce2c66f610f3527e938b172a136c (patch) | |
| tree | 23e5405f4b695c8658efb1d729f51d0d1d85e260 /lang/coq | |
| parent | 35ad62acf0e199abeb8256ec96833d38e357fddb (diff) | |
| download | pkgsrc-4786864312ddce2c66f610f3527e938b172a136c.tar.gz | |
Remove useless dependancies.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions