summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/changelog15
1 files changed, 15 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index bf1395a..b43541f 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,18 @@
+aac-tactics (8.5.1-1) UNRELEASED; urgency=medium
+
+ * Team upload
+ * Imported Upstream version 8.5.1
+ * Use HTTPS for Vcs-* links
+ * New upstream URL & watch file
+ * debian/rules: Do not fail on non-installed files.
+ We do not install, on purpose, .glob and .v files.
+ * Fix installed docs
+ * Fix typos
+ * Bump Standards-Version to 3.9.8.
+ No change required
+
+ -- Nicolas Braud-Santoni <nicolas@braud-santoni.eu> Sat, 23 Jul 2016 16:44:48 -0400
+
aac-tactics (0.4-5) unstable; urgency=medium
* Recompile with OCaml 4.02.3