../ 4ti2/ 19-Dec-2025 10:39 - abc/ 27-Sep-2024 03:47 - acl2/ 02-Jul-2025 01:38 - alectryon/ 18-Apr-2026 15:38 - alt-ergo/ 25-Sep-2025 06:38 - arb/ 19-Dec-2025 10:39 - bertini/ 22-Feb-2026 16:37 - btor2tools/ 20-Mar-2025 23:08 - cadabra/ 03-Jun-2026 07:08 - cadical/ 16-Apr-2026 06:08 - calc/ 13-Apr-2026 11:37 - cgal/ 29-May-2026 07:08 - clipper2/ 24-Sep-2025 02:38 - cliquer/ 09-Aug-2025 19:37 - coq/ 31-Mar-2026 20:38 - coq-mathcomp/ 17-Mar-2025 00:38 - coq-serapi/ 19-Nov-2024 20:38 - coq-stdlib/ 17-Feb-2026 23:08 - cryptominisat/ 05-May-2026 23:37 - cubicle/ 08-Oct-2025 19:08 - cudd/ 03-May-2026 23:38 - cvc4/ 11-May-2026 08:37 - dataplot/ 19-Dec-2025 10:39 - dsfmt/ 15-Jun-2026 08:38 - dunshire/ 12-May-2026 14:38 - easycrypt/ 14-Jun-2026 01:08 - eclib/ 20-Jan-2026 14:08 - ent/ 19-Dec-2025 10:39 - eprover/ 22-Nov-2025 02:08 - euler/ 19-Dec-2025 10:39 - fann/ 20-May-2025 20:08 - flint/ 02-Jun-2026 06:08 - flocq/ 24-Mar-2025 01:08 - form/ 07-Mar-2026 17:08 - fricas/ 06-Mar-2026 13:08 - frobby/ 10-Jun-2023 03:31 - functions-matlab-colormaps/ 20-Jun-2025 17:37 - gap/ 06-Jun-2026 23:38 - gappa/ 27-Sep-2024 03:47 - gappalib-coq/ 27-Sep-2024 03:47 - genius/ 02-May-2026 17:38 - geogebra-bin/ 31-Oct-2025 05:38 - geomview/ 04-Nov-2025 10:39 - gfan/ 18-Jun-2026 15:39 - giac/ 29-May-2025 03:38 - gimps/ 31-Aug-2024 05:38 - ginac/ 02-Jun-2026 07:08 - glpk/ 15-Jun-2026 19:08 - gmm/ 19-Dec-2025 10:39 - gmp-ecm/ 17-Dec-2025 16:08 - gp2c/ 08-Aug-2025 13:38 - gretl/ 19-Dec-2025 10:39 - gsl-shell/ 26-Aug-2024 00:38 - highs/ 07-Jun-2026 02:08 - jags/ 19-Dec-2025 10:39 - kind2/ 04-Jun-2023 03:31 - kissat/ 15-Apr-2026 19:38 - lcalc/ 02-Mar-2026 00:38 - lean/ 02-Jun-2026 05:38 - libpoly/ 31-Jul-2024 10:38 - lpsolve/ 30-May-2026 10:38 - lrcalc/ 17-Dec-2025 16:08 - manifold/ 06-Jun-2026 16:38 - mathematica/ 11-May-2026 12:38 - mathmod/ 15-Dec-2025 17:08 - mathomatic/ 19-Dec-2025 10:39 - maxima/ 07-Jun-2026 12:40 - metamath/ 27-Sep-2024 03:47 - metamath-databases/ 27-Sep-2024 03:47 - minisat/ 04-Nov-2025 10:09 - msieve/ 04-Nov-2025 10:39 - nauty/ 04-Nov-2025 10:39 - nestedsums/ 12-Jan-2024 15:38 - normaliz/ 19-Dec-2025 10:39 - num-utils/ 10-Jun-2023 03:31 - octave/ 26-May-2026 22:38 - octave-epstk/ 23-Nov-2021 03:31 - opensmt/ 22-Nov-2025 02:08 - otter/ 19-Dec-2025 10:39 - palp/ 20-Aug-2024 15:08 - pari/ 02-Jan-2026 21:08 - pari-data/ 19-Dec-2025 10:39 - petsc/ 07-Jun-2026 12:40 - picosat/ 27-Sep-2024 03:47 - planarity/ 22-Jun-2025 20:38 - plfit/ 20-Jan-2026 14:08 - polymake/ 19-Dec-2025 10:39 - primecount/ 10-May-2026 00:08 - primesieve/ 10-May-2025 16:09 - prng/ 19-Dec-2025 10:39 - prover9/ 23-Feb-2025 23:08 - proverif/ 23-May-2024 23:08 - psmt2-frontend/ 15-Feb-2025 15:08 - pspp/ 19-Dec-2025 10:39 - rkward/ 03-May-2026 15:38 - rngstreams/ 19-Dec-2025 10:39 - rw/ 19-Dec-2025 10:39 - sha1-polyml/ 14-Feb-2024 11:08 - singular/ 22-Jun-2026 04:08 - slepc/ 07-Jun-2026 12:40 - smtinterpol/ 17-Oct-2024 16:08 - spin/ 28-Jun-2024 12:08 - stp/ 15-Jun-2026 08:38 - sympow/ 22-Dec-2024 20:38 - topcom/ 15-May-2024 23:38 - twelf/ 23-Apr-2025 20:08 - unuran/ 19-Dec-2025 10:39 - vampire/ 15-Apr-2026 19:38 - verifpal/ 14-Aug-2023 03:31 - verit/ 27-Sep-2024 03:47 - why3/ 08-Oct-2025 19:08 - why3-for-spark/ 20-Feb-2026 13:37 - wxmaxima/ 04-May-2026 13:08 - yacas/ 16-Jun-2026 21:08 - yafu/ 02-Sep-2025 16:08 - yices2/ 22-Nov-2025 02:08 - z3/ 05-Apr-2026 07:38 - Manifest.gz 22-Jun-2026 03: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.