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
|
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
|
