Index of /ubuntu/pool/universe/a/agda/

Name Last Modified Size Type
Parent Directory  Directory
agda-bin_2.3.2.1-1_amd64.deb2013-Jun-16 20:03:355.1M application/octet-stream
agda-bin_2.3.2.1-1_i386.deb2013-Jun-16 20:03:464.7M application/octet-stream
agda-bin_2.3.2.2-1_amd64.deb2013-Nov-06 12:28:355.2M application/octet-stream
agda-bin_2.3.2.2-1_i386.deb2013-Nov-06 12:28:574.9M application/octet-stream
agda-bin_2.3.2.2-1build1_amd64.deb2014-Jun-12 16:43:273.3M application/octet-stream
agda-bin_2.3.2.2-1build1_i386.deb2014-Jun-12 16:43:283.2M application/octet-stream
agda-mode_2.2.6-3_all.deb2010-Mar-04 10:05:5738.4K application/octet-stream
agda-mode_2.3.0.1-1build2_all.deb2012-Apr-21 13:03:3139.9K application/octet-stream
agda-mode_2.3.2.1-1_all.deb2013-Jun-16 20:03:3543.6K application/octet-stream
agda-mode_2.3.2.2-1_all.deb2013-Nov-06 12:28:3847K application/octet-stream
agda-mode_2.3.2.2-1build1_all.deb2014-Jun-12 16:43:2740.9K application/octet-stream
agda_2.2.6-3.diff.gz2010-Mar-04 10:05:535.2K application/x-gzip
agda_2.2.6-3.dsc2010-Mar-04 10:05:532.7K application/octet-stream
agda_2.2.6.orig.tar.gz2010-Feb-02 17:04:57414.4K application/x-gzip
agda_2.3.0.1-1build2.debian.tar.gz2012-Apr-21 12:33:506.5K application/x-gzip
agda_2.3.0.1-1build2.dsc2012-Apr-21 12:33:503K application/octet-stream
agda_2.3.0.1-1build2_all.deb2012-Apr-21 13:03:312.9K application/octet-stream
agda_2.3.0.1.orig.tar.gz2012-Mar-18 08:03:33598K application/x-gzip
agda_2.3.2.1-1.debian.tar.gz2013-Jun-16 19:33:297.1K application/x-gzip
agda_2.3.2.1-1.dsc2013-Jun-16 19:33:293.2K application/octet-stream
agda_2.3.2.1-1_all.deb2013-Jun-16 20:03:352.9K application/octet-stream
agda_2.3.2.1.orig.tar.gz2013-Jun-16 19:33:29712.9K application/x-gzip
agda_2.3.2.2-1.debian.tar.gz2013-Nov-06 12:28:297.2K application/x-gzip
agda_2.3.2.2-1.dsc2013-Nov-06 12:28:293.2K application/octet-stream
agda_2.3.2.2-1_all.deb2013-Nov-06 12:28:392.9K application/octet-stream
agda_2.3.2.2-1build1.debian.tar.gz2014-Jun-12 16:33:307.4K application/x-gzip
agda_2.3.2.2-1build1.dsc2014-Jun-12 16:33:303.3K application/octet-stream
agda_2.3.2.2-1build1_all.deb2014-Jun-12 16:43:273K application/octet-stream
agda_2.3.2.2.orig.tar.gz2013-Nov-06 12:28:291.9M application/x-gzip
haskell-agda-doc_2.2.6-3_all.deb2010-Mar-04 10:05:571M application/octet-stream
libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-Apr-21 13:03:3612.4M application/octet-stream
libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-Apr-21 13:03:4311.8M application/octet-stream
libghc-agda-dev_2.3.2.1-1_amd64.deb2013-Jun-16 20:03:3412.9M application/octet-stream
libghc-agda-dev_2.3.2.1-1_i386.deb2013-Jun-16 20:03:4512.3M application/octet-stream
libghc-agda-dev_2.3.2.2-1_amd64.deb2013-Nov-06 12:28:3513M application/octet-stream
libghc-agda-dev_2.3.2.2-1_i386.deb2013-Nov-06 12:28:5512.3M application/octet-stream
libghc-agda-dev_2.3.2.2-1build1_amd64.deb2014-Jun-12 16:43:267.6M application/octet-stream
libghc-agda-dev_2.3.2.2-1build1_i386.deb2014-Jun-12 16:43:297.6M application/octet-stream
libghc-agda-doc_2.3.0.1-1build2_all.deb2012-Apr-21 13:03:301.6M application/octet-stream
libghc-agda-doc_2.3.2.1-1_all.deb2013-Jun-16 20:03:352.1M application/octet-stream
libghc-agda-doc_2.3.2.2-1_all.deb2013-Nov-06 12:28:382.1M application/octet-stream
libghc-agda-doc_2.3.2.2-1build1_all.deb2014-Jun-12 16:43:271.5M application/octet-stream
libghc6-agda-dev_2.2.6-3_amd64.deb2010-Mar-04 10:05:599.6M application/octet-stream
libghc6-agda-dev_2.2.6-3_i386.deb2010-Mar-04 10:06:109.1M application/octet-stream
libghc6-agda-prof_2.2.6-3_amd64.deb2010-Mar-04 10:05:5914.2M application/octet-stream
libghc6-agda-prof_2.2.6-3_i386.deb2010-Mar-04 10:06:1013M application/octet-stream