+ ./clean-debian-files.py Old files are older than: 2025-04-23 15:32:18.443625 Words in repos-files: 3229 Files in repos-files: 1491 To keep: 75407 (of which recent files: 40713) (old files: 12729) To delete: 312 Kept: 75407 (old files: 12729) Deleted: 312