Welcome To SC Mirrors Site

We are delighted to offer you accelerated services for open-source software.

Region Option

Asian / Tokyo
mirrors.tyo.silicloud.com
American / Los Angeles
mirrors.lax.silicloud.com

Mirrors Help

If you're unsure how to configure Linux distributions/software installation sources, we offer assistance for mainstream distributions here:

Config Guide

Common Links

Silicon Cloud

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

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-bin_2.6.4.3-1_riscv64.deb 144927742024-Oct-26 08:11
libghc-agda-dev_2.6.4.3-1_riscv64.deb 499144302024-Oct-26 08:11
agda-bin_2.6.4.3-1_s390x.deb 229861882024-Oct-25 22:46
libghc-agda-dev_2.6.4.3-1_s390x.deb 460778082024-Oct-25 22:46
agda-bin_2.6.4.3-1_ppc64el.deb 107680502024-Oct-25 21:15
libghc-agda-dev_2.6.4.3-1_ppc64el.deb 349254202024-Oct-25 21:15
agda-bin_2.6.4.3-1_arm64.deb 111615422024-Oct-25 21:15
libghc-agda-dev_2.6.4.3-1_arm64.deb 272750622024-Oct-25 21:15
elpa-agda2-mode_2.6.4.3-1_all.deb 463342024-Oct-25 21:15
agda_2.6.4.3-1_all.deb 37362024-Oct-25 21:15
libghc-agda-doc_2.6.4.3-1_all.deb 66905842024-Oct-25 21:15
agda_2.6.4.3-1.debian.tar.xz 104602024-Oct-25 19:11
agda_2.6.4.3-1.dsc 51972024-Oct-25 19:11
agda_2.6.4.3.orig.tar.gz 18694612024-Oct-25 19:11
agda-bin_2.6.3-2_riscv64.deb 127246742024-Sep-07 15:44
libghc-agda-dev_2.6.3-2_riscv64.deb 467162362024-Sep-07 15:44
agda-bin_2.6.3-2_s390x.deb 173064722024-Sep-07 07:09
libghc-agda-dev_2.6.3-2_s390x.deb 388388642024-Sep-07 07:09
agda-bin_2.6.3-2_ppc64el.deb 130452342024-Sep-07 07:09
libghc-agda-dev_2.6.3-2_ppc64el.deb 398396102024-Sep-07 07:09
agda-bin_2.6.3-2_arm64.deb 116395202024-Sep-07 07:09
libghc-agda-dev_2.6.3-2_arm64.deb 287665222024-Sep-07 07:09
elpa-agda2-mode_2.6.3-2_all.deb 463042024-Sep-07 06:18
agda_2.6.3-2_all.deb 37242024-Sep-07 06:18
libghc-agda-doc_2.6.3-2_all.deb 62260402024-Sep-07 06:18
agda_2.6.3-2.debian.tar.xz 116362024-Sep-07 06:18
agda_2.6.3-2.dsc 49452024-Sep-07 06:18
agda-bin_2.6.3-1build1_riscv64.deb 127623302023-Nov-11 17:09
libghc-agda-dev_2.6.3-1build1_riscv64.deb 471408682023-Nov-11 17:09
agda-bin_2.6.3-1build1_arm64.deb 116775822023-Nov-11 00:55
libghc-agda-dev_2.6.3-1build1_arm64.deb 290536282023-Nov-11 00:55
agda-bin_2.6.3-1build1_s390x.deb 173566262023-Nov-10 21:14
libghc-agda-dev_2.6.3-1build1_s390x.deb 397047522023-Nov-10 21:14
agda-bin_2.6.3-1build1_ppc64el.deb 133441662023-Nov-10 21:14
libghc-agda-dev_2.6.3-1build1_ppc64el.deb 407295662023-Nov-10 21:14
agda_2.6.3-1build1_all.deb 37582023-Nov-10 20:19
elpa-agda2-mode_2.6.3-1build1_all.deb 462502023-Nov-10 20:19
libghc-agda-doc_2.6.3-1build1_all.deb 62888762023-Nov-10 20:19
agda_2.6.3-1build1.debian.tar.xz 116282023-Nov-08 09:36
agda_2.6.3-1build1.dsc 49392023-Nov-08 09:36
agda_2.6.3.orig.tar.gz 17942692023-Oct-26 15:43
agda-bin_2.6.2.2-1.1build1_riscv64.deb 135013822022-Dec-13 14:59
libghc-agda-dev_2.6.2.2-1.1build1_riscv64.deb 625117862022-Dec-13 14:59
libghc-agda-dev_2.6.2.2-1.1build1_s390x.deb 473114662022-Dec-12 12:46
agda-bin_2.6.2.2-1.1build1_s390x.deb 249798742022-Dec-12 12:46
libghc-agda-dev_2.6.2.2-1.1build1_ppc64el.deb 432041422022-Dec-12 10:59
agda-bin_2.6.2.2-1.1build1_ppc64el.deb 123902462022-Dec-12 10:59
agda_2.6.2.2-1.1build1_all.deb 37162022-Dec-12 10:59
elpa-agda2-mode_2.6.2.2-1.1build1_all.deb 453782022-Dec-12 10:59
libghc-agda-doc_2.6.2.2-1.1build1_all.deb 59916842022-Dec-12 10:59
agda_2.6.2.2-1.1build1.debian.tar.xz 105362022-Dec-12 10:29
agda_2.6.2.2-1.1build1.dsc 44502022-Dec-12 10:29
agda_2.6.2.2.orig.tar.gz 16906352022-Aug-06 23:19
libghc-agda-dev_2.6.1-1build2.1_riscv64.deb 944115642021-Sep-17 21:33
agda-bin_2.6.1-1build2.1_riscv64.deb 157678522021-Sep-17 21:33
libghc-agda-dev_2.6.1-1build2.1_s390x.deb 686999502021-Sep-16 08:58
agda-bin_2.6.1-1build2.1_s390x.deb 297911242021-Sep-16 08:58
libghc-agda-dev_2.6.1-1build2.1_ppc64el.deb 656534742021-Sep-16 08:43
agda-bin_2.6.1-1build2.1_ppc64el.deb 143798382021-Sep-16 08:43
elpa-agda2-mode_2.6.1-1build2.1_all.deb 461742021-Sep-16 08:28
libghc-agda-doc_2.6.1-1build2.1_all.deb 54033122021-Sep-16 08:28
agda_2.6.1-1build2.1_all.deb 41342021-Sep-16 08:28
agda_2.6.1-1build2.1.debian.tar.xz 102322021-Sep-16 07:39
agda_2.6.1-1build2.1.dsc 42932021-Sep-16 07:39
agda_2.6.1.orig.tar.gz 26462892020-Jul-29 23:19
agda-bin_2.6.0.1-1build4_riscv64.deb 181431482020-Apr-10 17:03
libghc-agda-dev_2.6.0.1-1build4_riscv64.deb 439816162020-Apr-10 17:03
agda-bin_2.6.0.1-1build4_arm64.deb 77909962020-Feb-08 14:53
libghc-agda-dev_2.6.0.1-1build4_arm64.deb 232102122020-Feb-08 14:53
agda-mode_2.6.0.1-1build4_all.deb 36442020-Feb-08 13:19
elpa-agda2-mode_2.6.0.1-1build4_all.deb 411802020-Feb-08 13:19
agda_2.6.0.1-1build4_all.deb 40562020-Feb-08 13:19
libghc-agda-doc_2.6.0.1-1build4_all.deb 42069402020-Feb-08 13:19
agda-bin_2.6.0.1-1build4_s390x.deb 154713002020-Feb-08 13:07
libghc-agda-dev_2.6.0.1-1build4_s390x.deb 298992922020-Feb-08 13:07
agda-bin_2.6.0.1-1build4_ppc64el.deb 91436482020-Feb-08 12:35
libghc-agda-dev_2.6.0.1-1build4_ppc64el.deb 288344322020-Feb-08 12:35
agda_2.6.0.1-1build4.debian.tar.xz 102202020-Feb-08 11:38
agda_2.6.0.1-1build4.dsc 42932020-Feb-08 11:38
agda_2.6.0.1.orig.tar.gz 23721062019-Sep-01 12:43
agda-bin_2.5.3-3build1_armhf.deb 73303842017-Nov-25 22:59
libghc-agda-dev_2.5.3-3build1_armhf.deb 195643482017-Nov-25 22:59
agda-bin_2.5.3-3build1_arm64.deb 90947602017-Nov-25 22:59
libghc-agda-dev_2.5.3-3build1_arm64.deb 238529362017-Nov-25 22:59
agda-bin_2.5.3-3build1_s390x.deb 132900002017-Nov-25 20:10
libghc-agda-dev_2.5.3-3build1_s390x.deb 246764802017-Nov-25 20:10
agda-bin_2.5.3-3build1_ppc64el.deb 67244162017-Nov-25 20:10
libghc-agda-dev_2.5.3-3build1_ppc64el.deb 212774882017-Nov-25 20:10
agda_2.5.3-3build1_all.deb 30522017-Nov-25 20:09
elpa-agda2-mode_2.5.3-3build1_all.deb 408522017-Nov-25 20:09
agda-mode_2.5.3-3build1_all.deb 35842017-Nov-25 20:09
libghc-agda-doc_2.5.3-3build1_all.deb 27521842017-Nov-25 20:09
agda_2.5.3-3build1.dsc 45722017-Nov-25 19:15
agda_2.5.3-3build1.debian.tar.xz 98002017-Nov-25 19:15
agda_2.5.3.orig.tar.gz 12013442017-Nov-01 13:05
agda-bin_2.4.2.5-1build1_armhf.deb 63057502017-Jun-21 18:09
libghc-agda-dev_2.4.2.5-1build1_armhf.deb 138157242017-Jun-21 18:09
agda-bin_2.4.2.5-1build1_arm64.deb 79580982016-Jan-13 00:25
libghc-agda-dev_2.4.2.5-1build1_arm64.deb 166295722016-Jan-13 00:25
agda-bin_2.4.2.5-1build1_ppc64el.deb 67361962016-Jan-12 23:15
libghc-agda-dev_2.4.2.5-1build1_ppc64el.deb 167207142016-Jan-12 23:15
agda-bin_2.4.2.5-1build1_s390x.deb 117295942016-Jan-12 22:59
libghc-agda-dev_2.4.2.5-1build1_s390x.deb 171602942016-Jan-12 22:59
agda-bin_2.4.2.5-1build1_powerpc.deb 42959942016-Jan-12 22:59
libghc-agda-dev_2.4.2.5-1build1_powerpc.deb 105813742016-Jan-12 22:59
agda_2.4.2.5-1build1_all.deb 29662016-Jan-12 22:59
libghc-agda-doc_2.4.2.5-1build1_all.deb 21844222016-Jan-12 22:59
agda-mode_2.4.2.5-1build1_all.deb 372722016-Jan-12 22:59
agda_2.4.2.5-1build1.debian.tar.xz 78482016-Jan-12 22:30
agda_2.4.2.5-1build1.dsc 38262016-Jan-12 22:30
agda_2.4.2.5.orig.tar.gz 10314272016-Jan-04 23:25
agda-bin_2.3.2.2-1_powerpc.deb 53488982013-Nov-06 17:29
libghc-agda-dev_2.3.2.2-1_powerpc.deb 155470402013-Nov-06 17:29
agda_2.3.2.2-1_all.deb 29962013-Nov-06 17:28
libghc-agda-doc_2.3.2.2-1_all.deb 21863062013-Nov-06 17:28
agda-mode_2.3.2.2-1_all.deb 480802013-Nov-06 17:28
agda_2.3.2.2-1.debian.tar.gz 74062013-Nov-06 17:28
agda_2.3.2.2-1.dsc 32832013-Nov-06 17:28
agda_2.3.2.2.orig.tar.gz 20349342013-Nov-06 17:28

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

OpenSource / FreeSoft Mirrors Supported by Silicon Cloud
Million Thanks to following software suppliers:

The HTML/CSS is tailored from:
Mirror-Web
Mirrors-Index
The HTML/CSS of this website can download from:
HTML Code
The sync tool can download from:
TunaSync

Contact Us

cube envelope hashtag github