summaryrefslogtreecommitdiff
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/changelog3
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog
index f04487d4..8066ab99 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,6 +1,7 @@
coq (8.1+dfsg-2) UNRELEASED; urgency=low
- * Added cmxa-install.dpatch to install cmxa only on native archs.
+ * Added cmxa-install.dpatch to install cmxa only on native archs,
+ closes: #415867.
* Added configure.dpatch for the configure to correctly detect whether
ocamlopt is present or not.
* Use dh_installtex instead of hand-crafted postinst.