Hi Mattia and Sebastian,
On 6 December 2021 at 22:44, Mattia Rizzolo wrote: | Yes! See https://wiki.debian.org/BuildProfileSpec for the | documentation. | | Unfortunately there have been a few troubles getting a formal and good | specifical text that was "good enough" for the Debian Policy. Ack, and understood. Using 'Profiles' instead of 'Options' is clear. I applied the patch, catching one typo (just two-chars switched in the updated comments, nothing affecting functionality) and -3 is now in unstable. Dirk -- https://dirk.eddelbuettel.com | @eddelbuettel | e...@debian.org