Update packaging
authorStéphane Glondu <glondu@debian.org>
Mon, 18 Sep 2023 11:40:16 +0000 (13:40 +0200)
committerStéphane Glondu <glondu@debian.org>
Mon, 18 Sep 2023 12:11:27 +0000 (14:11 +0200)
commit9f54afe553e1a995dbb917f27d2b5a07260fbb6d
tree3f9b55e7ae048f00095c9eb84b46412f35c8ec12
parentdd1593118f38353349b67c8cebfeed190f773666
Update packaging
debian/dispatch.ml
debian/ocaml-base-nox.docs
debian/ocamlvars.mk
debian/rules