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
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
|
creduce (2.10.0+20201029-3) unstable; urgency=medium
* Fix LLVM 9 build dependencies on armel, armhf.
* Run the tests again, finally frama-c-base is available again.
-- Matthias Klose <doko@debian.org> Sat, 09 Jan 2021 15:59:48 +0100
creduce (2.10.0+20201029-2) unstable; urgency=medium
* Build using LLVM 9 on armel, armhf. See #979495.
* Bump debhelper and standards versions.
* Fix man page (Michael R. Crusoe). Closes: #961004.
-- Matthias Klose <doko@debian.org> Fri, 08 Jan 2021 14:22:00 +0100
creduce (2.10.0+20201029-1) unstable; urgency=medium
* New upstream snapshot, taken from the llvm-11 branch.
* Bump debhelper version.
-- Matthias Klose <doko@debian.org> Thu, 29 Oct 2020 19:36:55 +0100
creduce (2.10.0+20200325-1) unstable; urgency=medium
*
-- Matthias Klose <doko@debian.org> Wed, 25 Mar 2020 18:24:54 +0100
creduce (2.10.0+20200116-2) unstable; urgency=medium
* Build using llvm-10.
* Bump standards version .
-- Matthias Klose <doko@debian.org> Mon, 09 Mar 2020 12:09:18 +0100
creduce (2.10.0+20200116-1) unstable; urgency=medium
* New upstream snapshot.
* Build using llvm-9.
* Don't run the tests, frama-c-base removed in unstable. Closes: #945886.
-- Matthias Klose <doko@debian.org> Thu, 16 Jan 2020 12:24:59 +0100
creduce (2.10.0-2) unstable; urgency=medium
* Bump standards version.
-- Matthias Klose <doko@debian.org> Sat, 17 Aug 2019 14:15:57 +0200
creduce (2.10.0-1) experimental; urgency=medium
* C-Reduce 2.10.0 release.
* Build using llvm-8.
-- Matthias Klose <doko@debian.org> Mon, 27 May 2019 20:53:41 +0200
creduce (2.9.0-1) unstable; urgency=medium
* C-Reduce 2.9.0 release.
* Link with libatomic when needed.
-- Matthias Klose <doko@debian.org> Wed, 08 May 2019 18:11:11 +0200
creduce (2.9~20190428-1) experimental; urgency=medium
* Snapshot, taken from the llvm8 branch.
-- Matthias Klose <doko@debian.org> Sun, 28 Apr 2019 10:19:53 +0200
creduce (2.9~20181211-1) unstable; urgency=medium
* Snapshot, taken from the llvm7 branch.
-- Matthias Klose <doko@debian.org> Tue, 11 Dec 2018 12:24:25 +0100
creduce (2.9~20181016-1) unstable; urgency=medium
* Snapshot, taken from the llvm7 branch.
-- Matthias Klose <doko@debian.org> Tue, 16 Oct 2018 10:08:37 +0200
creduce (2.8.0-1) unstable; urgency=medium
* C-Reduce 2.8.0 release.
* Remove (build-) dependency on libsys-cpu-perl.
-- Matthias Klose <doko@debian.org> Wed, 11 Jul 2018 14:41:21 +0200
creduce (2.8.0~20180422-1) unstable; urgency=medium
* New upstream snapshot.
-- Matthias Klose <doko@debian.org> Sun, 22 Apr 2018 09:45:30 +0200
creduce (2.8.0~20180315-1) unstable; urgency=medium
* New upstream snapshot.
* Update clang-format dependency to 6.0.
-- Matthias Klose <doko@debian.org> Thu, 22 Mar 2018 11:20:21 +0800
creduce (2.8.0~20180311-1) unstable; urgency=medium
* New upstream snapshot.
* Build using llvm-6.0.
-- Matthias Klose <doko@debian.org> Mon, 12 Mar 2018 09:17:25 +0100
creduce (2.7.0-1) unstable; urgency=medium
* C-Reduce 2.7.0 release.
-- Matthias Klose <doko@debian.org> Sun, 21 May 2017 14:12:57 -0700
creduce (2.7~20170317-1) unstable; urgency=medium
* Upstream snapshot, taken from master.
* Build using llvm-4.0.
-- Matthias Klose <doko@debian.org> Fri, 17 Mar 2017 11:49:02 +0100
creduce (2.6.0-1) unstable; urgency=medium
* C-Reduce 2.6.0 release.
-- Matthias Klose <doko@debian.org> Sun, 08 Jan 2017 22:55:38 +0100
creduce (2.6~20160921-1) unstable; urgency=medium
* Upstream snapshot, taken from master.
* Drop indent and astyle (build-)dependencies.
* Build using llvm-3.9.
-- Matthias Klose <doko@debian.org> Wed, 21 Sep 2016 15:08:51 +0200
creduce (2.5.0-1) unstable; urgency=medium
* C-Reduce 2.5.0 release.
* Remove (build-)dependency on delta.
-- Matthias Klose <doko@debian.org> Tue, 24 May 2016 08:51:47 +0200
creduce (2.5~20160420-0ubuntu1) xenial; urgency=medium
* Upstream snapshot, taken from master.
-- Matthias Klose <doko@ubuntu.com> Wed, 20 Apr 2016 13:57:19 +0200
creduce (2.5~20160312-1) unstable; urgency=medium
* Upstream snapshot, taken from master.
-- Matthias Klose <doko@debian.org> Sat, 12 Mar 2016 11:06:08 +0100
creduce (2.4.0-12) experimental; urgency=medium
* Update to the llvm-svn-compatible branch.
* Build using llvm-3.8.
-- Matthias Klose <doko@debian.org> Wed, 03 Feb 2016 13:56:20 +0100
creduce (2.4.0-11) experimental; urgency=medium
* C-Reduce 2.4.0 release.
* Update to the llvm-svn-compatible branch.
* Build using llvm-3.8.
* (Build-)depend on libterm-readkey-perl.
-- Matthias Klose <doko@debian.org> Sat, 05 Dec 2015 02:07:34 +0100
creduce (2.4.0-1) unstable; urgency=medium
* C-Reduce 2.4.0 release.
* Build using llvm-3.7.
* (Build-)depend on libterm-readkey-perl.
* Prepare to build using llvm-3.8 (from the llvm-svn-compatible branch).
-- Matthias Klose <doko@debian.org> Sat, 05 Dec 2015 07:39:22 +0100
creduce (2.3.0-1) unstable; urgency=medium
* C-Reduce 2.3.0 release.
* Build using llvm-3.6.
-- Matthias Klose <doko@debian.org> Sat, 08 Aug 2015 13:22:58 +0200
creduce (2.2.1-1) unstable; urgency=medium
* C-Reduce 2.2.1 release.
-- Matthias Klose <doko@debian.org> Fri, 10 Oct 2014 09:51:25 +0200
creduce (2.2~pre3-3) unstable; urgency=medium
* Bump dependency on clang-format-3.x.
* Drop the unversioned build dependency on clang, and allow the
tests to use a versioned clang-x.y binary.
* Build-depend on frama-c-base.
-- Matthias Klose <doko@debian.org> Tue, 12 Aug 2014 14:46:13 +0200
creduce (2.2~pre3-2) unstable; urgency=medium
* Build-depend on libedit-dev and zlib1g-dev, missing dependencies
of llvm-3.5-dev.
-- Matthias Klose <doko@debian.org> Mon, 11 Aug 2014 18:56:34 +0200
creduce (2.2~pre3-1) unstable; urgency=medium
* New upstream snapshot (llvm-svn-compatible 20140811).
* Build using llvm-3.5-dev and libclang-3.5-dev.
-- Matthias Klose <doko@debian.org> Mon, 11 Aug 2014 14:04:49 +0200
creduce (2.2~pre2-1) unstable; urgency=medium
* New upstream snapshot (trunk 20140811).
-- Matthias Klose <doko@debian.org> Mon, 11 Aug 2014 13:37:15 +0200
creduce (2.2~pre1-2) unstable; urgency=medium
* Build-depend on flex.
-- Matthias Klose <doko@debian.org> Thu, 27 Mar 2014 14:01:12 +0100
creduce (2.2~pre1-1) unstable; urgency=medium
* New upstream snapshot (trunk 20140327).
* Build using llvm-3.4.
-- Matthias Klose <doko@debian.org> Thu, 27 Mar 2014 12:00:43 +0100
creduce (2.1.0-1) unstable; urgency=low
* New upstream version.
-- Matthias Klose <doko@debian.org> Fri, 01 Nov 2013 23:16:35 +0200
creduce (2.0.1-3) unstable; urgency=low
* Fix a crash, taken from the trunk.
-- Matthias Klose <doko@debian.org> Fri, 05 Apr 2013 13:25:28 +0200
creduce (2.0.1-1) experimental; urgency=low
* Initial release. Closes: #678645.
-- Matthias Klose <doko@debian.org> Tue, 15 Jan 2013 17:23:23 +0100
|
