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
|
ssreflect (1.5-2) unstable; urgency=medium
* Recompile with coq 8.4pl4
-- Stéphane Glondu <glondu@debian.org> Wed, 30 Jul 2014 10:21:09 +0200
ssreflect (1.5-1) unstable; urgency=medium
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 13 Mar 2014 13:25:52 +0100
ssreflect (1.5~rc1-3) unstable; urgency=medium
* Recompile with coq 8.4pl3
* Bump Standards-Version to 3.9.5 (no changes)
* Update debian/watch
-- Stéphane Glondu <glondu@debian.org> Mon, 20 Jan 2014 08:53:40 +0100
ssreflect (1.5~rc1-2) unstable; urgency=low
* Upload to unstable
* Update Homepage
-- Stéphane Glondu <glondu@debian.org> Fri, 06 Dec 2013 08:28:06 +0100
ssreflect (1.5~rc1-1) experimental; urgency=low
* New upstream release
* Update Vcs-*
* Compile with OCaml >= 4
-- Stéphane Glondu <glondu@debian.org> Sat, 10 Aug 2013 22:11:00 +0200
ssreflect (1.4-2) unstable; urgency=low
* Bump debhelper compat level to 8
* Bump Standards-Version to 3.9.4
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Thu, 09 May 2013 13:36:48 +0200
ssreflect (1.4-1) experimental; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Tue, 18 Sep 2012 16:45:50 +0200
ssreflect (1.3pl4-1) unstable; urgency=low
* New upstream release
* Put debian/copyright in format 1.0
* Bump Standards-Version to 3.9.3
-- Stéphane Glondu <glondu@debian.org> Sat, 09 Jun 2012 09:35:40 +0200
ssreflect (1.3pl2-4) unstable; urgency=medium
* Fix compilation with camlp5 6.05 and coq 8.3pl4
-- Stéphane Glondu <glondu@debian.org> Sun, 01 Apr 2012 16:43:46 +0200
ssreflect (1.3pl2-3) unstable; urgency=low
* Recompile with camlp5 6.04 (no changes)
-- Stéphane Glondu <glondu@debian.org> Tue, 06 Mar 2012 08:29:13 +0100
ssreflect (1.3pl2-2) unstable; urgency=low
* Rebuild with Coq 8.3pl3
- cherry-pick patch from coq-contrib to fix FTBFS with Coq 8.3pl3
-- Stéphane Glondu <glondu@debian.org> Sun, 25 Dec 2011 17:28:19 +0100
ssreflect (1.3pl2-1) unstable; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Tue, 22 Nov 2011 07:16:04 +0100
ssreflect (1.3pl1-5) unstable; urgency=low
* Recompile with OCaml 3.12.1 (no changes)
* Bump Standards-Version to 3.9.2 (no changes)
-- Stéphane Glondu <glondu@debian.org> Thu, 03 Nov 2011 06:30:00 +0100
ssreflect (1.3pl1-4) unstable; urgency=low
* Build theories only when explicitly asked (fixes FTBFS on armel as
a side-effect)
-- Stéphane Glondu <glondu@debian.org> Sun, 24 Apr 2011 14:44:33 +0200
ssreflect (1.3pl1-3) unstable; urgency=low
* Upload to unstable
-- Stéphane Glondu <glondu@debian.org> Thu, 21 Apr 2011 13:59:00 +0200
ssreflect (1.3pl1-1) experimental; urgency=low
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 31 Mar 2011 10:52:00 +0200
ssreflect (1.3-1) experimental; urgency=low
* New upstream release, compatible with Coq 8.3:
- remove 0001-Build-as-a-plugin.patch
- add 0001-Fix-tests-Make.patch
- this version is under CeCILL-B only; update debian/copyright
accordingly
* Bump Standards-Version to 3.9.1 (no changes)
* Update debian/watch
-- Stéphane Glondu <glondu@debian.org> Tue, 15 Mar 2011 08:47:47 +0100
ssreflect (1.2+dfsg-7) unstable; urgency=low
* Rebuild against camlp5 6.02.1
* Bump versioned build-dependency to libcoq-ocaml-dev to ease camlp5
transition
-- Stéphane Glondu <glondu@debian.org> Tue, 22 Feb 2011 11:22:15 +0100
ssreflect (1.2+dfsg-6) unstable; urgency=low
* Rebuild against OCaml 3.11.2
-- Stéphane Glondu <glondu@debian.org> Thu, 15 Jul 2010 13:41:07 +0200
ssreflect (1.2+dfsg-5) unstable; urgency=low
* Rebuild with Coq 8.2pl2
* debian/control:
- replace Conflicts by Breaks
- bump Standards-Version to 3.9.0
-- Stéphane Glondu <glondu@debian.org> Wed, 14 Jul 2010 15:19:10 +0200
ssreflect (1.2+dfsg-4) unstable; urgency=low
* Rebuild with OCaml 3.11.2
* Bump Standards-Version to 3.8.4 (no changes)
* Update watch file
-- Stéphane Glondu <glondu@debian.org> Thu, 11 Feb 2010 10:30:30 +0100
ssreflect (1.2+dfsg-3) unstable; urgency=low
* debian/control:
- add libssreflect-ocaml-dev binary package
- put *ocaml* packages in ocaml section
- libssreflect-ocaml enhances coq
* Switch to dh-ocaml 0.9
* Switch to format 3.0 (quilt)
-- Stéphane Glondu <glondu@debian.org> Sat, 19 Dec 2009 17:30:57 +0100
ssreflect (1.2+dfsg-2) unstable; urgency=low
* Use -R when invoking coq_makefile to avoid warnings and need of
explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect
-- Stéphane Glondu <glondu@debian.org> Wed, 02 Sep 2009 19:18:26 +0200
ssreflect (1.2+dfsg-1) unstable; urgency=low
* Initial release (Closes: #508468)
-- Stéphane Glondu <glondu@debian.org> Wed, 26 Aug 2009 23:41:27 +0200
|
