summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Stephane Glondu <steph@glondu.net>2015-08-10 21:09:33 +0200
committerGravatar Stephane Glondu <steph@glondu.net>2015-08-10 21:36:58 +0200
commitfa26ac903fa411a755c4bef59c5167f23fdeff4b (patch)
tree80a74ffd6d513a2f70e4b8a08df311e4e44c201a
parent5cf6aa6c9c8e509b5002763b3b62439f2a12412d (diff)
Update changelog and prepare upload to unstabledebian/0.4-4
-rw-r--r--debian/changelog9
1 files changed, 9 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog
index 01f4b5c..47c005b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+aac-tactics (0.4-4) unstable; urgency=medium
+
+ * Fix Homepage URL
+ * Drop debian/watch
+ * Bump Standards-Version to 3.9.6
+ * Bump debhelper compat level to 9
+
+ -- Stéphane Glondu <glondu@debian.org> Mon, 10 Aug 2015 21:16:02 +0200
+
aac-tactics (0.4-3) unstable; urgency=medium
* Recompile with coq 8.4pl4