+ ./clean-debian-files.py Old files are older than: 2025-12-14 13:59:46.468837 Words in repos-files: 3419 Files in repos-files: 1530 To keep: 101536 (of which recent files: 63732) (old files: 13305) To delete: 0 Kept: 101536 (old files: 13305) Deleted: 0