+ ./clean-debian-files.py Old files are older than: 2025-08-12 02:49:19.725842 Words in repos-files: 3046 Files in repos-files: 1489 To keep: 92278 (of which recent files: 56871) (old files: 13305) To delete: 6 Kept: 92278 (old files: 13305) Deleted: 6