/debian/ savepoint tip
drwxr-xr-x [up]
drwxr-xr-x source
-rw-r--r-- 2022-11-22 14:09 +0100 1171 changelog
-rw-r--r-- 2022-11-22 14:09 +0100 2 compat
-rw-r--r-- 2022-11-22 14:09 +0100 683 control
-rw-r--r-- 2022-11-22 14:09 +0100 949 copyright
-rw-r--r-- 2022-11-22 14:09 +0100 5 docs
-rwxr-xr-x 2022-11-22 14:09 +0100 587 rules