summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Nicolas Braud-Santoni <nicolas@braud-santoni.eu>2016-07-23 16:45:32 -0400
committerGravatar Nicolas Braud-Santoni <nicolas@braud-santoni.eu>2016-07-23 16:45:32 -0400
commitb5e93c1e2d4fd43871a8e5b93d343140824e3a3b (patch)
treeab6f0a5b3153b11faf5efd8ff0751bed3b9a9b3b
parentffcbcd6eb138bdd08b3b4ae9170d7c3441a30aaf (diff)
Prepare upload
-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