+ ./clean-debian-files.py Old files are older than: 2025-07-04 04:36:40.741359 Words in repos-files: 3046 Files in repos-files: 1469 To keep: 89614 (of which recent files: 54207) (old files: 13305) To delete: 144 Kept: 89614 (old files: 13305) Deleted: 144