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

Name Last Modified Size Type
Parent Directory  Directory
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-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-bin_2.4.2.2-4build1_amd64.deb2015-Aug-16 05:23:264.3M application/octet-stream
agda-bin_2.4.2.2-4build1_i386.deb2015-Aug-16 05:08:364.3M application/octet-stream
agda-bin_2.4.2.5-1build1_amd64.deb2016-Jan-12 17:59:064.6M application/octet-stream
agda-bin_2.4.2.5-1build1_i386.deb2016-Jan-12 17:45:424.6M application/octet-stream
agda-bin_2.5.1-2_amd64.deb2016-Jun-20 21:01:564.7M application/octet-stream
agda-bin_2.5.1-2_i386.deb2016-Jun-20 19:42:474.7M 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.2-1_all.deb2013-Nov-06 12:28:3847K application/octet-stream
agda-mode_2.4.0.2-2build1_all.deb2014-Oct-29 14:00:2339.3K application/octet-stream
agda-mode_2.4.2.2-4build1_all.deb2015-Aug-16 05:23:2635.4K application/octet-stream
agda-mode_2.4.2.5-1build1_all.deb2016-Jan-12 17:59:0536.4K application/octet-stream
agda-mode_2.5.1-2_all.deb2016-Jun-20 21:01:574.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.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-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
agda_2.4.2.2-4build1.debian.tar.xz2015-Aug-16 04:58:278.6K application/octet-stream
agda_2.4.2.2-4build1.dsc2015-Aug-16 04:58:273.6K application/octet-stream
agda_2.4.2.2-4build1_all.deb2015-Aug-16 05:23:272.9K application/octet-stream
agda_2.4.2.2.orig.tar.gz2015-May-20 13:08:30940.7K application/x-gzip
agda_2.4.2.5-1build1.debian.tar.xz2016-Jan-12 17:30:277.7K application/octet-stream
agda_2.4.2.5-1build1.dsc2016-Jan-12 17:30:273.7K application/octet-stream
agda_2.4.2.5-1build1_all.deb2016-Jan-12 17:59:072.9K application/octet-stream
agda_2.4.2.5.orig.tar.gz2016-Jan-04 18:25:061007.3K application/x-gzip
agda_2.5.1-2.debian.tar.xz2016-Jun-20 19:40:558.5K application/octet-stream
agda_2.5.1-2.dsc2016-Jun-20 19:40:553.9K application/octet-stream
agda_2.5.1-2_all.deb2016-Jun-20 21:01:572.9K application/octet-stream
agda_2.5.1.orig.tar.gz2016-Jun-14 19:44:221.1M application/x-gzip
elpa-agda2-mode_2.5.1-2_all.deb2016-Jun-20 21:01:5539K application/octet-stream
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.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-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-dev_2.4.2.2-4build1_amd64.deb2015-Aug-16 05:23:2610.2M application/octet-stream
libghc-agda-dev_2.4.2.2-4build1_i386.deb2015-Aug-16 05:08:3510M application/octet-stream
libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-Jan-12 17:59:0610.2M application/octet-stream
libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-Jan-12 17:45:4210.1M application/octet-stream
libghc-agda-dev_2.5.1-2_amd64.deb2016-Jun-20 21:01:5911.5M application/octet-stream
libghc-agda-dev_2.5.1-2_i386.deb2016-Jun-20 19:42:4711.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.2.2-1_all.deb2013-Nov-06 12:28:382.1M application/octet-stream
libghc-agda-doc_2.4.0.2-2build1_all.deb2014-Oct-29 14:00:241.8M application/octet-stream
libghc-agda-doc_2.4.2.2-4build1_all.deb2015-Aug-16 05:23:271.9M application/octet-stream
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-Jan-12 17:59:062.1M application/octet-stream
libghc-agda-doc_2.5.1-2_all.deb2016-Jun-20 21:01:582.3M 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