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-bin-prot (0.15.0-1) unstable; urgency=medium
[ Stéphane Glondu ]
* New upstream release
[ Debian Janitor ]
* Update watch file format version to 4.
* Set upstream metadata fields: Bug-Database, Bug-Submit, Repository-Browse.
* Update pattern for GitHub archive URLs from /<org>/<repo>/tags
page/<org>/<repo>/archive/<tag> -> /<org>/<repo>/archive/refs/tags/<tag>.
* debian/watch: Use GitHub /tags rather than /releases page.
* Update standards version to 4.6.1, no changes needed.
-- Stéphane Glondu <glondu@debian.org> Fri, 03 Feb 2023 08:25:26 +0100
ppx-bin-prot (0.14.0-1) unstable; urgency=medium
* New upstream release
* Bump debhelper compat level to 13
-- Stéphane Glondu <glondu@debian.org> Fri, 31 Jul 2020 09:53:00 +0200
ppx-bin-prot (0.13.0-1) unstable; urgency=medium
* Initial release (Closes: #951238)
-- Stéphane Glondu <glondu@debian.org> Thu, 02 Apr 2020 14:00:22 +0200
|
