diff options
| author |  Benjamin Barenblat <bbaren@google.com> | 2019-02-13 21:10:10 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@google.com> | 2019-02-13 21:10:10 -0500 |
| commit | f898529b8f1317afb9fd496aa2d68efffd67d84e (patch) | |
| tree | 6cb814e35359e7843da3f2027f2ce2895904a109 | |
| parent | 2ee22055c510a56c3d040fe023d0884b183bd68c (diff) | |
Begin packaging v8.9 snapshot
| -rw-r--r-- | debian/changelog | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index b3f58e8..23dbd84 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,13 @@ +aac-tactics (8.8.0+1.gbp069dc3b-1) UNRELEASED; urgency=medium + + ** SNAPSHOT build @069dc3bd125ca18f5712759d54edcf9addb4cdd4 ** + + * Team upload + * 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 + aac-tactics (8.6.1-2) unstable; urgency=medium * Recompile with OCaml 4.05.0 |