benchexec (2.5.1-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 13 Dec 2019 13:30:40 +0100

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.

 -- Philipp Wendler <debian@philippwendler.de>  Thu, 28 Nov 2019 13:52:05 +0100

benchexec (2.3-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Thu, 28 Nov 2019 08:27:11 +0100

benchexec (2.2-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 27 Sep 2019 10:36:43 +0200

benchexec (2.1-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Tue, 17 Sep 2019 15:29:04 +0200

benchexec (2.0-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 17 Jul 2019 17:24:02 +0200

benchexec (1.22-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Thu, 11 Jul 2019 18:40:13 +0200

benchexec (1.21-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Tue, 25 Jun 2019 10:28:47 +0200

benchexec (1.20-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Thu, 13 Jun 2019 14:24:55 +0200

benchexec (1.19-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Thu, 06 Jun 2019 14:14:50 +0200

benchexec (1.18-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 11 Feb 2019 11:37:20 +0100

benchexec (1.17-1) bionic; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 28 Nov 2018 16:20:59 +0100

benchexec (1.16-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 31 Jan 2018 14:10:13 +0100

benchexec (1.14-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 04 Dec 2017 11:59:51 +0100

benchexec (1.13-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Tue, 07 Nov 2017 08:55:07 +0100

benchexec (1.12-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 02 Oct 2017 16:06:14 +0200

benchexec (1.11-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 02 Oct 2017 14:30:05 +0200

benchexec (1.10-1) xenial; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 25 Jan 2017 09:48:53 +0100

benchexec (1.9-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 20 May 2016 15:24:24 +0200

benchexec (1.8-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 05 Feb 2016 14:33:37 +0100

benchexec (1.7-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 20 Jan 2016 17:27:29 +0100

benchexec (1.6-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Tue, 19 Jan 2016 13:43:52 +0100

benchexec (1.5-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 18 Dec 2015 13:46:12 +0100

benchexec (1.4-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 07 Dec 2015 21:59:36 +0100

benchexec (1.3-1) trusty; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Wed, 25 Nov 2015 16:25:11 +0100

benchexec (1.2-1) unstable; urgency=medium

  * New upstream version.

 -- Philipp Wendler <debian@philippwendler.de>  Mon, 19 Oct 2015 17:11:54 +0200

benchexec (1.1-1) unstable; urgency=medium

  * Initial release.

 -- Philipp Wendler <debian@philippwendler.de>  Fri, 11 Sep 2015 16:35:58 +0200
