/
drwxr-xr-x debian
-rw-r--r-- 2019-01-07 13:00 +0100 114 .hgignore
-rw-r--r-- 2019-01-07 13:00 +0100 370 .hgtags
-rw-r--r-- 2019-01-07 13:00 +0100 391 Makefile.in
-rwxr-xr-x 2019-01-07 13:00 +0100 7112 check_cert.pl
-rwxr-xr-x 2019-01-07 13:00 +0100 257 configure