Dear Sebastian, Le 02/02/2026 à 23:35, Sebastian Andrzej Siewior a écrit :
I just pushed my herdtools7 packaging to https://salsa.debian.org/ocaml-team/herdtools7Does anyone want to look over it before I try to clear NEW?
Here are my comments after a cursory look: - there is a spurious "debian/copyright.." file - in debian/rules you could use "execute_before_*" instead of "override_*" Thank you for your work! Cheers, -- Stéphane
