rumur (2025.02.02-1) unstable; urgency=medium

  * New upstream release.
  * Add python3-pytest as a build dependency.
  * Add a Lintian override for a descriptive file installed outside doc.
  * python3 moved from Suggests to Depends.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 02 Feb 2025 06:44:25 +1100

rumur (2024.05.07-1) unstable; urgency=medium

  * New upstream release.
  * Fix inaccurate libatomic checks in autopkgtests. Closes: #1018205.
  * Fix Vcs-Browser URL. Closes: #1018202.
  * Add libxml2-utils, z3 to Build-Depends.
  * Add z3 to Suggests.
  * Update Copyright from 2019 to 2019-2024.
  * Update debian-compat Build-Depends from 12 to 13.
  * Update Standards-Version from 4.6.2 to 4.7.0.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 19 May 2024 07:24:59 +1000

rumur (2023.11.27-1) unstable; urgency=medium

  * New upstream release.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 10 Dec 2023 11:26:23 +1100

rumur (2023.05.21-1) unstable; urgency=medium

  * New upstream release.
  * Fix build failures with GCC-13. Closes: #1037851.
  * Update Standards-Version from 4.6.0.1 to 4.6.2.
  * Relicense debian/ as Unlicense instead of GPL-3+.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sat, 22 Jul 2023 09:45:32 +1000

rumur (2022.08.20-1) unstable; urgency=medium

  * New upstream release.

  * Fix sandbox failures due to getrandom. Closes: #1017199.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sat, 20 Aug 2022 14:58:29 -0700

rumur (2022.03.05-1) unstable; urgency=medium

  * New upstream release.

  * Fix sandbox failures due to statx. Closes: #1004035.

 -- Matthew Fernandez <matthew.fernandez@gmail.com>  Sun, 06 Mar 2022 11:42:05 -0800

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
