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

NameLast ModifiedSizeType
Parent Directory/ -  Directory
agda-bin_2.3.2.2-1_powerpc.deb2013-Nov-07 01:29:025.1Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_arm64.deb2016-Jan-13 08:25:577.6Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_armhf.deb2017-Jun-22 02:09:276.0Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_powerpc.deb2016-Jan-13 06:59:204.0Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_ppc64el.deb2016-Jan-13 07:15:056.4Mapplication/vnd.debian.binary-package
agda-bin_2.4.2.5-1build1_s390x.deb2016-Jan-13 06:59:3911.1Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_arm64.deb2017-Nov-26 06:59:438.6Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_armhf.deb2017-Nov-26 06:59:456.9Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_ppc64el.deb2017-Nov-26 04:10:006.4Mapplication/vnd.debian.binary-package
agda-bin_2.5.3-3build1_s390x.deb2017-Nov-26 04:10:0512.6Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build4_arm64.deb2020-Feb-08 22:53:217.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build4_ppc64el.deb2020-Feb-08 20:35:258.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build4_riscv64.deb2020-Apr-11 01:03:1917.3Mapplication/vnd.debian.binary-package
agda-bin_2.6.0.1-1build4_s390x.deb2020-Feb-08 21:07:5914.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1build2.1_ppc64el.deb2021-Sep-16 16:43:5013.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1build2.1_riscv64.deb2021-Sep-18 05:33:5315.0Mapplication/vnd.debian.binary-package
agda-bin_2.6.1-1build2.1_s390x.deb2021-Sep-16 16:58:5028.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1build1_arm64.deb2023-Nov-11 08:55:2311.1Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1build1_ppc64el.deb2023-Nov-11 05:14:2012.7Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1build1_riscv64.deb2023-Nov-12 01:09:1712.1Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-1build1_s390x.deb2023-Nov-11 05:14:2216.5Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-2_arm64.deb2024-Sep-07 15:09:3111.1Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-2_ppc64el.deb2024-Sep-07 15:09:3312.4Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-2_riscv64.deb2024-Sep-07 23:44:0712.1Mapplication/vnd.debian.binary-package
agda-bin_2.6.3-2_s390x.deb2024-Sep-07 15:09:3416.5Mapplication/vnd.debian.binary-package
agda-bin_2.6.4.3-1_arm64.deb2024-Oct-26 05:15:0710.6Mapplication/vnd.debian.binary-package
agda-bin_2.6.4.3-1_ppc64el.deb2024-Oct-26 05:15:0810.2Mapplication/vnd.debian.binary-package
agda-bin_2.6.4.3-1_riscv64.deb2024-Oct-26 16:11:2013.8Mapplication/vnd.debian.binary-package
agda-bin_2.6.4.3-1_s390x.deb2024-Oct-26 06:46:5721.9Mapplication/vnd.debian.binary-package
agda-mode_2.3.2.2-1_all.deb2013-Nov-07 01:28:3846.9Kapplication/vnd.debian.binary-package
agda-mode_2.4.2.5-1build1_all.deb2016-Jan-13 06:59:0536.4Kapplication/vnd.debian.binary-package
agda-mode_2.5.3-3build1_all.deb2017-Nov-26 04:09:453.5Kapplication/vnd.debian.binary-package
agda-mode_2.6.0.1-1build4_all.deb2020-Feb-08 21:19:083.5Kapplication/vnd.debian.binary-package
agda_2.3.2.2-1.debian.tar.gz2013-Nov-07 01:28:297.2Kapplication/gzip
agda_2.3.2.2-1.dsc2013-Nov-07 01:28:293.2Kapplication/octet-stream
agda_2.3.2.2-1_all.deb2013-Nov-07 01:28:392.9Kapplication/vnd.debian.binary-package
agda_2.3.2.2.orig.tar.gz2013-Nov-07 01:28:291.9Mapplication/gzip
agda_2.4.2.5-1build1.debian.tar.xz2016-Jan-13 06:30:277.6Kapplication/x-xz
agda_2.4.2.5-1build1.dsc2016-Jan-13 06:30:273.7Kapplication/octet-stream
agda_2.4.2.5-1build1_all.deb2016-Jan-13 06:59:072.9Kapplication/vnd.debian.binary-package
agda_2.4.2.5.orig.tar.gz2016-Jan-05 07:25:060.9Mapplication/gzip
agda_2.5.3-3build1.debian.tar.xz2017-Nov-26 03:15:289.5Kapplication/x-xz
agda_2.5.3-3build1.dsc2017-Nov-26 03:15:284.4Kapplication/octet-stream
agda_2.5.3-3build1_all.deb2017-Nov-26 04:09:452.9Kapplication/vnd.debian.binary-package
agda_2.5.3.orig.tar.gz2017-Nov-01 21:05:071.1Mapplication/gzip
agda_2.6.0.1-1build4.debian.tar.xz2020-Feb-08 19:38:189.9Kapplication/x-xz
agda_2.6.0.1-1build4.dsc2020-Feb-08 19:38:184.1Kapplication/octet-stream
agda_2.6.0.1-1build4_all.deb2020-Feb-08 21:19:073.9Kapplication/vnd.debian.binary-package
agda_2.6.0.1.orig.tar.gz2019-Sep-01 20:43:412.2Mapplication/gzip
agda_2.6.1-1build2.1.debian.tar.xz2021-Sep-16 15:39:139.9Kapplication/x-xz
agda_2.6.1-1build2.1.dsc2021-Sep-16 15:39:134.1Kapplication/octet-stream
agda_2.6.1-1build2.1_all.deb2021-Sep-16 16:28:524.0Kapplication/vnd.debian.binary-package
agda_2.6.1.orig.tar.gz2020-Jul-30 07:19:102.5Mapplication/gzip
agda_2.6.3-1build1.debian.tar.xz2023-Nov-08 17:36:4711.3Kapplication/x-xz
agda_2.6.3-1build1.dsc2023-Nov-08 17:36:474.8Kapplication/octet-stream
agda_2.6.3-1build1_all.deb2023-Nov-11 04:19:273.6Kapplication/vnd.debian.binary-package
agda_2.6.3-2.debian.tar.xz2024-Sep-07 14:18:5211.3Kapplication/x-xz
agda_2.6.3-2.dsc2024-Sep-07 14:18:524.8Kapplication/octet-stream
agda_2.6.3-2_all.deb2024-Sep-07 14:18:543.6Kapplication/vnd.debian.binary-package
agda_2.6.3.orig.tar.gz2023-Oct-26 23:43:251.7Mapplication/gzip
agda_2.6.4.3-1.debian.tar.xz2024-Oct-26 03:11:5910.2Kapplication/x-xz
agda_2.6.4.3-1.dsc2024-Oct-26 03:11:595.0Kapplication/octet-stream
agda_2.6.4.3-1_all.deb2024-Oct-26 05:15:063.6Kapplication/vnd.debian.binary-package
agda_2.6.4.3.orig.tar.gz2024-Oct-26 03:11:591.8Mapplication/gzip
elpa-agda2-mode_2.5.3-3build1_all.deb2017-Nov-26 04:09:4539.9Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.0.1-1build4_all.deb2020-Feb-08 21:19:0740.2Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.1-1build2.1_all.deb2021-Sep-16 16:28:5345.0Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.3-1build1_all.deb2023-Nov-11 04:19:2745.1Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.3-2_all.deb2024-Sep-07 14:18:5445.2Kapplication/vnd.debian.binary-package
elpa-agda2-mode_2.6.4.3-1_all.deb2024-Oct-26 05:15:0645.2Kapplication/vnd.debian.binary-package
libghc-agda-dev_2.3.2.2-1_powerpc.deb2013-Nov-07 01:29:0214.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_arm64.deb2016-Jan-13 08:25:5615.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_armhf.deb2017-Jun-22 02:09:2713.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb2016-Jan-13 06:59:1910.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb2016-Jan-13 07:15:0415.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.4.2.5-1build1_s390x.deb2016-Jan-13 06:59:3916.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_arm64.deb2017-Nov-26 06:59:4322.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_armhf.deb2017-Nov-26 06:59:4418.6Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_ppc64el.deb2017-Nov-26 04:10:0020.2Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.5.3-3build1_s390x.deb2017-Nov-26 04:10:0523.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build4_arm64.deb2020-Feb-08 22:53:2122.1Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb2020-Feb-08 20:35:2527.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb2020-Apr-11 01:03:1941.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.0.1-1build4_s390x.deb2020-Feb-08 21:07:5928.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb2021-Sep-16 16:43:5162.6Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb2021-Sep-18 05:33:5590.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.1-1build2.1_s390x.deb2021-Sep-16 16:58:5165.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1build1_arm64.deb2023-Nov-11 08:55:2327.7Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1build1_ppc64el.deb2023-Nov-11 05:14:2038.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1build1_riscv64.deb2023-Nov-12 01:09:1744.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-1build1_s390x.deb2023-Nov-11 05:14:2237.8Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-2_arm64.deb2024-Sep-07 15:09:3127.4Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-2_ppc64el.deb2024-Sep-07 15:09:3237.9Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-2_riscv64.deb2024-Sep-07 23:44:0744.5Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.3-2_s390x.deb2024-Sep-07 15:09:3437.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.4.3-1_arm64.deb2024-Oct-26 05:15:0726.0Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.4.3-1_ppc64el.deb2024-Oct-26 05:15:0833.3Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.4.3-1_riscv64.deb2024-Oct-26 16:11:1947.6Mapplication/vnd.debian.binary-package
libghc-agda-dev_2.6.4.3-1_s390x.deb2024-Oct-26 06:46:5743.9Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.3.2.2-1_all.deb2013-Nov-07 01:28:382.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.4.2.5-1build1_all.deb2016-Jan-13 06:59:062.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.5.3-3build1_all.deb2017-Nov-26 04:09:442.6Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.0.1-1build4_all.deb2020-Feb-08 21:19:064.0Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.1-1build2.1_all.deb2021-Sep-16 16:28:535.1Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.3-1build1_all.deb2023-Nov-11 04:19:275.9Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.3-2_all.deb2024-Sep-07 14:18:535.9Mapplication/vnd.debian.binary-package
libghc-agda-doc_2.6.4.3-1_all.deb2024-Oct-26 05:15:066.3Mapplication/vnd.debian.binary-package
lighttpd/1.4.35