+ ./clean-debian-files.py Old files are older than: 2025-07-25 04:55:08.012762 Words in repos-files: 3289 Files in repos-files: 1490 To keep: 89887 (of which recent files: 54480) (old files: 13305) To delete: 1788 Kept: 89887 (old files: 13305) Deleted: 1788