diff options
Diffstat (limited to 'debian')
-rw-r--r-- | debian/changelog | 15 |
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 |