diff options
author | jaapb <jaapb@pkgsrc.org> | 2018-08-02 12:57:03 +0000 |
---|---|---|
committer | jaapb <jaapb@pkgsrc.org> | 2018-08-02 12:57:03 +0000 |
commit | 71e27fd69d4a2dc63a63e1c30db5bd16e33e7f47 (patch) | |
tree | da0d2a074f479736bf4ff036a01303c908365882 /sysutils/burn/patches | |
parent | e47e089c173289be459dafb8f7ca769938a0dd4e (diff) | |
download | pkgsrc-71e27fd69d4a2dc63a63e1c30db5bd16e33e7f47.tar.gz |
Updated package lang/coq to version 8.8.1.
The list of improvements, additions, bugfixes and so on is quite large;
those interested can refer to the CHANGES file in the distribution.
The reference manual has been fully ported to Sphinx.
Diffstat (limited to 'sysutils/burn/patches')
0 files changed, 0 insertions, 0 deletions