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
File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
maude_3.4-1.dsc | 1387 | 2024-May-03 01:51 |
maude_2.6-4.dsc | 1399 | 2013-Oct-24 11:13 |
maude_2.7-2.dsc | 2007 | 2016-Apr-26 23:19 |
maude_3.2-2.dsc | 2018 | 2022-Jul-13 09:29 |
maude_3.1-2.dsc | 2022 | 2020-Dec-15 23:30 |
maude_2.7-1.dsc | 2038 | 2015-Dec-17 11:14 |
maude_2.7-2build2.dsc | 2070 | 2020-Mar-22 17:10 |
maude_3.2-2build1.dsc | 2125 | 2024-Apr-08 15:19 |
maude_2.6-4.debian.tar.gz | 5144 | 2013-Oct-24 11:13 |
maude_2.7-1.debian.tar.xz | 6428 | 2015-Dec-17 11:14 |
maude_3.4-1.debian.tar.xz | 6544 | 2024-May-03 01:51 |
maude_2.7-2.debian.tar.xz | 6736 | 2016-Apr-26 23:19 |
maude_3.1-2.debian.tar.xz | 6792 | 2020-Dec-15 23:30 |
maude_2.7-2build2.debian.tar.xz | 6840 | 2020-Mar-22 17:10 |
maude_3.2-2.debian.tar.xz | 7276 | 2022-Jul-13 09:29 |
maude_3.2-2build1.debian.tar.xz | 7384 | 2024-Apr-08 15:19 |
maude_2.7-2_armhf.deb | 626120 | 2016-Apr-27 10:27 |
maude_2.7-1_armhf.deb | 626628 | 2015-Dec-17 11:44 |
maude_2.7-1_powerpc.deb | 688784 | 2015-Dec-17 11:44 |
maude_2.7-2_arm64.deb | 690708 | 2016-Apr-27 03:35 |
maude_2.7-1_arm64.deb | 692878 | 2015-Dec-17 13:54 |
maude_2.7-2build2_armhf.deb | 695100 | 2020-Mar-22 20:56 |
maude_2.7-2build2_arm64.deb | 738372 | 2020-Mar-22 21:09 |
maude_2.6-4_armhf.deb | 745444 | 2013-Oct-24 11:33 |
maude_2.7-1_s390x.deb | 745910 | 2015-Dec-17 11:45 |
maude_2.7-2build2_s390x.deb | 749092 | 2020-Mar-22 20:31 |
maude_2.7-2_s390x.deb | 749856 | 2016-Apr-27 01:58 |
maude_2.7-2build2_riscv64.deb | 785392 | 2020-Apr-03 12:09 |
maude_2.7-1_ppc64el.deb | 825222 | 2015-Dec-17 11:45 |
maude_3.1-2_armhf.deb | 853228 | 2020-Dec-15 23:50 |
maude_2.7-2_ppc64el.deb | 872180 | 2016-Apr-27 09:11 |
maude_2.7-2build2_ppc64el.deb | 905028 | 2020-Mar-22 21:18 |
maude_3.1-2_arm64.deb | 911032 | 2020-Dec-15 23:49 |
maude_2.6-4_arm64.deb | 911932 | 2013-Oct-27 17:18 |
maude_3.1-2_riscv64.deb | 974428 | 2020-Dec-16 02:04 |
maude_2.6-4_powerpc.deb | 976816 | 2013-Oct-25 06:25 |
maude_3.2-2_s390x.deb | 990110 | 2022-Jul-13 12:19 |
maude_3.2-2_armhf.deb | 997168 | 2022-Jul-13 09:29 |
maude_3.2-2_arm64.deb | 1005172 | 2022-Jul-13 09:29 |
maude_3.2-2build1_arm64.deb | 1028642 | 2024-Apr-08 19:24 |
maude_3.1-2_s390x.deb | 1081684 | 2020-Dec-15 23:30 |
maude_3.2-2_riscv64.deb | 1115328 | 2022-Jul-13 13:50 |
maude_3.4-1_arm64.deb | 1125966 | 2024-May-03 12:40 |
maude_3.1-2_ppc64el.deb | 1129000 | 2020-Dec-15 23:30 |
maude_3.2-2build1_s390x.deb | 1211950 | 2024-Apr-09 01:38 |
maude_3.2-2build1_riscv64.deb | 1224598 | 2024-Apr-09 00:03 |
maude_3.2-2_ppc64el.deb | 1234538 | 2022-Jul-13 09:29 |
maude_3.2-2build1_ppc64el.deb | 1269174 | 2024-Apr-08 20:09 |
maude_3.4-1_s390x.deb | 1276404 | 2024-May-03 06:30 |
maude_3.4-1_riscv64.deb | 1323800 | 2024-May-06 17:11 |
maude_3.4-1_ppc64el.deb | 1345904 | 2024-May-03 05:22 |
maude_2.6.orig.tar.gz | 1600026 | 2011-May-04 14:07 |
maude_2.7.orig.tar.gz | 1663708 | 2015-Dec-17 11:14 |
maude_3.1.orig.tar.gz | 2335693 | 2020-Oct-31 23:18 |
maude_3.2.orig.tar.gz | 2405779 | 2022-Feb-20 05:49 |
maude_3.4.orig.tar.gz | 2660916 | 2024-May-03 01:51 |