summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Benjamin Barenblat <bbaren@google.com>2019-02-17 20:29:35 -0500
committerGravatar Benjamin Barenblat <bbaren@google.com>2019-02-17 20:29:35 -0500
commita4e3df3094a70f1fecf8356f826a2a40a7519972 (patch)
tree4bc149036e3107d96360fe6ad7ced5af3ab97f67
parent0714858a81915fc118d7563e7ffc467c6221f086 (diff)
Release for unstableHEADmaster
-rw-r--r--debian/changelog4
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog
index 23dbd84..9749f76 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,4 +1,4 @@
-aac-tactics (8.8.0+1.gbp069dc3b-1) UNRELEASED; urgency=medium
+aac-tactics (8.8.0+1.gbp069dc3b-1) unstable; urgency=medium
** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 **
@@ -6,7 +6,7 @@ aac-tactics (8.8.0+1.gbp069dc3b-1) UNRELEASED; urgency=medium
* New upstream release
* Build an unreleased snapshot to support Coq 8.9 (Closes: 919463)
- -- Benjamin Barenblat <bbaren@debian.org> Wed, 13 Feb 2019 20:40:57 -0500
+ -- Benjamin Barenblat <bbaren@debian.org> Sun, 17 Feb 2019 20:29:23 -0500
aac-tactics (8.6.1-2) unstable; urgency=medium