Reorganize binary packages
authorStéphane Glondu <glondu@debian.org>
Sat, 19 Aug 2023 01:16:21 +0000 (03:16 +0200)
committerStéphane Glondu <glondu@debian.org>
Sat, 19 Aug 2023 04:00:23 +0000 (06:00 +0200)
commit498da2c35b34a92caa223342be59cc18983d692d
treeac39698762cdcf955d06ab8385ff682f04deabce
parent7e68eff183fb772a2c59b3c71992c9f2911ba9a5
Reorganize binary packages
debian/control
debian/dispatch.ml
debian/libcompiler-libs-ocaml-dev.lintian-overrides.in [new file with mode: 0644]
debian/ocaml.lintian-overrides.in
debian/ocamlinit.mk
debian/rules