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