diff options
| author | minskim <minskim@pkgsrc.org> | 2013-10-30 00:22:51 +0000 |
|---|---|---|
| committer | minskim <minskim@pkgsrc.org> | 2013-10-30 00:22:51 +0000 |
| commit | 66a1347edbf289921c7b0189b7f20a37ca599aa1 (patch) | |
| tree | ea9106d8521df3c7c6224b53e4fd81cd752af4da /devel | |
| parent | 950929179f58abef0bec792a305a4e0baffe67f1 (diff) | |
| download | pkgsrc-66a1347edbf289921c7b0189b7f20a37ca599aa1.tar.gz | |
Note PKGREVISION bump of coq.
Diffstat (limited to 'devel')
0 files changed, 0 insertions, 0 deletions