diff options
author | Stephane Glondu <steph@glondu.net> | 2017-10-09 10:33:49 +0200 |
---|---|---|
committer | Stephane Glondu <steph@glondu.net> | 2017-10-09 10:33:49 +0200 |
commit | 4f8ae900f852981023515f9bc6bf7d14580f57ea (patch) | |
tree | 8025b29f17aa03e376a052b12614e0dc9de4536a | |
parent | 15d7275f16efbd0f6ef9c07a6102f2893dc726c0 (diff) |
Recompile with OCaml 4.05.0debian/8.6.1-2
-rw-r--r-- | debian/changelog | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 8d01160..b3f58e8 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +aac-tactics (8.6.1-2) unstable; urgency=medium + + * Recompile with OCaml 4.05.0 + + -- Stéphane Glondu <glondu@debian.org> Mon, 09 Oct 2017 10:33:39 +0200 + aac-tactics (8.6.1-1) unstable; urgency=medium * Team upload |