1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
ppx-here (0.15.0-1) unstable; urgency=low
[ Stéphane Glondu ]
* New upstream release
[ Debian Janitor ]
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
Repository-Browse.
-- Stéphane Glondu <glondu@debian.org> Wed, 01 Feb 2023 12:52:46 +0100
ppx-here (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 10:58:21 +0200
ppx-here (0.13.0-1) unstable; urgency=medium
* Initial release (Closes: #951240)
-- Stéphane Glondu <glondu@debian.org> Thu, 13 Feb 2020 05:01:46 +0100
|
