access user group date size name
drwxr-xr-x sysadmin sysadmin Mar 30 2016 <DIR> ..
-rw-rw-r-- sysadmin sysadmin May 26 2012 45 kB agda-mode_2.3.0.1-2_all.deb
-rw-rw-r-- sysadmin sysadmin May 26 2012 12 kB agda_2.3.0.1-2_all.deb
-rw-rw-r-- sysadmin sysadmin May 27 2012 12 MB libghc-agda-dev_2.3.0.1-2+b1_amd64.deb
-rw-rw-r-- sysadmin sysadmin May 26 2012 11 MB libghc-agda-dev_2.3.0.1-2_i386.deb
-rw-rw-r-- sysadmin sysadmin May 26 2012 1709 kB libghc-agda-doc_2.3.0.1-2_all.deb
webfs/1.21 05/Oct/2024 13:17:55 GMT