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 Sun, 19 May 2024 07:24:59 +1000 rumur (2023.11.27-1) unstable; urgency=medium * New upstream release. -- Matthew Fernandez 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 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 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 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 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 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 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 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 Mon, 07 Sep 2020 09:43:16 -0700 rumur (2020.07.28-1) unstable; urgency=medium * New upstream release. -- Matthew Fernandez Thu, 30 Jul 2020 17:53:43 -0700 rumur (2020.05.27-1) unstable; urgency=medium * New upstream release. -- Matthew Fernandez 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 Wed, 20 May 2020 17:19:48 -0700 rumur (2020.04.26-1) unstable; urgency=medium * New upstream release. -- Matthew Fernandez 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 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 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 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 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 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 Mon, 23 Dec 2019 18:52:50 -0800 rumur (2019.02.04-1) unstable; urgency=medium * Initial release. Closes: #919220. -- Matthew Fernandez Mon, 4 Feb 2019 18:46:36 -0800