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/aac-tactics/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
libcoq-aac-tactics_8.20.0-1_s390x.deb 4365542024-Nov-20 21:31
libcoq-aac-tactics_8.20.0-1_riscv64.deb 4384422024-Nov-20 23:31
libcoq-aac-tactics_8.20.0-1_ppc64el.deb 4348342024-Nov-20 21:31
libcoq-aac-tactics_8.20.0-1_arm64.deb 4459202024-Nov-20 21:31
libcoq-aac-tactics_8.19.1-2build3_s390x.deb 4468022024-Sep-07 15:44
libcoq-aac-tactics_8.19.1-2build3_riscv64.deb 4476562024-Sep-07 16:34
libcoq-aac-tactics_8.19.1-2build3_ppc64el.deb 4438882024-Sep-07 15:44
libcoq-aac-tactics_8.19.1-2build3_arm64.deb 4556982024-Sep-07 15:44
libcoq-aac-tactics_8.18.0-1build3_s390x.deb 4270742024-Apr-08 07:57
libcoq-aac-tactics_8.18.0-1build3_riscv64.deb 4276882024-Apr-08 07:57
libcoq-aac-tactics_8.18.0-1build3_ppc64el.deb 4279862024-Apr-08 07:57
libcoq-aac-tactics_8.18.0-1build3_armhf.deb 4212802024-Apr-08 07:57
libcoq-aac-tactics_8.18.0-1build3_arm64.deb 4390742024-Apr-08 07:57
libcoq-aac-tactics_8.17.0-1build2_s390x.deb 4318882023-Feb-16 12:58
libcoq-aac-tactics_8.17.0-1build2_riscv64.deb 4261162023-Feb-16 16:34
libcoq-aac-tactics_8.17.0-1build2_ppc64el.deb 4323842023-Feb-16 12:58
libcoq-aac-tactics_8.17.0-1build2_armhf.deb 4259282023-Feb-16 12:58
libcoq-aac-tactics_8.17.0-1build2_arm64.deb 4432382023-Feb-16 12:57
libaac-tactics-ocaml_8.6.1-2_s390x.deb 1231282017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_ppc64el.deb 1274722017-Nov-01 13:05
libaac-tactics-ocaml_8.6.1-2_armhf.deb 1171242017-Nov-01 14:20
libaac-tactics-ocaml_8.6.1-2_arm64.deb 1366042017-Nov-01 13:05
libaac-tactics-ocaml_8.15.0-1_s390x.deb 1355182022-Feb-06 19:05
libaac-tactics-ocaml_8.15.0-1_riscv64.deb 1324822022-Feb-06 19:05
libaac-tactics-ocaml_8.15.0-1_ppc64el.deb 1375482022-Feb-06 19:05
libaac-tactics-ocaml_8.15.0-1_armhf.deb 1312702022-Feb-06 19:05
libaac-tactics-ocaml_8.15.0-1_arm64.deb 1501402022-Feb-06 19:05
libaac-tactics-ocaml_8.11.0-1_ppc64el.deb 1133682020-Mar-18 19:48
libaac-tactics-ocaml_8.11.0-1_arm64.deb 1207162020-Mar-18 19:48
libaac-tactics-ocaml_0.4-5build2_s390x.deb 282822016-Jan-05 17:05
libaac-tactics-ocaml_0.4-5build2_ppc64el.deb 283142015-Nov-05 03:49
libaac-tactics-ocaml_0.4-5build2_powerpc.deb 1084722015-Nov-05 00:34
libaac-tactics-ocaml_0.4-5build2_armhf.deb 1182422015-Nov-05 00:34
libaac-tactics-ocaml_0.4-5build2_arm64.deb 1135102015-Nov-05 00:34
libaac-tactics-ocaml_0.4-2_ppc64el.deb 273602014-Feb-17 22:44
libaac-tactics-ocaml_0.4-2_powerpc.deb 1141122014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_armhf.deb 1243302014-Jan-20 11:33
libaac-tactics-ocaml_0.4-2_arm64.deb 272482014-Jan-20 11:33
libaac-tactics-ocaml-dev_8.6.1-2_s390x.deb 376842017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_ppc64el.deb 376882017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.6.1-2_armhf.deb 376882017-Nov-01 14:20
libaac-tactics-ocaml-dev_8.6.1-2_arm64.deb 376842017-Nov-01 13:05
libaac-tactics-ocaml-dev_8.15.0-1_s390x.deb 407782022-Feb-06 19:05
libaac-tactics-ocaml-dev_8.15.0-1_riscv64.deb 407782022-Feb-06 19:05
libaac-tactics-ocaml-dev_8.15.0-1_ppc64el.deb 407802022-Feb-06 19:05
libaac-tactics-ocaml-dev_8.15.0-1_armhf.deb 407782022-Feb-06 19:05
libaac-tactics-ocaml-dev_8.15.0-1_arm64.deb 407782022-Feb-06 19:05
libaac-tactics-ocaml-dev_8.11.0-1_ppc64el.deb 386242020-Mar-18 19:48
libaac-tactics-ocaml-dev_8.11.0-1_arm64.deb 386242020-Mar-18 19:48
libaac-tactics-ocaml-dev_0.4-5build2_s390x.deb 437962016-Jan-05 17:05
libaac-tactics-ocaml-dev_0.4-5build2_ppc64el.deb 439662015-Nov-05 03:49
libaac-tactics-ocaml-dev_0.4-5build2_powerpc.deb 441602015-Nov-05 00:34
libaac-tactics-ocaml-dev_0.4-5build2_armhf.deb 436742015-Nov-05 00:34
libaac-tactics-ocaml-dev_0.4-5build2_arm64.deb 438202015-Nov-05 00:34
libaac-tactics-ocaml-dev_0.4-2_ppc64el.deb 442382014-Feb-17 22:44
libaac-tactics-ocaml-dev_0.4-2_powerpc.deb 435542014-Jan-20 11:33
libaac-tactics-ocaml-dev_0.4-2_armhf.deb 442182014-Jan-20 11:33
libaac-tactics-ocaml-dev_0.4-2_arm64.deb 441222014-Jan-20 11:33
libaac-tactics-coq_8.6.1-2_all.deb 2207962017-Nov-01 13:05
libaac-tactics-coq_8.15.0-1_all.deb 2890982022-Feb-06 19:04
libaac-tactics-coq_8.11.0-1_all.deb 2434562020-Mar-18 19:48
libaac-tactics-coq_0.4-5build2_all.deb 2127122015-Nov-05 00:33
libaac-tactics-coq_0.4-2_all.deb 2125282014-Jan-20 11:33
aac-tactics_8.6.1.orig.tar.gz 750732016-Dec-30 17:13
aac-tactics_8.6.1-2.dsc 22382017-Nov-01 13:05
aac-tactics_8.6.1-2.debian.tar.xz 32482017-Nov-01 13:05
aac-tactics_8.20.0.orig.tar.gz 776682024-Nov-20 18:47
aac-tactics_8.20.0-1.dsc 21042024-Nov-20 18:47
aac-tactics_8.20.0-1.debian.tar.xz 38082024-Nov-20 18:47
aac-tactics_8.19.1.orig.tar.gz 769862024-Jun-11 17:54
aac-tactics_8.19.1-2build3.dsc 21032024-Sep-07 15:43
aac-tactics_8.19.1-2build3.debian.tar.xz 39202024-Sep-07 15:43
aac-tactics_8.18.0.orig.tar.gz 756072023-Dec-21 23:52
aac-tactics_8.18.0-1build3.dsc 21822024-Apr-08 07:57
aac-tactics_8.18.0-1build3.debian.tar.xz 39042024-Apr-08 07:57
aac-tactics_8.17.0.orig.tar.gz 756772023-Jan-04 23:34
aac-tactics_8.17.0-1build2.dsc 21072023-Feb-16 10:06
aac-tactics_8.17.0-1build2.debian.tar.xz 36242023-Feb-16 10:06
aac-tactics_8.15.0.orig.tar.gz 681032022-Feb-06 17:19
aac-tactics_8.15.0-1.dsc 22092022-Feb-06 17:19
aac-tactics_8.15.0-1.debian.tar.xz 36002022-Feb-06 17:19
aac-tactics_8.11.0.orig.tar.gz 653632020-Mar-18 18:28
aac-tactics_8.11.0-1.dsc 21782020-Mar-18 18:28
aac-tactics_8.11.0-1.debian.tar.xz 35202020-Mar-18 18:28
aac-tactics_0.4.orig.tar.gz 773362013-Dec-06 17:23
aac-tactics_0.4-5build2.dsc 19142015-Nov-05 00:30
aac-tactics_0.4-5build2.debian.tar.xz 30762015-Nov-05 00:30
aac-tactics_0.4-2.dsc 21912014-Jan-20 11:09
aac-tactics_0.4-2.debian.tar.xz 28842014-Jan-20 11:09

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