diff options
| author | dholland <dholland@pkgsrc.org> | 2011-12-13 07:11:13 +0000 |
|---|---|---|
| committer | dholland <dholland@pkgsrc.org> | 2011-12-13 07:11:13 +0000 |
| commit | bea96ed54c163e0bbab510d5e35e78a82adca404 (patch) | |
| tree | bf24ec6932018c57b0b352b04e3f7159d3127ab8 /lang/coq | |
| parent | 5c6b99a7684469a6c4e614c336c6c9af36428154 (diff) | |
| download | pkgsrc-bea96ed54c163e0bbab510d5e35e78a82adca404.tar.gz | |
fix some low-hanging fruit
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions