diff options
author | Enrico Tassi <gareuselesinge@debian.org> | 2016-12-27 16:07:18 +0000 |
---|---|---|
committer | Enrico Tassi <gareuselesinge@debian.org> | 2016-12-28 13:40:32 +0000 |
commit | a8c0742d53ca8802a3032d801e4a5e169851078e (patch) | |
tree | f76ed81f67795331c2486dafbe97369770505844 /debian/changelog | |
parent | fb74782e08217e4f1069ed99de6f6f30005bfe13 (diff) |
aac for Coq 8.6
Diffstat (limited to 'debian/changelog')
-rw-r--r-- | debian/changelog | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index dbe40b7..abdad05 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,11 @@ +aac-tactics (8.6-1) unstable; urgency=medium + + * Team upload + * New upstream release + * Remove patch 001-fix-typos, applied upstream + + -- Enrico Tassi <gareuselesinge@debian.org> Tue, 27 Dec 2016 16:06:51 +0000 + aac-tactics (8.5.1-1) unstable; urgency=medium * Team upload |