+ ./clean-debian-files.py Old files are older than: 2025-10-15 01:45:35.747647 Words in repos-files: 3269 Files in repos-files: 1530 To keep: 95073 (of which recent files: 58236) (old files: 13305) To delete: 1207 Kept: 95073 (old files: 13305) Deleted: 1207