../ 4ti2/ 19-Dec-2025 10:33 - abc/ 13-Mar-2023 23:04 - acl2/ 02-Jul-2025 01:33 - alectryon/ 21-Dec-2025 19:03 - alt-ergo/ 25-Sep-2025 06:33 - arb/ 19-Dec-2025 10:33 - bertini/ 22-Feb-2026 16:33 - btor2tools/ 20-Mar-2025 23:03 - cadabra/ 16-Feb-2026 20:03 - cadical/ 08-Aug-2025 22:03 - calc/ 19-Dec-2025 10:33 - cgal/ 19-Dec-2025 10:33 - clipper2/ 24-Sep-2025 02:33 - cliquer/ 09-Aug-2025 19:33 - coq/ 17-Feb-2026 23:02 - coq-mathcomp/ 17-Mar-2025 00:33 - coq-serapi/ 19-Nov-2024 20:33 - coq-stdlib/ 17-Feb-2026 23:02 - cryptominisat/ 04-Nov-2025 10:03 - cubicle/ 08-Oct-2025 19:03 - cudd/ 18-Dec-2022 23:04 - cvc4/ 10-Nov-2025 09:33 - dataplot/ 19-Dec-2025 10:33 - dsfmt/ 19-Dec-2025 10:33 - dunshire/ 30-Mar-2025 02:33 - easycrypt/ 17-Nov-2025 09:34 - eclib/ 20-Jan-2026 14:03 - ent/ 19-Dec-2025 10:33 - eprover/ 22-Nov-2025 02:03 - euler/ 19-Dec-2025 10:33 - fann/ 20-May-2025 20:03 - flint/ 05-Mar-2026 11:03 - flocq/ 24-Mar-2025 01:03 - form/ 07-Mar-2026 17:33 - fricas/ 06-Mar-2026 13:03 - frobby/ 09-Jun-2023 23:03 - functions-matlab-colormaps/ 20-Jun-2025 17:32 - gap/ 04-Nov-2025 10:34 - gappa/ 15-Jan-2024 22:02 - gappalib-coq/ 10-Apr-2023 23:04 - genius/ 15-Jan-2024 17:03 - geogebra-bin/ 31-Oct-2025 05:33 - geomview/ 04-Nov-2025 10:34 - gfan/ 17-Jan-2026 18:03 - giac/ 29-May-2025 03:32 - gimps/ 31-Aug-2024 05:33 - ginac/ 21-Feb-2026 12:02 - glpk/ 17-Feb-2026 14:33 - gmm/ 19-Dec-2025 10:33 - gmp-ecm/ 17-Dec-2025 16:04 - gp2c/ 08-Aug-2025 13:32 - gretl/ 19-Dec-2025 10:33 - gsl-shell/ 26-Aug-2024 00:33 - highs/ 13-Feb-2026 14:33 - jags/ 19-Dec-2025 10:33 - kind2/ 03-Jun-2023 23:12 - kissat/ 01-Aug-2025 18:03 - lcalc/ 02-Mar-2026 00:34 - lean/ 14-Oct-2025 21:03 - libpoly/ 31-Jul-2024 10:33 - lpsolve/ 19-Dec-2025 10:33 - lrcalc/ 17-Dec-2025 16:04 - manifold/ 16-Jan-2026 15:33 - mathematica/ 21-Feb-2026 18:33 - mathmod/ 15-Dec-2025 17:03 - mathomatic/ 19-Dec-2025 10:33 - maxima/ 07-Mar-2026 20:05 - metamath/ 25-Jan-2022 23:04 - metamath-databases/ 05-Mar-2023 23:04 - minisat/ 04-Nov-2025 10:03 - msieve/ 04-Nov-2025 10:34 - nauty/ 04-Nov-2025 10:34 - nestedsums/ 12-Jan-2024 15:33 - normaliz/ 19-Dec-2025 10:33 - num-utils/ 09-Jun-2023 23:03 - octave/ 09-Mar-2026 03:02 - octave-epstk/ 22-Nov-2021 23:05 - opensmt/ 22-Nov-2025 02:03 - otter/ 19-Dec-2025 10:33 - palp/ 20-Aug-2024 15:03 - pari/ 02-Jan-2026 21:03 - pari-data/ 19-Dec-2025 10:33 - petsc/ 08-Mar-2026 05:32 - picosat/ 28-Jan-2023 23:11 - planarity/ 22-Jun-2025 20:33 - plfit/ 20-Jan-2026 14:03 - polymake/ 19-Dec-2025 10:33 - primecount/ 26-Dec-2025 14:03 - primesieve/ 10-May-2025 16:04 - prng/ 19-Dec-2025 10:33 - prover9/ 23-Feb-2025 23:03 - proverif/ 23-May-2024 23:03 - psmt2-frontend/ 15-Feb-2025 15:03 - pspp/ 19-Dec-2025 10:33 - rkward/ 19-Dec-2025 10:33 - rngstreams/ 19-Dec-2025 10:33 - rw/ 19-Dec-2025 10:33 - sha1-polyml/ 14-Feb-2024 11:03 - singular/ 19-Dec-2025 10:33 - slepc/ 08-Mar-2026 06:03 - smtinterpol/ 17-Oct-2024 16:03 - spin/ 28-Jun-2024 12:03 - stp/ 04-Nov-2025 10:03 - sympow/ 22-Dec-2024 20:33 - topcom/ 15-May-2024 23:34 - twelf/ 23-Apr-2025 20:03 - unuran/ 19-Dec-2025 10:33 - vampire/ 17-Jan-2026 18:33 - verifpal/ 13-Aug-2023 23:04 - verit/ 10-Mar-2022 23:05 - why3/ 08-Oct-2025 19:03 - why3-for-spark/ 20-Feb-2026 13:32 - wxmaxima/ 31-Jan-2026 13:33 - yacas/ 23-Jan-2025 00:03 - yafu/ 02-Sep-2025 16:03 - yices2/ 22-Nov-2025 02:03 - z3/ 20-Feb-2026 15:03 - Manifest.gz 09-Mar-2026 02:38 19K metadata.xml 11-Sep-2021 13:40 1326
Need a high-speed mirror for your open-source project?
Contact our mirror admin team at info@clientvps.com.
This archive is provided as a free public service to the community.
Proudly supported by infrastructure from VPSPulse , RxServers , BuyNumber , UnitVPS , OffshoreName and secure payment technology by ArionPay.