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

# For older changelog entries, run 'apt-get changelog rumur'
