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-stdlib/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
agda-stdlib_0.7-2.dsc 20772013-May-27 23:33
agda-stdlib_0.14-1.dsc 21002017-Nov-26 17:08
agda-stdlib_0.11-1.dsc 21052016-Jan-04 23:25
agda-stdlib_1.3-2.dsc 21132020-Aug-02 05:13
agda-stdlib_1.1-1.dsc 21172019-Sep-06 15:48
agda-stdlib_1.7.1-1.dsc 21572022-Aug-06 23:19
agda-stdlib_1.7.3-1.dsc 21572023-Nov-04 18:15
agda-stdlib_2.1-3.dsc 22242024-Oct-31 17:16
agda-stdlib_0.7-2.debian.tar.gz 44552013-May-27 23:33
agda-stdlib_0.11-1.debian.tar.xz 46002016-Jan-04 23:25
agda-stdlib_0.14-1.debian.tar.xz 51882017-Nov-26 17:08
agda-stdlib_1.1-1.debian.tar.xz 55282019-Sep-06 15:48
agda-stdlib_1.3-2.debian.tar.xz 56402020-Aug-02 05:13
agda-stdlib_1.7.1-1.debian.tar.xz 56642022-Aug-06 23:19
agda-stdlib_1.7.3-1.debian.tar.xz 57322023-Nov-04 18:15
agda-stdlib_2.1-3.debian.tar.xz 60202024-Oct-31 17:16
agda-stdlib_0.7.orig.tar.gz 2264002013-Apr-10 18:03
agda-stdlib_0.11.orig.tar.gz 2532512016-Jan-04 23:25
agda-stdlib_0.14.orig.tar.gz 2853792017-Nov-26 11:14
agda-stdlib_1.1.orig.tar.gz 5701062019-Sep-04 13:38
agda-stdlib_1.3.orig.tar.gz 7514122020-Aug-01 23:33
agda-stdlib_1.7.1.orig.tar.gz 9401312022-Aug-06 23:19
agda-stdlib_1.7.3.orig.tar.gz 9420862023-Nov-04 18:15
agda-stdlib-doc_0.14-1_all.deb 10690082017-Nov-26 18:04
agda-stdlib_2.1.orig.tar.gz 12116222024-Oct-31 17:16
agda-stdlib-doc_0.11-1_all.deb 12650622016-Jan-05 01:20
agda-stdlib-doc_0.7-2_all.deb 17483822013-May-27 23:33
agda-stdlib-doc_1.1-1_all.deb 19062882019-Sep-06 15:48
agda-stdlib-doc_1.3-2_all.deb 24475242020-Aug-02 05:43
agda-stdlib-doc_1.7.1-1_all.deb 29801022022-Aug-26 19:09
agda-stdlib-doc_1.7.3-1_all.deb 29810762023-Nov-10 23:50
agda-stdlib-doc_2.1-3_all.deb 35973742024-Oct-31 19:19
agda-stdlib_0.11-1_all.deb 175024622016-Jan-05 01:20
agda-stdlib_0.7-2_all.deb 181428682013-May-27 23:33
agda-stdlib_0.14-1_all.deb 181595162017-Nov-26 18:04
agda-stdlib_1.1-1_all.deb 473882802019-Sep-06 15:48
agda-stdlib_1.3-2_all.deb 732245282020-Aug-02 05:43
agda-stdlib_1.7.1-1_all.deb 1027203922022-Aug-26 19:09
agda-stdlib_1.7.3-1_all.deb 1205410942023-Nov-10 23:50
agda-stdlib_2.1-3_all.deb 1429284302024-Oct-31 19:19

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