diff options
| -rw-r--r-- | debian/changelog | 15 | ||||
| -rw-r--r-- | debian/control | 4 | ||||
| -rw-r--r-- | debian/tests/control | 2 | ||||
| -rw-r--r-- | debian/upstream/metadata | 3 | ||||
| -rw-r--r-- | debian/watch | 2 |
5 files changed, 20 insertions, 6 deletions
diff --git a/debian/changelog b/debian/changelog index fdd5084..9c470b0 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,18 @@ +ocaml-ptmap (2.0.5-4) unstable; urgency=medium + + [ Stéphane Glondu ] + * Team upload + * Depend on ocaml instead of transitional ocaml-nox + + [ Debian Janitor ] + * Update watch file format version to 4. + * Set upstream metadata fields: Bug-Submit. + * Remove obsolete fields Contact, Name from debian/upstream/metadata (already + present in machine-readable debian/copyright). + * Update standards version to 4.6.0, no changes needed. + + -- Stéphane Glondu <glondu@debian.org> Sat, 02 Sep 2023 09:53:32 +0200 + ocaml-ptmap (2.0.5-3) unstable; urgency=medium * Team upload diff --git a/debian/control b/debian/control index 31b9c60..1c2e4e1 100644 --- a/debian/control +++ b/debian/control @@ -3,11 +3,11 @@ Section: ocaml Priority: optional Maintainer: Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> Uploaders: Andy Li <andy@onthewings.net> -Standards-Version: 4.5.0 +Standards-Version: 4.6.0 Rules-Requires-Root: no Build-Depends: debhelper-compat (= 13), - ocaml-nox, + ocaml, ocaml-dune, ocaml-findlib, dh-ocaml (>= 1.2) diff --git a/debian/tests/control b/debian/tests/control index c81e8c4..005358c 100644 --- a/debian/tests/control +++ b/debian/tests/control @@ -1,2 +1,2 @@ Tests: test-native, test-bytecode -Depends: ocaml-nox, ocaml-findlib, @ +Depends: ocaml, ocaml-findlib, @ diff --git a/debian/upstream/metadata b/debian/upstream/metadata index 8ed0055..f34120d 100644 --- a/debian/upstream/metadata +++ b/debian/upstream/metadata @@ -1,5 +1,4 @@ -Name: ptmap -Contact: Jean-Christophe Filliâtre <Jean-Christophe.Filliatre@lri.fr> +Bug-Submit: https://github.com/backtracking/ptmap/issues/new Repository: https://github.com/backtracking/ptmap.git Repository-Browse: https://github.com/backtracking/ptmap Bug-Database: https://github.com/backtracking/ptmap/issues diff --git a/debian/watch b/debian/watch index 09839eb..ebf82de 100644 --- a/debian/watch +++ b/debian/watch @@ -1,2 +1,2 @@ -version=3 +version=4 https://github.com/backtracking/ptmap/releases .*ptmap-v?(\d\S*)\.tbz |