Index of /pub/gentoo-portage/sci-mathematics

      Name                    Last modified      Size  Description
      Parent Directory                             -   
      z3/                     2024-10-01 13:42    -   
      yices2/                 2024-10-01 13:42    -   
      yafu/                   2024-10-01 13:42    -   
      yacas/                  2024-10-01 13:42    -   
      wxmaxima/               2024-10-01 13:42    -   
      why3/                   2024-10-01 13:42    -   
      why3-for-spark/         2024-10-01 13:42    -   
      verit/                  2024-10-01 13:42    -   
      verifpal/               2024-10-01 13:42    -   
      vampire/                2024-10-01 13:42    -   
      unuran/                 2024-10-01 13:42    -   
      twelf/                  2024-10-01 13:42    -   
      topcom/                 2024-10-01 13:42    -   
      sympow/                 2024-10-01 13:42    -   
      stp/                    2024-10-01 13:42    -   
      spin/                   2024-10-01 13:42    -   
      smtinterpol/            2024-10-01 13:42    -   
      slepc/                  2024-10-01 13:42    -   
      singular/               2024-10-01 13:42    -   
      sha1-polyml/            2024-10-01 13:42    -   
      rw/                     2024-10-01 13:42    -   
      rngstreams/             2024-10-01 13:42    -   
      rkward/                 2024-10-01 13:42    -   
      pspp/                   2024-10-01 13:42    -   
      psmt2-frontend/         2024-10-01 13:42    -   
      proverif/               2024-10-01 13:42    -   
      prover9/                2024-10-01 13:42    -   
      prng/                   2024-10-01 13:42    -   
      primesieve/             2024-10-01 13:42    -   
      primecount/             2024-10-01 13:42    -   
      polymake/               2024-10-01 13:42    -   
      plfit/                  2024-10-01 13:42    -   
      planarity/              2024-10-01 13:42    -   
      picosat/                2024-10-01 13:42    -   
      petsc/                  2024-10-01 13:42    -   
      pari/                   2024-10-01 13:42    -   
      pari-data/              2024-10-01 13:42    -   
      palp/                   2024-10-01 13:42    -   
      otter/                  2024-10-01 13:42    -   
      opensmt/                2024-10-01 13:42    -   
      octave/                 2024-10-01 13:42    -   
      octave-epstk/           2024-10-01 13:42    -   
      num-utils/              2024-10-01 13:42    -   
      normaliz/               2024-10-01 13:42    -   
      nestedsums/             2024-10-01 13:42    -   
      nauty/                  2024-10-01 13:42    -   
      msieve/                 2024-10-01 13:42    -   
      minisat/                2024-10-01 13:42    -   
      metamath/               2024-10-01 13:42    -   
      metamath-databases/     2024-10-01 13:42    -   
      metadata.xml            2021-09-11 14:40  1.3K  
      maxima/                 2024-10-01 13:42    -   
      mathomatic/             2024-10-01 13:42    -   
      mathmod/                2024-10-01 13:42    -   
      mathlib-tools/          2024-10-01 13:42    -   
      mathematica/            2024-10-01 13:42    -   
      lrcalc/                 2024-10-01 13:42    -   
      lpsolve/                2024-10-01 13:42    -   
      libpoly/                2024-10-01 13:42    -   
      lean/                   2024-10-01 13:42    -   
      lcalc/                  2024-10-01 13:42    -   
      kissat/                 2024-10-01 13:42    -   
      kind2/                  2024-10-01 13:42    -   
      jags/                   2024-10-01 13:42    -   
      gsl-shell/              2024-10-01 13:42    -   
      gretl/                  2024-10-01 13:42    -   
      gp2c/                   2024-10-01 13:42    -   
      gmp-ecm/                2024-10-01 13:42    -   
      gmm/                    2024-10-01 13:42    -   
      glpk/                   2024-10-01 13:42    -   
      ginac/                  2024-10-01 13:42    -   
      gimps/                  2024-10-01 13:42    -   
      giac/                   2024-10-01 13:42    -   
      gfan/                   2024-10-01 13:42    -   
      geomview/               2024-10-01 13:42    -   
      geogebra-bin/           2024-10-01 13:42    -   
      genius/                 2024-10-01 13:42    -   
      gappalib-coq/           2024-10-01 13:42    -   
      gappa/                  2024-10-01 13:42    -   
      gap/                    2024-10-01 13:42    -   
      frobby/                 2024-10-01 13:42    -   
      fricas/                 2024-10-01 13:42    -   
      form/                   2024-10-01 13:42    -   
      flocq/                  2024-10-01 13:42    -   
      flint/                  2024-10-01 13:42    -   
      fann/                   2024-10-01 13:42    -   
      euler/                  2024-10-01 13:42    -   
      eprover/                2024-10-01 13:42    -   
      ent/                    2024-10-01 13:42    -   
      eclib/                  2024-10-01 13:42    -   
      easycrypt/              2024-10-01 13:42    -   
      dunshire/               2024-10-01 13:42    -   
      dsfmt/                  2024-10-01 13:42    -   
      diagrtb/                2024-10-01 13:42    -   
      dataplot/               2024-10-01 13:42    -   
      cvc4/                   2024-10-01 13:42    -   
      cudd/                   2024-10-01 13:42    -   
      cubicle/                2024-10-01 13:42    -   
      cryptominisat/          2024-10-01 13:42    -   
      coq/                    2024-10-01 13:42    -   
      coq-serapi/             2024-10-01 13:42    -   
      coq-mathcomp/           2024-10-01 13:42    -   
      cliquer/                2024-10-01 13:42    -   
      cgal/                   2024-10-01 13:42    -   
      calc/                   2024-10-01 13:42    -   
      cadical/                2024-10-01 13:42    -   
      cadabra/                2024-10-01 13:42    -   
      btor2tools/             2024-10-01 13:42    -   
      boolector/              2024-10-01 13:42    -   
      bertini/                2024-10-01 13:42    -   
      arb/                    2024-10-01 13:42    -   
      alt-ergo/               2024-10-01 13:42    -   
      alectryon/              2024-10-01 13:42    -   
      acl2/                   2024-10-01 13:42    -   
      abc/                    2024-10-01 13:42    -   
      Manifest.gz             2024-09-30 20:41   19K  
      4ti2/                   2024-10-01 13:42    -