From a4e3df3094a70f1fecf8356f826a2a40a7519972 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 17 Feb 2019 20:29:35 -0500 Subject: Release for unstable --- debian/changelog | 4 ++-- 1 file 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 Wed, 13 Feb 2019 20:40:57 -0500 + -- Benjamin Barenblat Sun, 17 Feb 2019 20:29:23 -0500 aac-tactics (8.6.1-2) unstable; urgency=medium -- cgit v1.2.3