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
|
ppx-custom-printf (0.15.0-1) unstable; urgency=medium
* New upstream release
-- Stéphane Glondu <glondu@debian.org> Wed, 01 Feb 2023 16:50:20 +0100
ppx-custom-printf (0.14.1-1) unstable; urgency=medium
[ Stéphane Glondu ]
* New upstream release
* Bump Standards-Version to 4.6.0
* Update debian/watch
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
-- Stéphane Glondu <glondu@debian.org> Fri, 21 Jan 2022 05:57:46 +0100
ppx-custom-printf (0.14.0-1) unstable; urgency=medium
* New upstream release
* Bump debhelper compat level to 13
-- Stéphane Glondu <glondu@debian.org> Wed, 29 Jul 2020 16:57:20 +0200
ppx-custom-printf (0.13.0-1) unstable; urgency=medium
* Initial release (Closes: #950002)
-- Stéphane Glondu <glondu@debian.org> Tue, 28 Jan 2020 13:26:45 +0100
|
