Release 2.5

sosy-lab · Nov 28, 2019 · 26a836b · 26a836b
1 parent 1c065e9
commit 26a836b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 1 deletion.
diff --git a/benchexec/__init__.py b/benchexec/__init__.py
@@ -48,7 +48,7 @@
 # prepare for Python 3
 from __future__ import absolute_import, division, print_function, unicode_literals
 
-__version__ = "2.5-dev"
+__version__ = "2.5"
 
 
 class BenchExecException(Exception):

diff --git a/debian/changelog b/debian/changelog
@@ -1,3 +1,9 @@
+benchexec (2.5-1) bionic; urgency=medium
+
+  * New upstream version.
+
+ -- Philipp Wendler <debian@philippwendler.de>  Thu, 28 Nov 2019 19:03:40 +0100
+
 benchexec (2.4-1) bionic; urgency=medium
 
   * New upstream version.