Index of /debian/pool/main/a/agda/

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.4.0.2-2+b1_amd64.deb2014-Sep-07 21:27:593.7Mapplication/vnd.debian.binary-package
agda-bin_2.4.0.2-2+b1_i386.deb2014-Sep-08 10:57:323.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.1.1-3+b3_amd64.deb2016-Nov-10 19:40:135.9Mapplication/vnd.debian.binary-package
agda-bin_2.5.1.1-3+b3_arm64.deb2016-Nov-10 20:10:2310.7Mapplication/vnd.debian.binary-package
agda-bin_2.5.1.1-3+b3_i386.deb2016-Nov-10 19:00:016.0Mapplication/vnd.debian.binary-package
agda-bin_2.5.1.1-3+b3_s390x.deb2016-Nov-10 20:30:3021.2Mapplication/vnd.debian.binary-package
agda-bin_2.5.1.1-3_mips64el.deb2016-Nov-20 02:28:219.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_amd64.deb2018-Dec-04 12:59:055.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_arm64.deb2018-Dec-04 15:27:436.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_i386.deb2018-Dec-04 12:43:515.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_mips.deb2018-Dec-06 21:59:339.2Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_mips64el.deb2018-Dec-23 15:59:5210.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_mipsel.deb2018-Dec-24 14:25:579.5Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_ppc64el.deb2018-Dec-04 12:43:597.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.4.1-3+b1_s390x.deb2018-Dec-04 12:54:0212.6Mapplication/vnd.debian.binary-package
agda-mode_2.4.0.2-2_all.deb2014-Aug-11 14:28:5986.2Kapplication/vnd.debian.binary-package
agda-mode_2.5.1.1-3_all.deb2016-Oct-29 03:56:4277.8Kapplication/vnd.debian.binary-package
agda-mode_2.5.4.1-3_all.deb2018-Oct-21 00:57:49114.9Kapplication/vnd.debian.binary-package
agda_2.4.0.2-2.debian.tar.xz2014-Aug-11 14:28:597.1Kapplication/x-xz
agda_2.4.0.2-2.dsc2014-Aug-11 14:28:593.8Kapplication/octet-stream
agda_2.4.0.2-2_all.deb2014-Aug-11 14:28:5955.0Kapplication/vnd.debian.binary-package
agda_2.4.0.2.orig.tar.gz2014-Aug-05 12:23:29889.0Kapplication/x-gtar-compressed
agda_2.5.1.1-3.debian.tar.xz2016-Oct-28 03:24:598.8Kapplication/x-xz
agda_2.5.1.1-3.dsc2016-Oct-28 03:24:594.1Kapplication/octet-stream
agda_2.5.1.1-3_all.deb2016-Oct-29 03:56:4278.2Kapplication/vnd.debian.binary-package
agda_2.5.1.1.orig.tar.gz2016-Oct-16 23:43:461.1Mapplication/x-gtar-compressed
agda_2.5.4.1-3.debian.tar.xz2018-Oct-20 23:41:459.7Kapplication/x-xz
agda_2.5.4.1-3.dsc2018-Oct-20 23:41:453.7Kapplication/octet-stream
agda_2.5.4.1-3_all.deb2018-Oct-21 00:57:49115.3Kapplication/vnd.debian.binary-package
agda_2.5.4.1.orig.tar.gz2018-Sep-30 13:54:261.9Mapplication/x-gtar-compressed
elpa-agda2-mode_2.5.1.1-3_all.deb2016-Oct-29 03:56:42112.5Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.5.4.1-3_all.deb2018-Oct-21 00:57:49151.8Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.0.2-2+b1_amd64.deb2014-Sep-07 21:27:599.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.0.2-2+b1_i386.deb2014-Sep-08 10:57:329.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.1.1-3+b3_amd64.deb2016-Nov-10 19:40:1312.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.1.1-3+b3_arm64.deb2016-Nov-10 20:10:2318.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.1.1-3+b3_i386.deb2016-Nov-10 19:00:0113.6Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.1.1-3+b3_s390x.deb2016-Nov-10 20:30:3024.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.1.1-3_mips64el.deb2016-Nov-20 02:28:2118.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-Dec-04 12:59:0516.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_arm64.deb2018-Dec-04 15:27:4318.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_i386.deb2018-Dec-04 12:43:5216.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_mips.deb2018-Dec-06 21:59:3321.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_mips64el.deb2018-Dec-23 15:59:5223.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_mipsel.deb2018-Dec-24 14:25:5721.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_ppc64el.deb2018-Dec-04 12:43:5923.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.4.1-3+b1_s390x.deb2018-Dec-04 12:54:0224.7Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.4.0.2-2_all.deb2014-Aug-11 14:28:591.8Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.1.1-3_all.deb2016-Oct-29 03:56:422.5Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.4.1-3_all.deb2018-Oct-21 00:57:493.6Mapplication/vnd.debian.binary-package
lighttpd