summaryrefslogtreecommitdiff
path: root/sysutils/burn/patches
diff options
context:
space:
mode:
authorjaapb <jaapb@pkgsrc.org>2018-08-02 12:57:03 +0000
committerjaapb <jaapb@pkgsrc.org>2018-08-02 12:57:03 +0000
commit71e27fd69d4a2dc63a63e1c30db5bd16e33e7f47 (patch)
treeda0d2a074f479736bf4ff036a01303c908365882 /sysutils/burn/patches
parente47e089c173289be459dafb8f7ca769938a0dd4e (diff)
downloadpkgsrc-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