+ ./clean-debian-files.py Old files are older than: 2025-12-15 18:55:37.743989 Words in repos-files: 3419 Files in repos-files: 1531 To keep: 102496 (of which recent files: 64692) (old files: 13305) To delete: 9 Kept: 102496 (old files: 13305) Deleted: 9