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
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
|
menhir (20181113-1) unstable; urgency=medium
* new upstream version
* d/watch: point to inria gitlab
* d/menhir-doc.docs: also install png pictures of the manual
* d/rules: remove .gitignore files in examples
* Standards-Version 4.2.1 (no change)
-- Ralf Treinen <treinen@debian.org> Wed, 14 Nov 2018 22:14:32 +0100
menhir (20180530-2) unstable; urgency=medium
* menhir-doc: Breaks/Replaces menhir (<< 20170712-1) since examples
had been moved from menhir to menhir-doc (closes: #903455)
* Standards-version 4.1.5 (no change).
-- Ralf Treinen <treinen@debian.org> Thu, 19 Jul 2018 22:19:24 +0200
menhir (20180530-1) unstable; urgency=medium
* New upstream version.
* Install manual.html into menhir-doc package.
* Add entry for html manual in doc-base file
* Update Vcs-* fields to salsa.
* Standards-Version 4.1.4 (no change).
* Debhelper compat level 11.
- menhir-doc.doc-base: manual now installed in /usr/share/doc/menhr
-- Ralf Treinen <treinen@debian.org> Mon, 18 Jun 2018 20:39:09 +0200
menhir (20171222-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.3 (no change)
-- Ralf Treinen <treinen@debian.org> Tue, 02 Jan 2018 19:23:01 +0100
menhir (20171206-1) unstable; urgency=medium
* New upstream version.
* Standards-version 4.1.2 (no change)
* Drop debian/source/local-options
-- Ralf Treinen <treinen@debian.org> Wed, 13 Dec 2017 21:31:45 +0100
menhir (20171013-1) unstable; urgency=medium
* New upstream version.
- drop patch Remove-some-invalid-characters which has been applied upstream
- drop patch Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte which has
been applied upstream
* Standards-Version 4.1.1 (no change)
* d/tests/control: add dependency ocamlbuild
-- Ralf Treinen <treinen@debian.org> Thu, 23 Nov 2017 08:42:12 +0100
menhir (20170712-1) unstable; urgency=medium
* New upstream release, now including the sources of the manual.
* New binary package menhir-doc, containing the manual in pdf
(closes: #484497).
- add debian/menhir-doc.docs, debian/menhir-doc.doc-base.
- examples go now into the menhir-doc package.
- menhir suggests menhir-doc.
* Since we now have the sources of the manual:
- drop debian/purify-tarball which is no longer needed.
- drop upstream filtering from debian/gbp.conf
* debian/rules:
- let upstream's makefile install into debian/tmp, then install stuff
into package directories with dh_*.
- use dh_missing --fail-missing
* Added build-dependency on ocamlbuild.
* Dropped debian/menhir.manpages, debian/menhir.dirs
* debian/tests/control: add dependency on @
* Changed section to ocaml
* Minor improvements of package descriptions.
* Updated debian/copyright:
- update header (upstream name and contact)
- complete file list of library files
- the files not being part of the library are under GPLv2 now
- bump copyright years
-- Ralf Treinen <treinen@debian.org> Sat, 22 Jul 2017 19:58:29 +0200
menhir (20170607.dfsg-3) unstable; urgency=medium
* as-installed tests: add dependency ocaml-findlib
-- Ralf Treinen <treinen@debian.org> Sun, 02 Jul 2017 13:32:18 +0200
menhir (20170607.dfsg-2) unstable; urgency=medium
* Standards-Version 4.0.0
- https form of the copyright-format URL
* libmenhir-ocaml-dev: install everything that upstream installs in
/usr/lib/ocaml
* DH compat level 10
-- Ralf Treinen <treinen@debian.org> Tue, 20 Jun 2017 08:24:06 +0200
menhir (20170607.dfsg-1) unstable; urgency=medium
* New upstream:
- refresh patch 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte
* Delete obsolete debian/README.source
* debian/purify_tarball:
- simplify (drop useless CURDIR)
- generate tarball with version "+dfsg" instead of ".dfsg"
* Add myself as uploader
* Add as-installed package test
-- Ralf Treinen <treinen@debian.org> Mon, 19 Jun 2017 22:11:44 +0200
menhir (20160808+dfsg-1) unstable; urgency=medium
* Team upload
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Tue, 16 Aug 2016 10:06:20 +0200
menhir (20160526.dfsg-1) unstable; urgency=medium
* Team upload
* New upstream release
* Update Vcs-*
* Switch debian/copyright to format 1.0
* Bump Standards-Version to 3.9.8
* Bump debhelper compat to 9
-- Stéphane Glondu <glondu@debian.org> Sat, 06 Aug 2016 10:55:33 +0200
menhir (20151112.dfsg-1) unstable; urgency=medium
* New upstream release.
- Refresh patches
- Add 0002-Pass-byte-plugin-to-ocamlbuild-when-TARGET-byte.patch
to avoid FTBFS on bytecode architectures.
* Use Upstream's Makefile to install files
-- Mehdi Dogguy <mehdi@debian.org> Sun, 17 Jan 2016 22:06:28 +0100
menhir (20141215.dfsg-1~exp1) experimental; urgency=medium
* New upstream release
- Requires OCaml >= 4.02~.
-- Mehdi Dogguy <mehdi@debian.org> Mon, 20 Jul 2015 00:00:56 +0000
menhir (20140422.dfsg-1) unstable; urgency=medium
* New upstream relese.
-- Mehdi Dogguy <mehdi@debian.org> Sun, 27 Apr 2014 14:49:45 +0200
menhir (20130911.dfsg-2) unstable; urgency=medium
* Fix FTBFS on bytecode architectures.
- Add 0002-Use-CURDIR-instead-of-.-during-bootstrap.patch
* Do not install menhirLib.mlpack.
-- Mehdi Dogguy <mehdi@debian.org> Thu, 27 Mar 2014 20:53:44 +0100
menhir (20130911.dfsg-1) unstable; urgency=low
* New upstream release.
* Add ocaml-findlib to Build-Depends.
* Use native/byte targets instead of $(OCAML_BEST)
* Adapt install steps to new build system.
-- Mehdi Dogguy <mehdi@debian.org> Mon, 24 Mar 2014 22:38:20 +0100
menhir (20130116.dfsg-2) unstable; urgency=low
* Team upload
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Tue, 03 Dec 2013 00:42:01 +0100
menhir (20130116.dfsg-1) experimental; urgency=low
* Team upload
* New upstream release
* Switch source package format to 3.0 (quilt)
* Update Vcs-*
* Compile with OCaml >= 4
-- Stéphane Glondu <glondu@debian.org> Wed, 24 Jul 2013 15:47:49 +0200
menhir (20120123.dfsg-1) unstable; urgency=low
* New upstream release
- fixes http://caml.inria.fr/mantis/view.php?id=5462
-- Mehdi Dogguy <mehdi@debian.org> Mon, 23 Jan 2012 20:50:25 +0100
menhir (20111019.dfsg-1) unstable; urgency=low
* New upstream release (Closes: #583291).
* Bump Standards-Version to 3.9.2, no changes needed.
-- Mehdi Dogguy <mehdi@debian.org> Mon, 02 Jan 2012 18:05:48 +0100
menhir (20110201.dfsg-1) unstable; urgency=low
[ Stéphane Glondu ]
* Do not install examples twice (Closes: #603335)
[ Mehdi Dogguy ]
* New upstream release.
* Set filter-pristine-tar to True in debian/gbp.conf.
-- Mehdi Dogguy <mehdi@debian.org> Sat, 16 Apr 2011 00:12:54 +0200
menhir (20090505.dfsg-2) unstable; urgency=low
* Use new features of dh-ocaml (0.9).
* Build-dep on ocaml >= 3.11.1-3~
* Use new address and remove DMUA
* Bump standards to 3.8.3
* Convert patches to quilt format and use quilt instead of dpatch
-- Mehdi Dogguy <mehdi@debian.org> Wed, 23 Sep 2009 18:48:23 +0200
menhir (20090505.dfsg-1) unstable; urgency=low
* New Upstream Version
* More verbose description for libmenhir-ocaml-dev, Closes: #518666.
* Move libmenhir-ocaml-dev to the new ocaml section.
* Drop src_Makefile.dpatch: integrated upstream.
* Build-dep on ocaml >= 3.11.1
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Wed, 24 Jun 2009 23:04:37 +0200
menhir (20090204.dfsg-2) unstable; urgency=low
* New binary package libmenhir-ocaml-dev, Closes: #516134.
* Use dh-ocaml predefined variables.
* Use predefined variable OCAML_BEST (dh-ocaml >= 0.4).
* debian/svn-deblayout: remove no longer needed SVN setting
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Sun, 22 Feb 2009 23:41:17 +0100
menhir (20090204.dfsg-1) experimental; urgency=low
* New Upstream Version
* Add dependency ${misc:Depends}, thanks zack.
* Update src_Makefile.dpatch
* Add DMUA flag with Sam's blessing.
* PREFIX is set back to /usr in debian/rules
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Thu, 19 Feb 2009 13:18:19 +0100
menhir (20080912.dfsg-2) experimental; urgency=low
* Bump ocaml version to 3.11
* Add build-dependency on dh-ocaml
* Shorten debian/rules
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Wed, 18 Feb 2009 16:23:09 +0100
menhir (20080912.dfsg-1) experimental; urgency=low
[ Mehdi Dogguy ]
* New upstream release, (Closes: #500699).
* Add myself to uploaders and set d-o-m as maintainer.
* Bump standards version to 3.8.0, no changes needed.
* Change Vcs-* flags to point to git repository.
* Update debian/rules: All source files are now in src/
* Bump debhelper compat to 7 and shorten debian/rules
* Add src_Makefile.dpatch to not try to build cmx files on non-native
architectures.
* Add Homepage field to debian/control.
* Install menhirLib
* Remove ocamlfind from build-dependency: not used.
[ Samuel Mimram ]
* Mangle .dfsg in version in watch file.
-- Mehdi Dogguy <dogguy@pps.jussieu.fr> Fri, 23 Jan 2009 12:43:54 +0100
menhir (20071212.dfsg-1) unstable; urgency=low
* New upstream release.
* Updated standards version, no changes needed.
-- Samuel Mimram <smimram@debian.org> Sat, 22 Dec 2007 00:46:17 +0100
menhir (20071205.dfsg-1) unstable; urgency=low
* New upstream release.
* Tighten dependency on ocaml-nox.
-- Samuel Mimram <smimram@debian.org> Tue, 11 Dec 2007 00:45:36 +0000
menhir (20070520-2) unstable; urgency=low
* Rebuild with OCaml 3.10.
-- Samuel Mimram <smimram@debian.org> Sat, 08 Sep 2007 01:30:14 +0200
menhir (20070520-1) unstable; urgency=low
* New upstream release.
-- Samuel Mimram <smimram@debian.org> Mon, 23 Jul 2007 14:25:32 +0200
menhir (20070322.dfsg-4) unstable; urgency=low
* Correcly clean, closes: #424571.
-- Samuel Mimram <smimram@debian.org> Tue, 22 May 2007 22:36:35 +0200
menhir (20070322.dfsg-3) unstable; urgency=low
* Rebuild in bytecode when native compilation fails.
-- Samuel Mimram <smimram@debian.org> Wed, 18 Apr 2007 12:51:43 +0200
menhir (20070322.dfsg-2) unstable; urgency=low
* Uploading to unstable.
-- Samuel Mimram <smimram@debian.org> Mon, 09 Apr 2007 17:53:02 +0200
menhir (20070322.dfsg-1) experimental; urgency=low
* New upstream release.
* Menhir is now correctly bootstrapped, closes: #397467.
-- Samuel Mimram <smimram@debian.org> Fri, 23 Mar 2007 00:14:31 +0100
menhir (20070215.dfsg-1) experimental; urgency=low
* New upstream release.
* Removed bashism.dpatch, integrated upstream.
* Removed manpage, since it is now provided upstream.
* Updated standards version to 3.7.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Wed, 28 Feb 2007 19:49:34 +0100
menhir (20060615.dfsg-2) unstable; urgency=low
* Correctly set PREFIX when building, closes: #378260.
* Added bashim.dpatch to remove bashisms, closes: #377803.
-- Samuel Mimram <smimram@debian.org> Tue, 11 Jul 2006 12:26:18 +0000
menhir (20060615.dfsg-1) unstable; urgency=low
* Repackaged upstream's tarball to remove manual.pdf for which we don't have
the sources (yet).
-- Samuel Mimram <smimram@debian.org> Sat, 8 Jul 2006 09:24:11 +0000
menhir (20060615-1) unstable; urgency=low
* New upstream release.
* Removed makefile.dpatch, found a better way to use the makefile.
* Added manpage.dpatch to remove invalid characters from the manpage.
* Updated standards version to 3.7.2, no changes needed.
-- Samuel Mimram <smimram@debian.org> Sat, 24 Jun 2006 19:06:02 +0000
menhir (20060412-1) unstable; urgency=low
* Initial release, closes: #363539.
-- Samuel Mimram <smimram@debian.org> Wed, 19 Apr 2006 19:11:20 +0200
|
