1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
|
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
|
