Unix-Solutions Logo

mirror.unix-solutions.be

hosted by Unix-Solutions

services: http, https, rsync

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

File Last Modified Size
📂 Parent Directory
📄 agda-bin_2.5.4.1-3+b1_amd64.deb2018-12-04 10:59:055.6 MB
📄 agda-bin_2.5.4.1-3+b1_arm64.deb2018-12-04 13:27:436.47 MB
📄 agda-bin_2.5.4.1-3+b1_i386.deb2018-12-04 10:43:515.67 MB
📄 agda-bin_2.6.1-1+b2_amd64.deb2020-08-19 19:59:368.5 MB
📄 agda-bin_2.6.1-1+b2_arm64.deb2020-08-19 21:57:189.89 MB
📄 agda-bin_2.6.1-1+b2_i386.deb2020-08-19 22:58:588.55 MB
📄 agda-bin_2.6.1-1+b2_ppc64el.deb2020-08-19 23:59:4411.75 MB
📄 agda-bin_2.6.1-1+b3_s390x.deb2020-08-20 00:40:1122.73 MB
📄 agda-bin_2.6.2.2-1.1_amd64.deb2022-12-06 17:57:337.39 MB
📄 agda-bin_2.6.2.2-1.1_mips64el.deb2022-12-06 22:12:3514.58 MB
📄 agda-bin_2.6.2.2-1.1_ppc64el.deb2022-12-06 18:28:0210.12 MB
📄 agda-bin_2.6.2.2-1.1_s390x.deb2022-12-06 18:38:0519.27 MB
📄 agda-bin_2.6.4.3-1+b1_armel.deb2024-10-17 02:06:5113.33 MB
📄 agda-bin_2.6.4.3-1+b1_mips64el.deb2024-10-18 11:20:1614.01 MB
📄 agda-bin_2.6.4.3-1+b2_amd64.deb2025-02-01 22:54:539.39 MB
📄 agda-bin_2.6.4.3-1+b2_arm64.deb2025-02-14 12:31:079.41 MB
📄 agda-bin_2.6.4.3-1+b2_i386.deb2025-02-14 10:53:3114.07 MB
📄 agda-bin_2.6.4.3-1_ppc64el.deb2024-10-08 11:44:479.02 MB
📄 agda-bin_2.6.4.3-1_riscv64.deb2024-10-09 00:41:3612.49 MB
📄 agda-bin_2.6.4.3-1_s390x.deb2024-10-08 11:44:3718.86 MB
📄 agda-mode_2.5.4.1-3_all.deb2018-10-20 21:57:49114.92 KB
📄 agda_2.5.4.1-3.debian.tar.xz2018-10-20 20:41:459.7 KB
📄 agda_2.5.4.1-3.dsc2018-10-20 20:41:453.78 KB
📄 agda_2.5.4.1-3_all.deb2018-10-20 21:57:49115.34 KB
📄 agda_2.5.4.1.orig.tar.gz2018-09-30 10:54:261.9 MB
📄 agda_2.6.1-1.debian.tar.xz2020-07-29 15:40:189.82 KB
📄 agda_2.6.1-1.dsc2020-07-29 15:40:184.09 KB
📄 agda_2.6.1-1_all.deb2020-07-29 16:40:5328.06 KB
📄 agda_2.6.1.orig.tar.gz2020-07-29 15:40:182.52 MB
📄 agda_2.6.2.2-1.1.debian.tar.xz2022-12-06 16:40:5110.25 KB
📄 agda_2.6.2.2-1.1.dsc2022-12-06 16:40:514.32 KB
📄 agda_2.6.2.2-1.1_all.deb2022-12-06 17:41:5612.02 KB
📄 agda_2.6.2.2.orig.tar.gz2022-08-06 17:04:451.61 MB
📄 agda_2.6.4.3-1.debian.tar.xz2024-10-08 10:41:5010.21 KB
📄 agda_2.6.4.3-1.dsc2024-10-08 10:41:505.08 KB
📄 agda_2.6.4.3-1_all.deb2024-10-08 11:23:1211.86 KB
📄 agda_2.6.4.3.orig.tar.gz2024-10-08 10:41:501.78 MB
📄 elpa-agda2-mode_2.5.4.1-3_all.deb2018-10-20 21:57:49151.8 KB
📄 elpa-agda2-mode_2.6.1-1_all.deb2020-07-29 16:40:5365.25 KB
📄 elpa-agda2-mode_2.6.2.2-1.1_all.deb2022-12-06 17:41:5649.75 KB
📄 elpa-agda2-mode_2.6.4.3-1_all.deb2024-10-08 11:23:1250.11 KB
📄 libghc-agda-dev_2.5.4.1-3+b1_amd64.deb2018-12-04 10:59:0516.38 MB
📄 libghc-agda-dev_2.5.4.1-3+b1_arm64.deb2018-12-04 13:27:4318.82 MB
📄 libghc-agda-dev_2.5.4.1-3+b1_i386.deb2018-12-04 10:43:5216.02 MB
📄 libghc-agda-dev_2.6.1-1+b2_amd64.deb2020-08-19 19:59:3636.19 MB
📄 libghc-agda-dev_2.6.1-1+b2_arm64.deb2020-08-19 21:57:1842.74 MB
📄 libghc-agda-dev_2.6.1-1+b2_i386.deb2020-08-19 22:58:5836.33 MB
📄 libghc-agda-dev_2.6.1-1+b2_ppc64el.deb2020-08-19 23:59:4553.28 MB
📄 libghc-agda-dev_2.6.1-1+b3_s390x.deb2020-08-20 00:40:1155.3 MB
📄 libghc-agda-dev_2.6.2.2-1.1_amd64.deb2022-12-06 17:57:3323.7 MB
📄 libghc-agda-dev_2.6.2.2-1.1_mips64el.deb2022-12-06 22:12:3634.79 MB
📄 libghc-agda-dev_2.6.2.2-1.1_ppc64el.deb2022-12-06 18:28:0234.53 MB
📄 libghc-agda-dev_2.6.2.2-1.1_s390x.deb2022-12-06 18:38:0537.74 MB
📄 libghc-agda-dev_2.6.4.3-1+b1_armel.deb2024-10-17 02:06:5129.76 MB
📄 libghc-agda-dev_2.6.4.3-1+b1_mips64el.deb2024-10-18 11:20:1632.29 MB
📄 libghc-agda-dev_2.6.4.3-1+b2_amd64.deb2025-02-01 22:54:5321.76 MB
📄 libghc-agda-dev_2.6.4.3-1+b2_arm64.deb2025-02-14 12:31:0723.34 MB
📄 libghc-agda-dev_2.6.4.3-1+b2_i386.deb2025-02-14 10:53:3135.61 MB
📄 libghc-agda-dev_2.6.4.3-1_ppc64el.deb2024-10-08 11:44:4729.08 MB
📄 libghc-agda-dev_2.6.4.3-1_riscv64.deb2024-10-09 00:41:3639.73 MB
📄 libghc-agda-dev_2.6.4.3-1_s390x.deb2024-10-08 11:44:3738.61 MB
📄 libghc-agda-doc_2.5.4.1-3_all.deb2018-10-20 21:57:493.62 MB
📄 libghc-agda-doc_2.6.1-1_all.deb2020-07-29 16:40:535.53 MB
📄 libghc-agda-doc_2.6.2.2-1.1_all.deb2022-12-06 17:41:566.29 MB
📄 libghc-agda-doc_2.6.4.3-1_all.deb2024-10-08 11:23:127.14 MB