+ ./clean-debian-files.py Old files are older than: 2025-11-01 02:48:25.499634 Words in repos-files: 3269 Files in repos-files: 1530 To keep: 95211 (of which recent files: 58239) (old files: 13305) To delete: 423 Kept: 95211 (old files: 13305) Deleted: 423