blob: 4edd6d584e5effb12154a36f9f36cfcd14b833ee (
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
|
ppx-tools-versioned (5.2.3-1) UNRELEASED; urgency=medium
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Thu, 22 Aug 2019 04:21:10 +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
|