Update packaging
authorStephane Glondu <steph@glondu.net>
Tue, 21 Dec 2021 13:07:35 +0000 (14:07 +0100)
committerStéphane Glondu <glondu@debian.org>
Tue, 21 Dec 2021 13:46:54 +0000 (14:46 +0100)
commit39c78c83f5f22e36226865bad31439cb3418f7d7
tree658e454d53247b87141d5ab59d35b8293651bf79
parent22c1fa33ea9d5d9830650d827e90d3a83c9ccd22
Update packaging
debian/dispatch.ml
debian/ocamlvars.mk