../ 4ti2/ 19-Dec-2025 10:33 - abc/ 13-Mar-2023 23:04 - acl2/ 02-Jul-2025 01:33 - alectryon/ 18-Apr-2026 15:33 - 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/ 16-Apr-2026 06:02 - calc/ 13-Apr-2026 11:33 - cgal/ 29-May-2026 07:03 - clipper2/ 24-Sep-2025 02:33 - cliquer/ 09-Aug-2025 19:33 - coq/ 31-Mar-2026 20:33 - coq-mathcomp/ 17-Mar-2025 00:33 - coq-serapi/ 19-Nov-2024 20:33 - coq-stdlib/ 17-Feb-2026 23:02 - cryptominisat/ 05-May-2026 23:33 - cubicle/ 08-Oct-2025 19:03 - cudd/ 03-May-2026 23:33 - cvc4/ 11-May-2026 08:32 - dataplot/ 19-Dec-2025 10:33 - dsfmt/ 19-Dec-2025 10:33 - dunshire/ 12-May-2026 14:33 - easycrypt/ 02-May-2026 23:33 - 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/ 27-Apr-2026 15: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/ 27-May-2026 03:33 - gappa/ 15-Jan-2024 22:02 - gappalib-coq/ 10-Apr-2023 23:04 - genius/ 02-May-2026 17:33 - 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/ 11-May-2026 16:02 - glpk/ 21-Apr-2026 13:03 - 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/ 20-May-2026 20:03 - jags/ 19-Dec-2025 10:33 - kind2/ 03-Jun-2023 23:12 - kissat/ 15-Apr-2026 19:33 - lcalc/ 02-Mar-2026 00:34 - lean/ 18-Apr-2026 02:02 - libpoly/ 31-Jul-2024 10:33 - lpsolve/ 29-May-2026 18:03 - lrcalc/ 17-Dec-2025 16:04 - manifold/ 16-Jan-2026 15:33 - mathematica/ 11-May-2026 12:33 - mathmod/ 15-Dec-2025 17:03 - mathomatic/ 19-Dec-2025 10:33 - maxima/ 04-May-2026 06:02 - 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/ 26-May-2026 22:33 - 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/ 27-May-2026 03:33 - 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/ 10-May-2026 00: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/ 03-May-2026 15: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/ 27-May-2026 03:33 - smtinterpol/ 17-Oct-2024 16:03 - spin/ 28-Jun-2024 12:03 - stp/ 05-May-2026 23:33 - 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/ 15-Apr-2026 19: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/ 04-May-2026 13:02 - yacas/ 18-May-2026 18:03 - yafu/ 02-Sep-2025 16:03 - yices2/ 22-Nov-2025 02:03 - z3/ 05-Apr-2026 07:33 - Manifest.gz 29-May-2026 17: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.