diff options
| author |  Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:52:34 -0400 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@mit.edu> | 2016-10-29 21:52:34 -0400 |
| commit | d9c3a962e0722cb1103e3ba0d93331cddd995a2f (patch) | |
| tree | 000a6cd8dde63d8d3d1378dca9ba78f6bdb577e7 | |
| parent | 920ea0cd2790b99d83bcfcd695841308643e2685 (diff) | |
Release for unstableHEAD2.3.0.61016+dfsg+3.gbp1f2d6c1-1master
| -rw-r--r-- | debian/changelog | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/changelog b/debian/changelog index 5347c0df..26cd1506 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,11 +1,11 @@ -boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) UNRELEASED; urgency=medium +boogie (2.3.0.61016+dfsg+3.gbp1f2d6c1-1) unstable; urgency=medium ** SNAPSHOT build @1f2d6c15cc587e9e1b91be70186ee9a26d5e1928 ** * New snapshot for Dafny 1.9.8. * Build-Depend on tzdata (Closes: #839497). - -- Benjamin Barenblat <bbaren@mit.edu> Sat, 29 Oct 2016 17:42:48 -0400 + -- Benjamin Barenblat <bbaren@mit.edu> Sat, 29 Oct 2016 21:52:24 -0400 boogie (2.3.0.61016+dfsg+2.gbp4108246-1) unstable; urgency=medium |