access user group date size name drwxr-xr-x sysadmin sysadmin Feb 26 2019 <DIR> .. -rw-r--r-- sysadmin sysadmin Aug 12 2014 1205 kB agda-stdlib-doc_0.8-2_all.deb -rw-r--r-- sysadmin sysadmin Aug 12 2014 22 MB agda-stdlib_0.8-2_all.deb