+ ./clean-debian-files.py Old files are older than: 2025-05-22 08:37:33.839263 Words in repos-files: 3289 Files in repos-files: 1490 To keep: 79181 (of which recent files: 44487) (old files: 12729) To delete: 1791 Kept: 79181 (old files: 12729) Deleted: 1791