Update packaging
authorStephane Glondu <steph@glondu.net>
Thu, 3 Sep 2020 14:18:31 +0000 (16:18 +0200)
committerStéphane Glondu <glondu@debian.org>
Thu, 3 Sep 2020 14:21:06 +0000 (16:21 +0200)
commit9851366cce3afc4866841003a5c19f6885f219be
tree77cbdc65c3380401737864977cd39205650d9ba0
parent574f9bbda50207919ad93f90a6df6d543f4702ef
Update packaging
debian/dispatch.ml
debian/ocamlvars.mk
debian/rules