+ ./clean-debian-files.py Old files are older than: 2025-06-10 14:55:40.393441 Words in repos-files: 3046 Files in repos-files: 1469 To keep: 86285 (of which recent files: 51591) (old files: 12729) To delete: 6 Kept: 86285 (old files: 12729) Deleted: 6