diff options
| -rw-r--r-- | debian/changelog | 7 | ||||
| -rwxr-xr-x | debian/rules | 2 |
2 files changed, 9 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 630ab23..fdd5084 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +ocaml-ptmap (2.0.5-3) unstable; urgency=medium + + * Team upload + * Include ocamlvars.mk in debian/rules + + -- Stéphane Glondu <glondu@debian.org> Thu, 27 Jul 2023 06:43:59 +0200 + ocaml-ptmap (2.0.5-2) unstable; urgency=medium * Team upload diff --git a/debian/rules b/debian/rules index 5f443ee..91ce70b 100755 --- a/debian/rules +++ b/debian/rules @@ -1,5 +1,7 @@ #!/usr/bin/make -f # -*- makefile -*- +include /usr/share/ocaml/ocamlvars.mk + %: dh $@ --with ocaml --buildsystem ocaml_dune |