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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-bin_2.3.2.2-1_amd64.deb2013-Nov-06 18:28:355.2Mapplication/octet-stream
agda-bin_2.3.2.2-1_i386.deb2013-Nov-06 18:28:574.8Mapplication/octet-stream
agda-bin_2.4.0.2-2build1_amd64.deb2014-Oct-29 19:00:253.7Mapplication/octet-stream
agda-bin_2.4.0.2-2build1_i386.deb2014-Oct-29 19:01:563.5Mapplication/octet-stream
agda-bin_2.4.2.2-4build1_amd64.deb2015-Aug-16 11:23:264.3Mapplication/octet-stream
agda-bin_2.4.2.2-4build1_i386.deb2015-Aug-16 11:08:364.2Mapplication/octet-stream
agda-bin_2.4.2.5-1build1_amd64.deb2016-Jan-12 23:59:064.5Mapplication/octet-stream
agda-bin_2.4.2.5-1build1_i386.deb2016-Jan-12 23:45:424.5Mapplication/octet-stream
agda-bin_2.5.1-2build2_amd64.deb2016-Aug-09 16:04:384.7Mapplication/octet-stream
agda-bin_2.5.1-2build2_i386.deb2016-Aug-09 15:25:424.7Mapplication/octet-stream
agda-bin_2.5.1.1-3_amd64.deb2016-Nov-13 15:08:274.8Mapplication/octet-stream
agda-bin_2.5.1.1-3_i386.deb2016-Nov-13 14:32:514.8Mapplication/octet-stream
agda-bin_2.5.3-3build1_amd64.deb2017-Nov-25 21:09:445.4Mapplication/octet-stream
agda-bin_2.5.3-3build1_i386.deb2017-Nov-25 21:09:575.4Mapplication/octet-stream
agda-bin_2.6.0.1-1build4_amd64.deb2020-Feb-08 14:19:076.2Mapplication/octet-stream
agda-bin_2.6.1-1build2.1_amd64.deb2021-Sep-16 10:28:529.1Mapplication/octet-stream
agda-bin_2.6.1-1build2_amd64.deb2020-Nov-05 03:43:378.4Mapplication/octet-stream
agda-mode_2.3.0.1-1build2_all.deb2012-Apr-21 19:03:3139.8Kapplication/octet-stream
agda-mode_2.3.2.2-1_all.deb2013-Nov-06 18:28:3846.9Kapplication/octet-stream
agda-mode_2.4.0.2-2build1_all.deb2014-Oct-29 19:00:2339.2Kapplication/octet-stream
agda-mode_2.4.2.2-4build1_all.deb2015-Aug-16 11:23:2635.4Kapplication/octet-stream
agda-mode_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:0536.4Kapplication/octet-stream
agda-mode_2.5.1-2build2_all.deb2016-Aug-09 16:04:354.2Kapplication/octet-stream
agda-mode_2.5.1.1-3_all.deb2016-Nov-13 15:08:274.1Kapplication/octet-stream
agda-mode_2.5.3-3build1_all.deb2017-Nov-25 21:09:453.5Kapplication/octet-stream
agda-mode_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:083.5Kapplication/octet-stream
agda_2.3.0.1-1build2.debian.tar.gz2012-Apr-21 18:33:506.4Kapplication/x-gzip
agda_2.3.0.1-1build2.dsc2012-Apr-21 18:33:502.9Kapplication/octet-stream
agda_2.3.0.1-1build2_all.deb2012-Apr-21 19:03:312.9Kapplication/octet-stream
agda_2.3.0.1.orig.tar.gz2012-Mar-18 13:03:33597.9Kapplication/x-gzip
agda_2.3.2.2-1.debian.tar.gz2013-Nov-06 18:28:297.2Kapplication/x-gzip
agda_2.3.2.2-1.dsc2013-Nov-06 18:28:293.2Kapplication/octet-stream
agda_2.3.2.2-1_all.deb2013-Nov-06 18:28:392.9Kapplication/octet-stream
agda_2.3.2.2.orig.tar.gz2013-Nov-06 18:28:291.9Mapplication/x-gzip
agda_2.4.0.2-2build1.debian.tar.xz2014-Oct-29 18:58:507.2Kapplication/octet-stream
agda_2.4.0.2-2build1.dsc2014-Oct-29 18:58:503.8Kapplication/octet-stream
agda_2.4.0.2-2build1_all.deb2014-Oct-29 19:00:232.9Kapplication/octet-stream
agda_2.4.0.2.orig.tar.gz2014-Aug-05 19:34:18889.0Kapplication/x-gzip
agda_2.4.2.2-4build1.debian.tar.xz2015-Aug-16 10:58:278.6Kapplication/octet-stream
agda_2.4.2.2-4build1.dsc2015-Aug-16 10:58:273.6Kapplication/octet-stream
agda_2.4.2.2-4build1_all.deb2015-Aug-16 11:23:272.9Kapplication/octet-stream
agda_2.4.2.2.orig.tar.gz2015-May-20 19:08:30940.7Kapplication/x-gzip
agda_2.4.2.5-1build1.debian.tar.xz2016-Jan-12 23:30:277.6Kapplication/octet-stream
agda_2.4.2.5-1build1.dsc2016-Jan-12 23:30:273.7Kapplication/octet-stream
agda_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:072.9Kapplication/octet-stream
agda_2.4.2.5.orig.tar.gz2016-Jan-05 00:25:060.9Mapplication/x-gzip
agda_2.5.1-2build2.debian.tar.xz2016-Aug-09 15:19:458.6Kapplication/octet-stream
agda_2.5.1-2build2.dsc2016-Aug-09 15:19:454.0Kapplication/octet-stream
agda_2.5.1-2build2_all.deb2016-Aug-09 16:04:362.9Kapplication/octet-stream
agda_2.5.1.1-3.debian.tar.xz2016-Nov-13 14:09:168.8Kapplication/octet-stream
agda_2.5.1.1-3.dsc2016-Nov-13 14:09:154.1Kapplication/octet-stream
agda_2.5.1.1-3_all.deb2016-Nov-13 15:08:302.9Kapplication/octet-stream
agda_2.5.1.1.orig.tar.gz2016-Nov-13 14:09:161.1Mapplication/x-gzip
agda_2.5.1.orig.tar.gz2016-Jun-15 01:44:221.1Mapplication/x-gzip
agda_2.5.3-3build1.debian.tar.xz2017-Nov-25 20:15:289.5Kapplication/octet-stream
agda_2.5.3-3build1.dsc2017-Nov-25 20:15:284.4Kapplication/octet-stream
agda_2.5.3-3build1_all.deb2017-Nov-25 21:09:452.9Kapplication/octet-stream
agda_2.5.3.orig.tar.gz2017-Nov-01 14:05:071.1Mapplication/x-gzip
agda_2.6.0.1-1build4.debian.tar.xz2020-Feb-08 12:38:189.9Kapplication/octet-stream
agda_2.6.0.1-1build4.dsc2020-Feb-08 12:38:184.1Kapplication/octet-stream
agda_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:073.9Kapplication/octet-stream
agda_2.6.0.1.orig.tar.gz2019-Sep-01 14:43:412.2Mapplication/x-gzip
agda_2.6.1-1build2.1.debian.tar.xz2021-Sep-16 09:39:139.9Kapplication/octet-stream
agda_2.6.1-1build2.1.dsc2021-Sep-16 09:39:134.1Kapplication/octet-stream
agda_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:524.0Kapplication/octet-stream
agda_2.6.1-1build2.debian.tar.xz2020-Oct-29 21:24:009.9Kapplication/octet-stream
agda_2.6.1-1build2.dsc2020-Oct-29 21:24:004.2Kapplication/octet-stream
agda_2.6.1-1build2_all.deb2020-Nov-05 03:43:374.0Kapplication/octet-stream
agda_2.6.1.orig.tar.gz2020-Jul-30 01:19:102.5Mapplication/x-gzip
elpa-agda2-mode_2.5.1-2build2_all.deb2016-Aug-09 16:04:3538.9Kapplication/octet-stream
elpa-agda2-mode_2.5.1.1-3_all.deb2016-Nov-13 15:08:3038.8Kapplication/octet-stream
elpa-agda2-mode_2.5.3-3build1_all.deb2017-Nov-25 21:09:4539.9Kapplication/octet-stream
elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:0740.2Kapplication/octet-stream
elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:5345.0Kapplication/octet-stream
elpa-agda2-mode_2.6.1-1build2_all.deb2020-Nov-05 03:43:3841.3Kapplication/octet-stream
libghc-agda-dev_2.3.0.1-1build2_amd64.deb2012-Apr-21 19:03:3612.4Mapplication/octet-stream
libghc-agda-dev_2.3.0.1-1build2_i386.deb2012-Apr-21 19:03:4311.8Mapplication/octet-stream
libghc-agda-dev_2.3.2.2-1_amd64.deb2013-Nov-06 18:28:3512.9Mapplication/octet-stream
libghc-agda-dev_2.3.2.2-1_i386.deb2013-Nov-06 18:28:5512.3Mapplication/octet-stream
libghc-agda-dev_2.4.0.2-2build1_amd64.deb2014-Oct-29 19:00:259.2Mapplication/octet-stream
libghc-agda-dev_2.4.0.2-2build1_i386.deb2014-Oct-29 19:01:559.1Mapplication/octet-stream
libghc-agda-dev_2.4.2.2-4build1_amd64.deb2015-Aug-16 11:23:2610.1Mapplication/octet-stream
libghc-agda-dev_2.4.2.2-4build1_i386.deb2015-Aug-16 11:08:3510.0Mapplication/octet-stream
libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-Jan-12 23:59:0610.1Mapplication/octet-stream
libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-Jan-12 23:45:4210.0Mapplication/octet-stream
libghc-agda-dev_2.5.1-2build2_amd64.deb2016-Aug-09 16:04:3611.5Mapplication/octet-stream
libghc-agda-dev_2.5.1-2build2_i386.deb2016-Aug-09 15:25:4111.3Mapplication/octet-stream
libghc-agda-dev_2.5.1.1-3_amd64.deb2016-Nov-13 15:08:3012.4Mapplication/octet-stream
libghc-agda-dev_2.5.1.1-3_i386.deb2016-Nov-13 14:32:5112.2Mapplication/octet-stream
libghc-agda-dev_2.5.3-3build1_amd64.deb2017-Nov-25 21:09:4515.1Mapplication/octet-stream
libghc-agda-dev_2.5.3-3build1_i386.deb2017-Nov-25 21:09:5714.8Mapplication/octet-stream
libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-Feb-08 14:19:0718.7Mapplication/octet-stream
libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-Sep-16 10:28:5238.4Mapplication/octet-stream
libghc-agda-dev_2.6.1-1build2_amd64.deb2020-Nov-05 03:43:3836.1Mapplication/octet-stream
libghc-agda-doc_2.3.0.1-1build2_all.deb2012-Apr-21 19:03:301.6Mapplication/octet-stream
libghc-agda-doc_2.3.2.2-1_all.deb2013-Nov-06 18:28:382.0Mapplication/octet-stream
libghc-agda-doc_2.4.0.2-2build1_all.deb2014-Oct-29 19:00:241.8Mapplication/octet-stream
libghc-agda-doc_2.4.2.2-4build1_all.deb2015-Aug-16 11:23:271.9Mapplication/octet-stream
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:062.0Mapplication/octet-stream
libghc-agda-doc_2.5.1-2build2_all.deb2016-Aug-09 16:04:362.2Mapplication/octet-stream
libghc-agda-doc_2.5.1.1-3_all.deb2016-Nov-13 15:08:282.4Mapplication/octet-stream
libghc-agda-doc_2.5.3-3build1_all.deb2017-Nov-25 21:09:442.6Mapplication/octet-stream
libghc-agda-doc_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:064.0Mapplication/octet-stream
libghc-agda-doc_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:535.1Mapplication/octet-stream
libghc-agda-doc_2.6.1-1build2_all.deb2020-Nov-05 03:43:375.5Mapplication/octet-stream
ISPpro Internet KG isppro.de | euserv.de | kos-online.de | keepfree.de