diff options
| author | sbd <sbd@pkgsrc.org> | 2011-12-13 06:58:08 +0000 |
|---|---|---|
| committer | sbd <sbd@pkgsrc.org> | 2011-12-13 06:58:08 +0000 |
| commit | 5c6b99a7684469a6c4e614c336c6c9af36428154 (patch) | |
| tree | 717cd49d2578e52b63dcb0b941dc535a1526d8c6 /lang/coq | |
| parent | 4b9b21b6e412bcdf00242159747b8581f4c3a207 (diff) | |
| download | pkgsrc-5c6b99a7684469a6c4e614c336c6c9af36428154.tar.gz | |
This package can't use autoconf as to conflicts with it.
Diffstat (limited to 'lang/coq')
0 files changed, 0 insertions, 0 deletions