Sonic Logo

You're awesome. Have a mirror on us.

We love Linux, privacy, fast and affordable internet access, and working to fulfill our mission of internet freedom for all.
[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.9.0-1_amd64.deb2019-02-24 20:07 28M 
[ ]coq-theories_8.9.0-1_arm64.deb2019-02-24 20:07 19M 
[ ]coq-theories_8.12.0-3+b3_amd64.deb2020-11-29 18:43 35M 
[ ]coq-theories_8.12.0-3+b3_arm64.deb2020-11-29 18:43 23M 
[ ]coq_8.9.0-1.debian.tar.xz2019-02-24 19:58 27K 
[TXT]coq_8.9.0-1.dsc2019-02-24 19:58 2.4K 
[ ]coq_8.9.0-1_amd64.deb2019-02-24 20:07 56M 
[ ]coq_8.9.0-1_arm64.deb2019-02-24 20:07 60M 
[ ]coq_8.9.0.orig.tar.gz2019-02-24 19:58 5.1M 
[ ]coq_8.12.0-3+b3_amd64.deb2020-11-29 18:43 86M 
[ ]coq_8.12.0-3+b3_arm64.deb2020-11-29 18:43 92M 
[ ]coq_8.12.0-3.debian.tar.xz2020-09-29 13:43 37K 
[TXT]coq_8.12.0-3.dsc2020-09-29 13:43 2.4K 
[ ]coq_8.12.0.orig.tar.gz2020-09-29 13:43 5.7M 
[ ]coqide_8.12.0-3+b3_amd64.deb2020-11-29 18:43 1.8M 
[ ]coqide_8.12.0-3+b3_arm64.deb2020-11-29 18:43 2.1M 
[ ]libcoq-ocaml-dev_8.9.0-1_amd64.deb2019-02-24 20:07 13M 
[ ]libcoq-ocaml-dev_8.9.0-1_arm64.deb2019-02-24 20:07 13M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_amd64.deb2020-11-29 18:43 18M 
[ ]libcoq-ocaml-dev_8.12.0-3+b3_arm64.deb2020-11-29 18:43 18M 
[ ]libcoq-ocaml_8.9.0-1_amd64.deb2019-02-24 20:06 5.2M 
[ ]libcoq-ocaml_8.9.0-1_arm64.deb2019-02-24 20:07 5.5M 
[ ]libcoq-ocaml_8.12.0-3+b3_amd64.deb2020-11-29 18:43 7.4M 
[ ]libcoq-ocaml_8.12.0-3+b3_arm64.deb2020-11-29 18:43 7.6M 
 
ABOUT SONIC
Mission and Vision
SUPPORT
Forums
Speed Test
Message of the Day
CONNECT WITH US
Follow Sonic on Twitter Connect with Sonic on Facebook Visit Sonic LinkedIn Follow Sonic on Instagram