+ ./clean-debian-files.py Old files are older than: 2025-08-13 12:03:23.314018 Words in repos-files: 3046 Files in repos-files: 1509 To keep: 92572 (of which recent files: 57165) (old files: 13305) To delete: 3 Kept: 92572 (old files: 13305) Deleted: 3