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/pool/universe/p/proofgeneral/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
proofgeneral_4.3~pre130510.orig.tar.gz 10476552013-May-18 17:33
proofgeneral_4.3~pre130510-1.1.debian.tar.xz 191082014-Feb-28 12:38
proofgeneral_4.3~pre130510-1.1.dsc 20162014-Feb-28 12:38
proofgeneral-doc_4.3~pre130510-1.1_all.deb 6577402014-Feb-28 12:38
proofgeneral_4.3~pre130510-1.1_all.deb 3615562014-Feb-28 12:38
proofgeneral_4.3~pre131011.orig.tar.xz 115925242014-Oct-25 12:32
proofgeneral_4.3~pre131011-0.2.debian.tar.xz 194122014-Nov-16 23:33
proofgeneral_4.3~pre131011-0.2.dsc 19752014-Nov-16 23:33
proofgeneral-doc_4.3~pre131011-0.2_all.deb 6808562014-Nov-16 23:34
proofgeneral_4.3~pre131011-0.2_all.deb 3642742014-Nov-16 23:34
proofgeneral_4.4.1~pre170114-1.debian.tar.xz 197362017-Jan-17 05:13
proofgeneral_4.4.1~pre170114-1.dsc 19892017-Jan-17 05:13
proofgeneral_4.4.1~pre170114.orig.tar.xz 92997522017-Jan-17 05:13
proofgeneral-doc_4.4.1~pre170114-1_all.deb 6715182017-Jan-17 05:23
proofgeneral_4.4.1~pre170114-1_all.deb 5426042017-Jan-17 05:23
proofgeneral_4.4.1~pre170114-1.2.dsc 19832019-Dec-19 17:58
proofgeneral_4.4.1~pre170114-1.2.debian.tar.xz 199082019-Dec-19 17:58
proofgeneral-doc_4.4.1~pre170114-1.2_all.deb 6711362019-Dec-19 18:28
proofgeneral_4.4.1~pre170114-1.2_all.deb 5424082019-Dec-19 18:28
proofgeneral_4.5-1.debian.tar.xz 171882023-Aug-17 17:16
proofgeneral_4.5-1.dsc 20002023-Aug-17 17:16
proofgeneral_4.5.orig.tar.gz 11985352023-Aug-17 17:16
proofgeneral-doc_4.5-1_all.deb 6831982023-Aug-17 17:49
proofgeneral_4.5-1_all.deb 5903682023-Aug-17 17:49
proofgeneral_4.5-2.debian.tar.xz 173722024-Oct-31 19:06
proofgeneral_4.5-2.dsc 21222024-Oct-31 19:06
proofgeneral-doc_4.5-2_all.deb 6617762024-Nov-01 00:59
proofgeneral_4.5-2_all.deb 5900862024-Nov-01 00:59

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