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

Name Last Modified Size Type
Parent Directory  Directory
agda-bin_2.3.2-1_amd64.deb2013-Apr-10 14:03:265.1M application/octet-stream
agda-bin_2.3.2-1_i386.deb2013-Apr-10 14:03:324.7M application/octet-stream
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-mode_2.2.10-3build1_all.deb2011-Jul-09 18:06:1739K 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.0.1-2build1_all.deb2012-Aug-27 08:33:1943.9K application/octet-stream
agda-mode_2.3.2-1_all.deb2013-Apr-10 14:03:2544.4K 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_2.2.10-3build1.debian.tar.gz2011-Jul-09 18:06:117.5K application/x-gzip
agda_2.2.10-3build1.dsc2011-Jul-09 18:06:113.1K application/octet-stream
agda_2.2.10-3build1_all.deb2011-Jul-09 18:06:182.9K application/octet-stream
agda_2.2.10.orig.tar.gz2011-Feb-24 14:05:22505.6K application/x-gzip
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-2build1.debian.tar.gz2012-Aug-27 08:33:196.8K application/x-gzip
agda_2.3.0.1-2build1.dsc2012-Aug-27 08:33:193K application/octet-stream
agda_2.3.0.1-2build1_all.deb2012-Aug-27 08:33:192.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.debian.tar.gz2013-Apr-10 13:33:397.1K application/x-gzip
agda_2.3.2-1.dsc2013-Apr-10 13:33:393.3K application/octet-stream
agda_2.3.2-1_all.deb2013-Apr-10 14:03:252.9K application/octet-stream
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.orig.tar.gz2013-Nov-06 12:28:291.9M application/x-gzip
agda_2.3.2.orig.tar.gz2013-Apr-10 13:33:39709.4K application/x-gzip
haskell-agda-doc_2.2.6-3_all.deb2010-Mar-04 10:05:571M application/octet-stream
libghc-agda-dev_2.2.10-3build1_amd64.deb2011-Jul-09 18:06:1810.4M application/octet-stream
libghc-agda-dev_2.2.10-3build1_i386.deb2011-Jul-09 18:06:319.7M 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.0.1-2build1_amd64.deb2012-Aug-27 09:03:1912.6M application/octet-stream
libghc-agda-dev_2.3.0.1-2build1_i386.deb2012-Aug-27 08:33:2312M application/octet-stream
libghc-agda-dev_2.3.2-1_amd64.deb2013-Apr-10 14:03:2613M application/octet-stream
libghc-agda-dev_2.3.2-1_i386.deb2013-Apr-10 14:03:3112.3M 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-doc_2.2.10-3build1_all.deb2011-Jul-09 18:06:171.4M 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.0.1-2build1_all.deb2012-Aug-27 08:33:191.7M application/octet-stream
libghc-agda-doc_2.3.2-1_all.deb2013-Apr-10 14:03:252.1M 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
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