File: changelog

package info (click to toggle)
why 2.40-4
  • links: PTS, VCS
  • area: main
  • in suites: sid
  • size: 10,504 kB
  • sloc: ml: 71,410; xml: 13,660; java: 8,079; ansic: 1,176; makefile: 728; sh: 199; lisp: 3
file content (584 lines) | stat: -rw-r--r-- 20,442 bytes parent folder | download
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
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
why (2.40-4) unstable; urgency=medium

  * Team upload.
  * Rebuild against coq/8.9.0-1.

 -- Benjamin Barenblat <bbaren@debian.org>  Fri, 22 Feb 2019 18:04:55 -0500

why (2.40-3) unstable; urgency=medium

  * Update Architecture to native archs of ocaml 4.05:
    - drop armel (closes: #898493)
    - restore ppc64el, s390x (closes: #898518)
    - add ppc64

 -- Ralf Treinen <treinen@debian.org>  Sun, 13 May 2018 10:55:19 +0200

why (2.40-2) unstable; urgency=medium

  * Add build-dependency libzarith-ocaml-dev.

 -- Ralf Treinen <treinen@debian.org>  Sat, 12 May 2018 14:36:22 +0200

why (2.40-1) unstable; urgency=medium

  * New upstream version.
  * Bumped build-dependency on frama-c-base to 20171101+sulfur.
  * Updated Vcs-* fields to salsa.
  * d/control: dropped architecture lpia.
  * Bumped build-dependency on ocaml, following upstream's INSTALL.
  * Dropped build-dependency on ocaml-best-compilers.
  * Standards-Version 4.1.4 (no change).
  * Debhelper compatibility level 11.

 -- Ralf Treinen <treinen@debian.org>  Sat, 12 May 2018 09:21:13 +0200

why (2.39-1) unstable; urgency=medium

  * New upstream version (closes: #872281)
  * Bumped build-dependency on frama-c-base to 20170501+phosphorus+dfsg
  * debian/copyright:
    - migrate to machine-readable format 1.0
    - fix upstream contact (Claude Marché)
  * Standards-Version 4.0.1 (no change)
  * Dropped build-dep on autotools-dev, which is obsolete with DH level 10.

 -- Ralf Treinen <treinen@debian.org>  Wed, 06 Sep 2017 21:34:58 +0200

why (2.38-1) unstable; urgency=medium

  * New upstream version (closes: #858366)
    - refreshed patches bprintf, edge
    - dropped hunks of patch reproducible_build that have been applied
      by upstream.
  * Bump build-dependency on frama-c-base to 20161101+silicon+dfsg
  * debian/why.install: install Jessie.o
  * Restrict Architecture of the why package to architectures having a
    native-code compiler for ocaml, since upstream ceased to maintain
    the why package for bytecode-only architectures.

 -- Ralf Treinen <treinen@debian.org>  Mon, 24 Apr 2017 08:25:31 +0200

why (2.36-5) unstable; urgency=medium

  * debian/rules: set FRAMADIR

 -- Ralf Treinen <treinen@debian.org>  Tue, 27 Dec 2016 13:13:18 +0100

why (2.36-4) unstable; urgency=medium

  * package tests: use /tmp when $ADT_ARTEFACTS is not set.
  * debian/rules: use $FRAMAVER variable when creating the META file

 -- Ralf Treinen <treinen@debian.org>  Tue, 27 Dec 2016 12:02:13 +0100

why (2.36-3) unstable; urgency=medium

  * drop build-dependency on liblablgtk2-ocaml-dev
  * stop using libapron, as advised by upstream:
    - drop build-dependency libapron-ocaml-dev
    - drop option enable-apron from ./configure invocation
  * generate frama-c-plugin/META.frama-c-jessie in debian/rules when it
    has not been generated by frama-c, which for some unknown reason
    happens on non-native architectures (closes: #844777).

 -- Ralf Treinen <treinen@debian.org>  Sun, 18 Dec 2016 19:22:16 +0100

why (2.36-2) unstable; urgency=medium

  * dh invocation: use --no-parallel to fix FTBFS issues
  * jessie manpage: fix synopsis

 -- Ralf Treinen <treinen@debian.org>  Wed, 12 Oct 2016 21:33:30 +0200

why (2.36-1) unstable; urgency=medium

  * New upstream release. This version compiles with coq 8.5
    and drops the gwhy binary (Closes: #440469).
    - refreshed patches bprintf and edge
    - dropped patch makefile as ocaml warning options are now set
      by configure
    - dropped patch atp-versions which is now obsolete
  * Due to disappearance of the why binary:
    - drop why-cpulimit manpage since this binary is no longer build:
      (files d/why-cpulimit.1 and d/why.manpages)
    - remove d/why.links as upstream does not ship the why manpage any more
    - add build-dependency on why3 and why3-coq
    - package why: add dependency on why3
    - d/tests/frama-c+jessie+alt-ergo: adapt to why3
    - package why: remove Recommends of SMT solvers
    - remove tests why+{alt-ergo,coq,cvc3}
    - rewrite package description
    - add why.NEWS entry about the transition to why3
  * Due to disappearance of doc/manual.ps and ocamlgraph/ from upstream:
    - remove d/purify-source
    - drop filter from d/gbp.conf
  * Due to disappearance of examples from upstream: don't build binary
    package why-examples
  * Patch reproducible_build: remove timestamps (closes: #807051).
    Thanks to Valentin Lorentz for the patch!
  * debian/control:
    - Dropped build-dependency on libfloat-coq (closes: #815684)
    - Bumped build-dependency on frama-c to magnesium.
    - Standards-Version 3.9.8 (no change)
    - d/control remove redundant XS-Testsuite field
    - Vcs-{Browser,Git}: use secure URI
  * debian/watch:
    - format version 4
    - get link to newest version from the krakatoa home page (instead of
      trying to read the download/ directory).
  * debhelper-compatibility level 10:
    - bump value in d/compat
    - build-depends on debhelper (>=10)
    - invocation of dh in d/rules: sequence argument before options
  * update homepage to krakatoa.lri.fr 
  * create manpages, based on the output of help2man, for jessie and krakatoa
  * drop autoconf from d/rules and from build-dependencies
  * d/rules: disable upstream tests
  * d/rules: create bin directory before invoking dh_auto_build
  * d/tests: add test krakato+alt-ergo
  * remove d/README.source which is obsolete.

 -- Ralf Treinen <treinen@debian.org>  Tue, 11 Oct 2016 21:28:06 +0200

why (2.34-4) unstable; urgency=medium

  [ Ralf Treinen ]
  * improve as-installed package tests

  [ Mehdi Dogguy ]
  * Fix FTBFS with OCaml 4.02.3 by:
    - not using Format.bprintf anymore
    - not turning warning 3 into an error
  * Port Why to ocamlgraph 1.8.6

 -- Mehdi Dogguy <mehdi@debian.org>  Sat, 17 Oct 2015 01:12:21 +0200

why (2.34-2) unstable; urgency=medium

  * Team upload
  * Recompile with coq 8.4pl4
  * Update Vcs-*

 -- Stéphane Glondu <glondu@debian.org>  Mon, 04 Aug 2014 09:34:24 +0200

why (2.34-1) unstable; urgency=low

  * New upstream release.
  * Drop deprecated patches:
    - deprecated-or
    - hashtbl
    - frama-c-versions
  * Bump build-dependency on frama-c to version 20140301+neon+dfsg.
  * Fix debian/tests/frama-c+jessie+alt-ergo:
    - run why-config when there is no ${HOME}/.whyrc
    - drop the specification of cpp-4.7 as this is no longer needed, and
      the dependency of that test on cpp-4.7
  
 -- Ralf Treinen <treinen@debian.org>  Tue, 29 Apr 2014 20:56:03 +0200

why (2.33-2) unstable; urgency=low

  * fixed typo in debian/tests/control (dependency of frama-c+jessie+alt-ergo)

 -- Ralf Treinen <treinen@debian.org>  Mon, 17 Feb 2014 08:40:19 +0100

why (2.33-1) unstable; urgency=low

  * New upstream release. This fixes an issue with compilation under
    ocaml-4.01 (closes: #707585).
  * Bump build-dependency on frama-c-base to the latest version 
    (closes: #730526)
  * Drop patches adopted or otherwise fixed by upstream:
    - 0001-Why-2.29-do-support-Coq-8.3.patch
    - 0002-Mark-alt-ergo-0.93-as-compatible.patch
    - 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
    - 0004-Default-to-why2-for-jessie-atp.patch
    - 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
    - 0006-Fix-spelling-error-in-binary.patch
    - 0007-Replace-caduceus-invocation-by-Frama-C.patch
  * New patch deprecated-or to replace "or" by "||", needed for more strict
    checks in ocaml 4
  * New patch hashtbl to fix compilation with ocaml 4.01, taken from fedora.
  * New patch atp-versions: update accepted versions of external provers:
    alt-ergo, coq
  * New patch frama-c-versions: update accepted version of frama-c
  * Add myself to uploaders.
  * Standards-Version 3.9.5 (no change)
  * Add DEP8-style package tests 
    - why with alt-ergo
    - why with cvc3
    - why with coq (thanks to Pierre Letouzey for his help!)
    - frama-c, jessie plugin (from the why package), and alt-ergo
  * Add to the Recommendation of package alt-ergo alternatives on other
    theorem provers: cvc3, coq

 -- Ralf Treinen <treinen@debian.org>  Tue, 04 Feb 2014 12:33:02 +0100

why (2.30+dfsg-5) unstable; urgency=low

  * Update 0001-Why-2.29-do-support-Coq-8.3.patch
    - Mark Coq 8.3pl4 as compatible.
  * Bump Standards-Version to 3.9.3, no changes required.

 -- Mehdi Dogguy <mehdi@debian.org>  Wed, 16 May 2012 12:54:14 +0200

why (2.30+dfsg-4) unstable; urgency=high

  * Team upload
  * Recompile with coq 8.3pl4 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Fri, 06 Apr 2012 10:00:25 +0200

why (2.30+dfsg-3) unstable; urgency=high

  * Fix 0002-Mark-alt-ergo-0.93-as-compatible.patch
    - Adapt version_regexp because "alt-ergo -version" changed.
  * Fix 0004-Default-to-why2-for-jessie-atp.patch
    - default to "gui" instead of "why2".
  * Add 0007-Replace-caduceus-invocation-by-Frama-C.patch
    - Caduceus is gone. We use Frama-C instead.
    - Adding Frama-C to Why's dependencies.
  * Setting urgency to "high" to fix those issues.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 16 Jan 2012 18:19:38 +0100

why (2.30+dfsg-2) unstable; urgency=low

  * Rebuilt with latest coq-float 1:8.3pl1-1 (no source changes).

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 12 Jan 2012 17:50:39 +0100

why (2.30+dfsg-1) unstable; urgency=low

  * New upstream release.
  * Update patches:
    - Rebase and update existing patches
    - add 0004-Default-to-why2-for-jessie-atp.patch
    - add 0005-Fix-Jc_annot_inference-use-old_reg_pos.patch
  * Add (back) Build-Depends on coq-float.
  * Bump build requirement for frama-c to 20111001+nitrogen+dfsg-1~.
  * Bump Standards-Version to 3.9.2, no changes needed.
  * Fix description-synopsis-starts-with-article in why's description.
  * Fix copyright-refers-to-deprecated-bsd-license-file
  * Fix spelling-error-in-binary
  * Mark Coq 8.3pl3 as compatible with current Why

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 02 Jan 2012 15:39:47 +0100

why (2.29+dfsg-4) unstable; urgency=low

  * Rebuild with OCaml 3.12.1.

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 03 Nov 2011 22:31:40 +0100

why (2.29+dfsg-3) unstable; urgency=low

  * Remove last added patch. The problem was in Makefile.dynamic, shipped
    by frama-c-base which lacks some include statements.
    - remove 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch
    - Bump minimum version number for Frama-C to 20110201+carbon+dfsg-2~.

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 25 Apr 2011 12:11:03 +0200

why (2.29+dfsg-2) unstable; urgency=low

  * Fix FTBFS on armel.
    - add 0004-ocamlgraph-is-needed-to-link-frama-c-Jessie.patch

 -- Mehdi Dogguy <mehdi@debian.org>  Mon, 25 Apr 2011 00:29:49 +0200

why (2.29+dfsg-1) unstable; urgency=low

  * New upstream release.
    - Remove old patches, which are not needed anymore.
    - Remove build-depends on coq-float (upstream switched to Flocq which
      is not packaged yet).
  * Bump minimum version of Coq to 8.3
    - and add 0001-Why-2.29-do-support-Coq-8.3.patch (upstream forgot to
      mention to why-config that Coq 8.3 is "ok").
  * Mark Alt-Ergo 0.93 as compatible
    - add 0002-Mark-alt-ergo-0.93-as-compatible.patch
  * Fix FTBFS due to non-exhaustive pattern matching
    - add 0003-Fix-non-exhaustive-pattern-matching-in-jc_annot_infe.patch
  * Set 20110201+carbon+dfsg-1~ as minimum version number for Frama-C.

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 24 Apr 2011 20:12:57 +0200

why (2.26+dfsg-4) unstable; urgency=low

  * Team upload
  * Rebuild with coq 8.2.pl2+dfsg-2 (no changes)

 -- Stéphane Glondu <glondu@debian.org>  Fri, 11 Mar 2011 08:03:27 +0100

why (2.26+dfsg-3) unstable; urgency=low

  [ Stéphane Glondu ]
  * Fix versioned build-deps to ensure smoother backports

  [ Mehdi Dogguy ]
  * Add 0007-Squeeze-s-Coq-is-also-compatible.patch: why-config checks
    compatibility of provers by checking their version number. Coq
    versioned 8.2pl2 is also compatible (like 8.2pl1). Marking it as
    such so that it gets activated.

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 20 Jan 2011 21:00:18 +0100

why (2.26+dfsg-2) unstable; urgency=low

  [ Stéphane Glondu ]
  * Add 0006-Cope-with-OCaml-3.12-s-Map.patch (Closes: #585459)

  [ Mehdi Dogguy ]
  * Rebuild with Coq 8.2pl2
  * Convert to 3.0 (quilt) source format.
  * Bump standards version to 3.9.0, no changes needed.
  * Bump minimum frama-c-base's version to 20100401+boron+dfsg-4~.
  * Add "make" to runtime dependencies of Why.

 -- Mehdi Dogguy <mehdi@debian.org>  Tue, 20 Jul 2010 19:35:51 +0200

why (2.26+dfsg-1) unstable; urgency=low

  * New upstream release
    - Refresh patches
  * Update copyright years
  * Build-depend on ocaml (>= 3.11.1-3~) and dh-ocaml (>= 0.9~)
  * Add a debian/source/format file (Keep 1.0 format, for now)

 -- Mehdi Dogguy <mehdi@debian.org>  Tue, 01 Jun 2010 21:47:05 +0200

why (2.25+dfsg-1) unstable; urgency=low

  * New upstream release
    - Refresh patches
    - Remove 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
  * Bump Standards Version to 3.8.4, no changes needed.
  * Raise minimum version for Frama-C to 20100401+boron
  * Raise minimum version for OcamlGraph to 1.4

 -- Mehdi Dogguy <mehdi@debian.org>  Tue, 27 Apr 2010 16:28:54 +0200

why (2.23+dfsg-2) unstable; urgency=low

  * Rebuild with OCaml 3.11.2
  * Correctly detect Coq-float wrt. its new path
    - Add 0006-Coq-float-can-be-in-coqlib-user-contrib-Float.patch

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 24 Jan 2010 23:56:15 +0100

why (2.23+dfsg-1) unstable; urgency=low

  [ Mehdi Dogguy ]
  * New upstream release
    + Remove makefile.in.dpatch (fixed upstream)
    + Remove jessie_lib.dpatch (not needed anymore)
    + Needs ocamlgraph 1.3
    + Fixes detection of Alt-Ergo (Closes: #552776).
  * Refresh packaging
    + Use dh 7 features
    + Build-depend on quilt (goodbye dpatch!)
    + Add ${ocaml:Depends} in Why's Depends field
    + Add 0001-Do-not-run-tests-on-non-existant-files.patch
  * Fix some spelling errors
    + Add 0003-Fix-spelling-errors.patch
  * Fix FTBFS on bytecode architectures
    + Add 0004-Use-tools-make_float_model.ocamlbest-instead-of-opt-.patch
    + Apron also needs oct.cmxa (0002-Enable-Apron-support.patch)
    + Generate Jessie.cma
  * Fix debhelper-but-no-misc-depends
  * Fix out-of-date-standards-version
  * Set filter-pristine-tar to True in debian/gbp.conf
  * Remove libjessie-ocaml-dev which is no longer user by Frama-C and
    don't install the Jessie library.
  * Update copyright file
  * Add camlidl to Build-depends: needed to enable Arpon support

  [ Samuel Mimram ]
  * Enable apron support.
    + Add 0002-Enable-Apron-support.patch

 -- Mehdi Dogguy <mehdi@debian.org>  Sun, 24 Jan 2010 17:31:23 +0100

why (2.19+dfsg-2) unstable; urgency=low

  * Install why library in usr/share since there is no arch dependent
    files there.

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 10 Sep 2009 14:11:00 +0200

why (2.19+dfsg-1) unstable; urgency=low

  * New Upstream Version
  * Use my Debian mail address, Remove DMUA
  * Add a 'Homepage' field in debian/control
  * Referesh path jessie_lib.dpatch
  * Fix long description for why-examples

 -- Mehdi Dogguy <mehdi@debian.org>  Thu, 27 Aug 2009 20:11:39 +0200

why (2.18.dfsg-5) unstable; urgency=low

  * Rebuild against latest Coq package, Closes: #536104.
  * Bump standards to 3.8.2
  * Tighten build-depends to ease OCaml 3.11.1 transition

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Tue, 07 Jul 2009 23:50:16 +0200

why (2.18.dfsg-4) unstable; urgency=low

  * libjessie-ocaml-dev:
    - Do not install jc.cm{x,}a
    - Only jc.{o,cmx,cmo,cmi} are installed.
  * Remove configure.dpatch

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Wed, 20 May 2009 15:38:58 +0200

why (2.18.dfsg-3) unstable; urgency=low

  * Fix erroneous usage of ifdef in debian/rules.
  * why-examples depends on non-versioned libwhy-coq and why, thanks
    Lintian.
  * Make a long description for libwhy-coq, closes: #524054.
  * Bump standards version to 3.8.1, no changes needed
  * Jessie library: 
    - Make jc_ast and jc_env fit in the pack
    - install jc.cmo and jc.cmx
    - Move the binary package to section ocaml

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Thu, 16 Apr 2009 17:23:41 +0200

why (2.18.dfsg-2) unstable; urgency=low

  * libwhy-coq replaces why (<< 2.18.dfsg-1), closes: #522440.
  * why now depends on libwhy-coq (= ${binary:Version}) and why-examples
    on why (= ${binary:Version}).

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Fri, 03 Apr 2009 22:03:21 +0200

why (2.18.dfsg-1) unstable; urgency=low

  [ Mehdi Dogguy ]
  * New upstream release.
  * New binary packages:
    + libjessie-ocaml-dev:
      - Build and install jc.{cma,cmxa,a} using jessie_lib.dpatch
      - Install jc.cmi
      - Add a META file for Jessie library
    + why-examples:
      - why-examples recommends why
    + libwhy-coq:
      - Install .vo files in /usr/lib/coq/user-contrib, closes: #498713.
  * debian/rules:
    + do not compress .v,.sx,.why files
    + Use debhelper 7
    + Move logo in /usr/share/why (using logopath.dpatch)
    + Setting up manpages for krakatoa, gwhy-bin, tool-stat and why-config
  * debian/control:
    + Bump standards version to 3.8.0, no changes needed.
    + Why recommends alt-ergo and suggest libwhy-coq.
    + Add missing runtime dependency for why (on non-native-architecures).
    + Change vcs-* fields to point to Git repository
    + Depend on coq-${F:CoqABI} instead of Coq
    + Add DMUA flag with Sam's blessing
    + Remove not needed build dependency: ocamlweb
  * Add patch descriptions to configure.dpatch and logopath.dpatch

  [ Samuel Mimram ]
  * Use predefined variables from ocamlvars.mk and coqvars.mk.

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Fri, 27 Feb 2009 14:09:32 +0100

why (2.13-2) unstable; urgency=low

  [ Mehdi Dogguy ]
  * Using why-cpulimit instead of cpulimit Debian package, closes: 498485.
  * Renaming 'dp' into 'why-dp', closes: #499140.
  * Remove unnecessary dependency : cpulimit.

 -- Julien Cristau <jcristau@debian.org>  Wed, 17 Sep 2008 21:45:11 +0200

why (2.13-1) unstable; urgency=low

  * New upstream release.
  * Removed install.dpatch, integrated upstream.

 -- Samuel Mimram <smimram@debian.org>  Thu, 29 May 2008 09:22:09 +0200

why (2.11-2) unstable; urgency=low

  * Fix install target and JCLIB value in the Makefile, closes: #478501.
  * Update maintainer and uploders fields in debian/control.
  * Fix missing dependency (cpulimit).
  * Reinclude gwhy.sh
  * Add configure.dpatch to correctly detect ocamlopt.
  * Add myself to uploaders.

 -- Mehdi Dogguy <dogguy@pps.jussieu.fr>  Mon, 05 May 2008 18:56:31 +0200

why (2.11-1) unstable; urgency=low

  * New upstream release.
  * Updated watch file.

 -- Samuel Mimram <smimram@debian.org>  Tue, 22 Apr 2008 09:36:52 +0200

why (2.10.dfsg.2-1) unstable; urgency=low

  [ Stefano Zacchiroli ]
  * add vcs-* fields

  [ Samuel Mimram ]
  * New upstream release.
  * Correctly detects ocamldep, closes: #458267.
  * Updated watchfile.

 -- Samuel Mimram <smimram@debian.org>  Tue, 22 Jan 2008 09:45:16 +0100

why (2.10.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Add dpatch support.
  * Added install.dpatch to correctly install gwhy.

 -- Samuel Mimram <smimram@debian.org>  Wed, 26 Dec 2007 14:15:38 +0100

why (2.04.dfsg-4) unstable; urgency=low

  * Rebuild with latest version of coq.

 -- Samuel Mimram <smimram@debian.org>  Sat, 22 Dec 2007 01:19:44 +0100

why (2.04.dfsg-3) unstable; urgency=low

  * Rebuild with OCaml 3.10.
  * Build-depend on camlp4, closes: #441500.

 -- Samuel Mimram <smimram@debian.org>  Mon, 10 Sep 2007 10:08:10 +0200

why (2.04.dfsg-2) unstable; urgency=low

  * Build-depend on libfloat-coq and enable float support, closes: #430878.

 -- Samuel Mimram <smimram@debian.org>  Thu, 30 Aug 2007 13:06:52 +0200

why (2.04.dfsg-1) unstable; urgency=low

  * New upstream release.

 -- Samuel Mimram <smimram@debian.org>  Wed, 08 Aug 2007 09:47:17 +0200

why (2.03.dfsg-1) unstable; urgency=low

  * New upstream release.
  * Not installing cpulimit anymore and renamed dp to why-dp, closes: #420620.

 -- Samuel Mimram <smimram@debian.org>  Fri, 27 Apr 2007 09:34:56 +0000

why (2.02.dfsg-1) unstable; urgency=low

  * Initial release, closes: #415862.
  * Removed octagon since it is not DFSG-free.

 -- Samuel Mimram <smimram@debian.org>  Thu, 22 Mar 2007 21:02:49 +0100