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

NameLast ModifiedSizeType
../ -  Directory
agda-bin_2.3.2.2-1_amd64.deb2013-Nov-06 18:28:355.2Mapplication/vnd.debian.binary-package
agda-bin_2.3.2.2-1_i386.deb2013-Nov-06 18:28:574.8Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_amd64.deb2016-Jan-12 23:59:064.5Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_i386.deb2016-Jan-12 23:45:424.5Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_amd64.deb2017-Nov-25 21:09:445.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_i386.deb2017-Nov-25 21:09:575.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build4_amd64.deb2020-Feb-08 14:19:076.2Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1build2.1_amd64.deb2021-Sep-16 10:28:529.1Mapplication/vnd.debian.binary-package
agda-bin_2.6.2.2-1.1build1_amd64.deb2022-Dec-12 11:59:127.9Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1build1_amd64.deb2023-Nov-10 21:19:2710.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-2_amd64.deb2024-Sep-07 08:18:5410.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.4.3-1_amd64.deb2024-Oct-25 23:15:0610.0Mapplication/vnd.debian.binary-package
agda-mode_2.3.2.2-1_all.deb2013-Nov-06 18:28:3846.9Kapplication/vnd.debian.binary-package
agda-mode_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:0536.4Kapplication/vnd.debian.binary-package
agda-mode_2.5.3-3build1_all.deb2017-Nov-25 21:09:453.5Kapplication/vnd.debian.binary-package
agda-mode_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:083.5Kapplication/vnd.debian.binary-package
agda_2.3.2.2-1.debian.tar.gz2013-Nov-06 18:28:297.2Kapplication/x-gtar-compressed
agda_2.3.2.2-1.dsc2013-Nov-06 18:28:293.2Ktext/prs.lines.tag
agda_2.3.2.2-1_all.deb2013-Nov-06 18:28:392.9Kapplication/vnd.debian.binary-package
agda_2.3.2.2.orig.tar.gz2013-Nov-06 18:28:291.9Mapplication/x-gtar-compressed
agda_2.4.2.5-1build1.debian.tar.xz2016-Jan-12 23:30:277.6Kapplication/x-xz
agda_2.4.2.5-1build1.dsc2016-Jan-12 23:30:273.7Ktext/prs.lines.tag
agda_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:072.9Kapplication/vnd.debian.binary-package
agda_2.4.2.5.orig.tar.gz2016-Jan-05 00:25:060.9Mapplication/x-gtar-compressed
agda_2.5.3-3build1.debian.tar.xz2017-Nov-25 20:15:289.5Kapplication/x-xz
agda_2.5.3-3build1.dsc2017-Nov-25 20:15:284.4Ktext/prs.lines.tag
agda_2.5.3-3build1_all.deb2017-Nov-25 21:09:452.9Kapplication/vnd.debian.binary-package
agda_2.5.3.orig.tar.gz2017-Nov-01 14:05:071.1Mapplication/x-gtar-compressed
agda_2.6.0.1-1build4.debian.tar.xz2020-Feb-08 12:38:189.9Kapplication/x-xz
agda_2.6.0.1-1build4.dsc2020-Feb-08 12:38:184.1Ktext/prs.lines.tag
agda_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:073.9Kapplication/vnd.debian.binary-package
agda_2.6.0.1.orig.tar.gz2019-Sep-01 14:43:412.2Mapplication/x-gtar-compressed
agda_2.6.1-1build2.1.debian.tar.xz2021-Sep-16 09:39:139.9Kapplication/x-xz
agda_2.6.1-1build2.1.dsc2021-Sep-16 09:39:134.1Ktext/prs.lines.tag
agda_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:524.0Kapplication/vnd.debian.binary-package
agda_2.6.1.orig.tar.gz2020-Jul-30 01:19:102.5Mapplication/x-gtar-compressed
agda_2.6.2.2-1.1build1.debian.tar.xz2022-Dec-12 11:29:3010.2Kapplication/x-xz
agda_2.6.2.2-1.1build1.dsc2022-Dec-12 11:29:304.3Ktext/prs.lines.tag
agda_2.6.2.2-1.1build1_all.deb2022-Dec-12 11:59:123.6Kapplication/vnd.debian.binary-package
agda_2.6.2.2.orig.tar.gz2022-Aug-07 01:19:171.6Mapplication/x-gtar-compressed
agda_2.6.3-1build1.debian.tar.xz2023-Nov-08 10:36:4711.3Kapplication/x-xz
agda_2.6.3-1build1.dsc2023-Nov-08 10:36:474.8Ktext/prs.lines.tag
agda_2.6.3-1build1_all.deb2023-Nov-10 21:19:273.6Kapplication/vnd.debian.binary-package
agda_2.6.3-2.debian.tar.xz2024-Sep-07 08:18:5211.3Kapplication/x-xz
agda_2.6.3-2.dsc2024-Sep-07 08:18:524.8Ktext/prs.lines.tag
agda_2.6.3-2_all.deb2024-Sep-07 08:18:543.6Kapplication/vnd.debian.binary-package
agda_2.6.3.orig.tar.gz2023-Oct-26 17:43:251.7Mapplication/x-gtar-compressed
agda_2.6.4.3-1.debian.tar.xz2024-Oct-25 21:11:5910.2Kapplication/x-xz
agda_2.6.4.3-1.dsc2024-Oct-25 21:11:595.0Ktext/prs.lines.tag
agda_2.6.4.3-1_all.deb2024-Oct-25 23:15:063.6Kapplication/vnd.debian.binary-package
agda_2.6.4.3.orig.tar.gz2024-Oct-25 21:11:591.8Mapplication/x-gtar-compressed
elpa-agda2-mode_2.5.3-3build1_all.deb2017-Nov-25 21:09:4539.9Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:0740.2Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:5345.0Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb2022-Dec-12 11:59:1244.3Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.3-1build1_all.deb2023-Nov-10 21:19:2745.1Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.3-2_all.deb2024-Sep-07 08:18:5445.2Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.4.3-1_all.deb2024-Oct-25 23:15:0645.2Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.2.2-1_amd64.deb2013-Nov-06 18:28:3512.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.2.2-1_i386.deb2013-Nov-06 18:28:5512.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_amd64.deb2016-Jan-12 23:59:0610.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_i386.deb2016-Jan-12 23:45:4210.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_amd64.deb2017-Nov-25 21:09:4515.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_i386.deb2017-Nov-25 21:09:5714.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build4_amd64.deb2020-Feb-08 14:19:0718.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1build2.1_amd64.deb2021-Sep-16 10:28:5238.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.2.2-1.1build1_amd64.deb2022-Dec-12 11:59:1225.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1build1_amd64.deb2023-Nov-10 21:19:2724.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-2_amd64.deb2024-Sep-07 08:18:5424.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.4.3-1_amd64.deb2024-Oct-25 23:15:0623.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.3.2.2-1_all.deb2013-Nov-06 18:28:382.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-Jan-12 23:59:062.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.3-3build1_all.deb2017-Nov-25 21:09:442.6Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.0.1-1build4_all.deb2020-Feb-08 14:19:064.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.1-1build2.1_all.deb2021-Sep-16 10:28:535.1Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.2.2-1.1build1_all.deb2022-Dec-12 11:59:125.7Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.3-1build1_all.deb2023-Nov-10 21:19:275.9Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.3-2_all.deb2024-Sep-07 08:18:535.9Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.4.3-1_all.deb2024-Oct-25 23:15:066.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.59