blob: fe7d5d3d27cb6e9a53ea5fe8995d020d4a4700e9 (
plain)
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
|
ppx-tools-versioned (5.2.3-1) unstable; urgency=medium
* Team upload
* New upstream release
* Bump debhelper compat level to 12
* Bump Standards-Version to 4.4.0
-- Stéphane Glondu <glondu@debian.org> Thu, 22 Aug 2019 04:38:25 +0200
ppx-tools-versioned (5.2.1-2) unstable; urgency=high
* Team upload
* Force rebuild of all packages on buildds
-- Stéphane Glondu <glondu@debian.org> Fri, 02 Aug 2019 10:23:41 +0200
ppx-tools-versioned (5.2.1-1) unstable; urgency=medium
* New upstream release.
* Update d/rules regarding changes to dune.
* Bump Standards-Version to 4.3.0 (no changes).
* Fix autopkgtest.
-- Andy Li <andy@onthewings.net> Wed, 26 Dec 2018 00:38:42 +0800
ppx-tools-versioned (5.2-1) unstable; urgency=low
* Initial release. (Closes: #899238)
-- Andy Li <andy@onthewings.net> Wed, 20 Jun 2018 11:13:02 +0800
|