The Debian 'corekeeper' package includes a cron script that uses this. https://sources.debian.org/src/corekeeper/1.6/debian/corekeeper.cron.daily/ https://sour

The Debian 'corekeeper' package includes a cron script that uses this. https://sources.debian.org/src/corekeeper/1.6/debian/corekeeper.cron.daily/ https://sources.debian.org/src/corekeeper/1.6/debian/corekee... It's actually possible to simplify the set operations a little in that case. https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895143 https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=895143