diff options
| author | jaapb <jaapb@pkgsrc.org> | 2016-07-02 10:17:40 +0000 |
|---|---|---|
| committer | jaapb <jaapb@pkgsrc.org> | 2016-07-02 10:17:40 +0000 |
| commit | 5388f13b68f05208fc42126e3fa2cfb35c98b85e (patch) | |
| tree | c7f2a016df67e6ecbad9fc220bcdbd988ad64d52 /devel | |
| parent | ab91c2ee2876831f57ff12397f021fc5b51482a8 (diff) | |
| download | pkgsrc-5388f13b68f05208fc42126e3fa2cfb35c98b85e.tar.gz | |
Updated lang/coq to 8.5pl1
Diffstat (limited to 'devel')
0 files changed, 0 insertions, 0 deletions