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

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.3.2.2-1_amd64.deb2013-Nov-06 19:28:355.2Mapplication/vnd.debian.binary-package
agda-bin_2.3.2.2-1_i386.deb2013-Nov-06 19:28:574.8Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_amd64.deb2016-Jan-13 00:59:064.5Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_i386.deb2016-Jan-13 00:45:424.5Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_amd64.deb2017-Nov-25 22:09:445.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_i386.deb2017-Nov-25 22:09:575.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-5build3_amd64.deb2018-Jul-05 11:58:285.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-5build3_i386.deb2018-Jul-05 11:48:305.5Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3_amd64.deb2018-Dec-14 12:58:185.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3_i386.deb2018-Dec-14 12:38:365.5Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build2_amd64.deb2019-Sep-03 09:23:186.2Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build2_i386.deb2019-Sep-03 09:23:226.3Mapplication/vnd.debian.binary-package
agda-mode_2.3.0.1-1build2_all.deb2012-Apr-21 20:03:3139.8Kapplication/vnd.debian.binary-package
agda-mode_2.3.2.2-1_all.deb2013-Nov-06 19:28:3846.9Kapplication/vnd.debian.binary-package
agda-mode_2.4.2.5-1build1_all.deb2016-Jan-13 00:59:0536.4Kapplication/vnd.debian.binary-package
agda-mode_2.5.3-3build1_all.deb2017-Nov-25 22:09:453.5Kapplication/vnd.debian.binary-package
agda-mode_2.5.3-5build3_all.deb2018-Jul-05 11:58:293.5Kapplication/vnd.debian.binary-package
agda-mode_2.5.4.1-3_all.deb2018-Dec-14 12:58:173.6Kapplication/vnd.debian.binary-package
agda-mode_2.6.0.1-1build2_all.deb2019-Sep-03 09:23:183.5Kapplication/vnd.debian.binary-package
agda_2.3.0.1-1build2.debian.tar.gz2012-Apr-21 19:33:506.4Kapplication/gzip
agda_2.3.0.1-1build2.dsc2012-Apr-21 19:33:502.9Kapplication/octet-stream
agda_2.3.0.1-1build2_all.deb2012-Apr-21 20:03:312.9Kapplication/vnd.debian.binary-package
agda_2.3.0.1.orig.tar.gz2012-Mar-18 14:03:33597.9Kapplication/gzip
agda_2.3.2.2-1.debian.tar.gz2013-Nov-06 19:28:297.2Kapplication/gzip
agda_2.3.2.2-1.dsc2013-Nov-06 19:28:293.2Kapplication/octet-stream
agda_2.3.2.2-1_all.deb2013-Nov-06 19:28:392.9Kapplication/vnd.debian.binary-package
agda_2.3.2.2.orig.tar.gz2013-Nov-06 19:28:291.9Mapplication/gzip
agda_2.4.2.5-1build1.debian.tar.xz2016-Jan-13 00:30:277.6Kapplication/x-xz
agda_2.4.2.5-1build1.dsc2016-Jan-13 00:30:273.7Kapplication/octet-stream
agda_2.4.2.5-1build1_all.deb2016-Jan-13 00:59:072.9Kapplication/vnd.debian.binary-package
agda_2.4.2.5.orig.tar.gz2016-Jan-05 01:25:060.9Mapplication/gzip
agda_2.5.3-3build1.debian.tar.xz2017-Nov-25 21:15:289.5Kapplication/x-xz
agda_2.5.3-3build1.dsc2017-Nov-25 21:15:284.4Kapplication/octet-stream
agda_2.5.3-3build1_all.deb2017-Nov-25 22:09:452.9Kapplication/vnd.debian.binary-package
agda_2.5.3-5build3.debian.tar.xz2018-Jul-05 10:48:259.9Kapplication/x-xz
agda_2.5.3-5build3.dsc2018-Jul-05 10:48:254.4Kapplication/octet-stream
agda_2.5.3-5build3_all.deb2018-Jul-05 11:58:242.9Kapplication/vnd.debian.binary-package
agda_2.5.3.orig.tar.gz2017-Nov-01 15:05:071.1Mapplication/gzip
agda_2.5.4.1-3.debian.tar.xz2018-Dec-14 12:18:219.7Kapplication/x-xz
agda_2.5.4.1-3.dsc2018-Dec-14 12:18:213.7Kapplication/octet-stream
agda_2.5.4.1-3_all.deb2018-Dec-14 12:58:174.0Kapplication/vnd.debian.binary-package
agda_2.5.4.1.orig.tar.gz2018-Dec-14 12:18:211.9Mapplication/gzip
agda_2.6.0.1-1build2.debian.tar.xz2019-Sep-03 08:53:199.9Kapplication/x-xz
agda_2.6.0.1-1build2.dsc2019-Sep-03 08:53:194.2Kapplication/octet-stream
agda_2.6.0.1-1build2_all.deb2019-Sep-03 09:23:183.9Kapplication/vnd.debian.binary-package
agda_2.6.0.1.orig.tar.gz2019-Sep-01 15:43:412.2Mapplication/gzip
elpa-agda2-mode_2.5.3-3build1_all.deb2017-Nov-25 22:09:4539.9Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.5.3-5build3_all.deb2018-Jul-05 11:58:2839.9Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.5.4.1-3_all.deb2018-Dec-14 12:58:1740.4Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.0.1-1build2_all.deb2019-Sep-03 09:23:1840.8Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-Apr-21 20:03:3612.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-Apr-21 20:03:4311.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.2.2-1_amd64.deb2013-Nov-06 19:28:3512.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.2.2-1_i386.deb2013-Nov-06 19:28:5512.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-Jan-13 00:59:0610.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-Jan-13 00:45:4210.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_amd64.deb2017-Nov-25 22:09:4515.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_i386.deb2017-Nov-25 22:09:5714.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-5build3_amd64.deb2018-Jul-05 11:58:2915.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-5build3_i386.deb2018-Jul-05 11:48:3114.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3_amd64.deb2018-Dec-14 12:58:1816.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3_i386.deb2018-Dec-14 12:38:3515.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build2_amd64.deb2019-Sep-03 09:23:1918.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build2_i386.deb2019-Sep-03 09:23:2218.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.3.0.1-1build2_all.deb2012-Apr-21 20:03:301.6Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.3.2.2-1_all.deb2013-Nov-06 19:28:382.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-Jan-13 00:59:062.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.3-3build1_all.deb2017-Nov-25 22:09:442.6Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.3-5build3_all.deb2018-Jul-05 11:58:262.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.4.1-3_all.deb2018-Dec-14 12:58:173.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.0.1-1build2_all.deb2019-Sep-03 09:23:184.0Mapplication/vnd.debian.binary-package
lighttpd/1.4.45