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.4.0.2-2_amd64.deb2014-Aug-11 12:53:423.7M application/octet-stream
agda-bin_2.4.0.2-2_i386.deb2014-Aug-11 12:53:573.6M application/octet-stream
agda-bin_2.4.0.2-2build1_amd64.deb2014-Oct-29 14:00:253.7M application/octet-stream
agda-bin_2.4.0.2-2build1_i386.deb2014-Oct-29 14:01:563.6M 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.4.0.2-2_all.deb2014-Aug-11 12:53:4239.3K application/octet-stream
agda-mode_2.4.0.2-2build1_all.deb2014-Oct-29 14:00:2339.3K 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.orig.tar.gz2013-Nov-06 12:28:291.9M application/x-gzip
agda_2.4.0.2-2.debian.tar.xz2014-Aug-11 12:28:447.2K application/octet-stream
agda_2.4.0.2-2.dsc2014-Aug-11 12:28:443.8K application/octet-stream
agda_2.4.0.2-2_all.deb2014-Aug-11 12:53:423K application/octet-stream
agda_2.4.0.2-2build1.debian.tar.xz2014-Oct-29 13:58:507.2K application/octet-stream
agda_2.4.0.2-2build1.dsc2014-Oct-29 13:58:503.9K application/octet-stream
agda_2.4.0.2-2build1_all.deb2014-Oct-29 14:00:233K application/octet-stream
agda_2.4.0.2.orig.tar.gz2014-Aug-05 13:34:18889.1K 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.4.0.2-2_amd64.deb2014-Aug-11 12:53:419.3M application/octet-stream
libghc-agda-dev_2.4.0.2-2_i386.deb2014-Aug-11 12:53:579.2M application/octet-stream
libghc-agda-dev_2.4.0.2-2build1_amd64.deb2014-Oct-29 14:00:259.3M application/octet-stream
libghc-agda-dev_2.4.0.2-2build1_i386.deb2014-Oct-29 14:01:559.2M 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.4.0.2-2_all.deb2014-Aug-11 12:53:421.8M application/octet-stream
libghc-agda-doc_2.4.0.2-2build1_all.deb2014-Oct-29 14:00:241.8M 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