rumur (2021.12.27-1) unstable; urgency=medium

  * New upstream release.

  * Fix sandbox failures due to newfstatat. Closes: #1002186.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Tue, 28 Dec 2021 09:14:44 -0800

rumur (2021.09.29-1) unstable; urgency=medium

  * New upstream release.

  * Update Standards-Version from 4.5.1 to 4.6.0.1.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sat, 02 Oct 2021 07:59:18 -0700

rumur (2021.08.28-1) unstable; urgency=medium

  * New upstream release.

  * A new binary, murphi2uclid, is now included.

  * Python build dependency and suggests have been relaxed from 3.6 to 3.4.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sat, 04 Sep 2021 09:11:03 -0700

rumur (2020.12.20-1) unstable; urgency=medium

  * New upstream release.

  * Update Standards-Version from 4.5.0 to 4.5.1.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Tue, 22 Dec 2020 17:22:30 -0800

rumur (2020.09.06-1) unstable; urgency=medium

  * New upstream release.

  * Fix armel, armhf, mipsel, mips64el sandboxing. Closes: #969156.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Mon, 07 Sep 2020 09:43:16 -0700

rumur (2020.07.28-1) unstable; urgency=medium

  * New upstream release.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Thu, 30 Jul 2020 17:53:43 -0700

rumur (2020.05.27-1) unstable; urgency=medium

  * New upstream release.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sat, 30 May 2020 10:27:18 -0700

rumur (2020.05.18-1) unstable; urgency=medium

  * New upstream release.

  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
    Repository-Browse, thanks to Debian Janitor.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Wed, 20 May 2020 17:19:48 -0700

rumur (2020.04.26-1) unstable; urgency=medium

  * New upstream release.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Mon, 27 Apr 2020 17:14:28 -0700

rumur (2020.04.05-1) unstable; urgency=medium

  * New upstream release.

  * Add some autopkgtests for new binary, murphi2murphi.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 19 Apr 2020 09:08:53 -0700

rumur (2020.03.12-1) unstable; urgency=medium

  * New upstream release.

  * Add some autopkgtests for new binary, murphi2c.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 15 Mar 2020 10:27:19 -0700

rumur (2020.02.17-1) unstable; urgency=medium

  * New upstream release.

  * The installed binary that was previously called rumur-ast-dump is now called
    murphi2xml, due to an upstream change.

  * Update autopkgtest tests to now reference murphi2xml instead of
    rumur-ast-dump.

  * The build test suite now runs single threaded, due to an upstream change,
    partially addressing #951497.

  * Correct watch file to only scan for upstream releases, instead of also
    matching Debian tags.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Tue, 18 Feb 2020 18:15:52 -0800

rumur (2020.01.27-1) unstable; urgency=medium

  * New upstream release.

  * Add strace as a build dependency.

  * Update Standards-Version from 4.4.1 to 4.5.0.

  * Some robustness improvements to the autopkgtests.

  * RUMUR_VERSION variable in rules is now set automatically from the changelog
    using pkg-info.mk support.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Mon, 27 Jan 2020 18:26:29 -0800

rumur (2020.01.11-1) unstable; urgency=medium

  * New upstream release.

  * Update autopkgtest tests to test the installed binaries and library.
    Previously this incorrectly ran the upstream test suite.

  * Update RUMUR_VERSION variable in rules from 2019.12.22-1 to 2020.01.11-1.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 12 Jan 2020 10:00:20 -0800

rumur (2019.12.22-1) unstable; urgency=medium

  * New upstream release.

  * Switch all Python references to Python 3. Closes: #943253.

  * Update Standards-Version from 4.3.0 to 4.4.1.

  * Remove xxd dependency. Upstream changed to no longer rely on xxd.

  * Correct Vcs-Git URL typo.

  * Remove manpages file. Upstream already installed man pages at the correct
    path, so this file was doing unnecessary duplicate work.

  * Integrate upstream test suite into Debian packaging steps as a Test-Command.

  * Update RUMUR_VERSION variable in rules from 2019.02.04-1 to 2019.12.22-1.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Mon, 23 Dec 2019 18:52:50 -0800

rumur (2019.02.04-1) unstable; urgency=medium

  * Initial release. Closes: #919220.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Mon, 4 Feb 2019 18:46:36 -0800
