Update packaging
authorStéphane Glondu <glondu@debian.org>
Wed, 12 Jun 2024 10:51:53 +0000 (12:51 +0200)
committerStéphane Glondu <glondu@debian.org>
Wed, 12 Jun 2024 13:19:38 +0000 (15:19 +0200)
commit65aa4cc058b53bb515f88acd932df4c294e9b64f
treee4a04fedafba6718b6a1d4e9ad8c3c4079a4c58c
parent61333a7410d9da1f7261dbd7501c7c4f5607b550
Update packaging
configure [deleted file]
debian/control
debian/ocaml.lintian-overrides.in