Index of /karmic-frozen/pool/universe/a/agda/

../
agda-mode_2.2.4+dfsg-1_all.deb                     07-Jun-2017 01:01               36386
haskell-agda-doc_2.2.4+dfsg-1_all.deb              07-Jun-2017 01:01              971158
libghc6-agda-dev_2.2.4+dfsg-1_i386.deb             07-Jun-2017 01:01             8276890
libghc6-agda-prof_2.2.4+dfsg-1_i386.deb            07-Jun-2017 01:01            12291576