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
|
elpi (2.0.7-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Sat, 15 Feb 2025 15:20:02 +0100
elpi (2.0.5-2) unstable; urgency=medium
* Team upload
* Fix compilation with atdgen 2.16
-- Stéphane Glondu <glondu@debian.org> Thu, 13 Feb 2025 14:16:30 +0100
elpi (2.0.5-1) unstable; urgency=medium
* New upstream release.
* Bump standards-version to 4.7.0.
-- Julien Puydt <jpuydt@debian.org> Wed, 18 Dec 2024 12:07:57 +0100
elpi (1.19.6-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Wed, 20 Nov 2024 10:40:19 +0100
elpi (1.18.2-5) unstable; urgency=medium
* Team upload
* Simplify architectures: declare binaries "Architecture: any" and
build-depend on ocaml-native-compilers
-- Stéphane Glondu <glondu@debian.org> Sat, 10 Aug 2024 09:36:00 +0200
elpi (1.18.2-4) unstable; urgency=medium
* Add autopkgtest.
-- Julien Puydt <jpuydt@debian.org> Tue, 18 Jun 2024 11:37:00 +0200
elpi (1.18.2-3) unstable; urgency=medium
* Add missing depend on yojson-tools (Closes: #1073275).
-- Julien Puydt <jpuydt@debian.org> Sun, 16 Jun 2024 18:26:35 +0200
elpi (1.18.2-2) unstable; urgency=medium
* Team upload
* Add armhf and s390x to Architectures
-- Stéphane Glondu <glondu@debian.org> Fri, 07 Jun 2024 06:54:50 +0200
elpi (1.18.2-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Sat, 24 Feb 2024 09:49:22 +0100
elpi (1.18.1-1) unstable; urgency=medium
[ Julien Puydt ]
* Fix d/rules cleaning (Closes: #1044961).
[ Stéphane Glondu ]
* Use ocaml_dune DH buildsystem
* Mark test-only dependencies with <!nocheck>
[ Debian Janitor ]
* debian/copyright: use spaces rather than tabs to start continuation lines.
[ Julien Puydt ]
* New upstream release.
* Add support for loong64 architecture (Closes: #1059090).
-- Julien Puydt <jpuydt@debian.org> Thu, 25 Jan 2024 06:31:26 +0100
elpi (1.17.0-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Tue, 25 Jul 2023 13:21:26 +0200
elpi (1.16.10-3) unstable; urgency=medium
* Team upload
* Force STACK to a higher value for tests (Closes: #1040541)
-- Stéphane Glondu <glondu@debian.org> Wed, 12 Jul 2023 12:22:35 +0200
elpi (1.16.10-2) unstable; urgency=medium
* Fix compilation with recent dune.
-- Julien Puydt <jpuydt@debian.org> Thu, 06 Jul 2023 14:44:19 +0200
elpi (1.16.10-1) unstable; urgency=medium
* New upstream release.
* Bump standards-version to 4.6.2.
-- Julien Puydt <jpuydt@debian.org> Mon, 12 Jun 2023 08:54:50 +0200
elpi (1.16.8-1) unstable; urgency=medium
* Re-enable the riscv64 architecture following advice from
Manuel A. Fernandez Montecelo - thanks! (Closes: #1025129)
* New upstream release.
* Drop the patch for yojson 2.0 support (obsolete).
-- Julien Puydt <jpuydt@debian.org> Wed, 07 Dec 2022 08:21:57 +0100
elpi (1.16.7-2) unstable; urgency=medium
* Limit the architectures where the package builds,
until upstream re-enables them.
-- Julien Puydt <jpuydt@debian.org> Wed, 26 Oct 2022 11:11:53 +0200
elpi (1.16.7-1) unstable; urgency=medium
* New upstream release.
* Add patch for yojson 2.0 support.
-- Julien Puydt <jpuydt@debian.org> Mon, 24 Oct 2022 13:38:28 +0200
elpi (1.16.5-4) unstable; urgency=medium
* Add patch for longer timeouts, so tests pass on
more architectures.
-- Julien Puydt <jpuydt@debian.org> Tue, 13 Sep 2022 08:52:43 +0200
elpi (1.16.5-3) unstable; urgency=medium
* Add more deps to help with running tests on several architectures.
-- Julien Puydt <jpuydt@debian.org> Mon, 12 Sep 2022 14:41:30 +0200
elpi (1.16.5-2) unstable; urgency=medium
* Enable tests during the compilation.
-- Julien Puydt <jpuydt@debian.org> Mon, 12 Sep 2022 13:52:08 +0200
elpi (1.16.5-1) unstable; urgency=medium
* New upstream release.
* Bump Standards-Version to 4.6.1.
-- Julien Puydt <jpuydt@debian.org> Sun, 17 Jul 2022 12:30:29 +0200
elpi (1.15.2-1) unstable; urgency=medium
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Sat, 14 May 2022 04:06:35 +0200
elpi (1.14.3-1) unstable; urgency=medium
* New upstream release.
* Drop patch (obsolete).
-- Julien Puydt <jpuydt@debian.org> Fri, 25 Mar 2022 07:47:24 +0100
elpi (1.14.1-1) unstable; urgency=medium
* Add a debian/upstream/metadata file.
* New upstream release.
-- Julien Puydt <jpuydt@debian.org> Tue, 08 Feb 2022 22:05:04 +0100
elpi (1.13.8-2) unstable; urgency=medium
* Add support for camlp5 8.*. (Closes: #1002988)
-- Julien Puydt <jpuydt@debian.org> Fri, 21 Jan 2022 10:22:17 +0100
elpi (1.13.8-1) unstable; urgency=medium
* New upstream release.
* Drop extra license files.
* Add patch to fix typos.
-- Julien Puydt <jpuydt@debian.org> Mon, 29 Nov 2021 12:47:05 +0100
elpi (1.13.7-2) unstable; urgency=medium
* Better packaging.
-- Julien Puydt <jpuydt@debian.org> Wed, 10 Nov 2021 18:46:46 +0100
elpi (1.13.7-1) unstable; urgency=medium
* Initial release. (Closes: #997993)
-- Julien Puydt <jpuydt@debian.org> Fri, 29 Oct 2021 21:29:00 +0200
|
