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

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory   -  
[DIR]4ti2/ 2024-03-28 11:11 -  
[DIR]Macaulay2/ 2020-01-12 11:09 -  
[   ]Manifest.gz 2024-03-23 16:42 19K 
[DIR]abc/ 2024-03-28 11:11 -  
[DIR]acl2/ 2024-03-28 11:11 -  
[DIR]agda-lib-ffi/ 2021-01-18 11:09 -  
[DIR]agda-stdlib/ 2022-08-21 11:10 -  
[DIR]agda/ 2022-08-21 11:10 -  
[DIR]alectryon/ 2024-03-28 11:11 -  
[DIR]alt-ergo/ 2024-03-28 11:11 -  
[DIR]arb/ 2024-03-28 11:11 -  
[DIR]axiom/ 2020-10-18 11:09 -  
[DIR]bertini/ 2024-03-28 11:11 -  
[DIR]boolector/ 2024-03-28 11:11 -  
[DIR]btor2tools/ 2024-03-28 11:11 -  
[DIR]cadabra/ 2024-03-28 11:11 -  
[DIR]cadical/ 2024-03-28 11:11 -  
[DIR]calc/ 2024-03-28 11:11 -  
[DIR]cgal/ 2024-03-28 11:11 -  
[DIR]cliquer/ 2024-03-28 11:11 -  
[DIR]coq-mathcomp/ 2024-03-28 11:11 -  
[DIR]coq-serapi/ 2024-03-28 11:11 -  
[DIR]coq/ 2024-03-28 11:11 -  
[DIR]cryptominisat/ 2024-03-28 11:11 -  
[DIR]cubicle/ 2024-03-28 11:11 -  
[DIR]cudd/ 2024-03-28 11:11 -  
[DIR]cvc3/ 2019-09-14 11:09 -  
[DIR]cvc4/ 2024-03-28 11:11 -  
[DIR]dataplot/ 2024-03-28 11:11 -  
[DIR]diagrtb/ 2024-03-28 11:11 -  
[DIR]drgeo/ 2019-09-01 11:09 -  
[DIR]dsfmt/ 2024-03-28 11:11 -  
[DIR]dunshire/ 2024-03-28 11:11 -  
[DIR]e/ 2019-09-14 11:09 -  
[DIR]easycrypt/ 2024-03-28 11:11 -  
[DIR]eclib/ 2024-03-28 11:11 -  
[DIR]ent/ 2024-03-28 11:11 -  
[DIR]eprover/ 2024-03-28 11:11 -  
[DIR]euler/ 2024-03-28 11:11 -  
[DIR]factmsieve/ 2020-01-12 11:09 -  
[DIR]fann/ 2024-03-28 11:11 -  
[DIR]flint/ 2024-03-28 11:11 -  
[DIR]flintqs/ 2023-07-08 11:10 -  
[DIR]flocq/ 2024-03-28 11:11 -  
[DIR]form/ 2024-03-28 11:11 -  
[DIR]fricas/ 2024-03-28 11:11 -  
[DIR]frobby/ 2024-03-28 11:11 -  
[DIR]gap/ 2024-03-28 11:11 -  
[DIR]gappa/ 2024-03-28 11:11 -  
[DIR]gappalib-coq/ 2024-03-28 11:11 -  
[DIR]genius/ 2024-03-28 11:11 -  
[DIR]geogebra-bin/ 2024-03-28 11:11 -  
[DIR]geogebra/ 2020-09-18 11:09 -  
[DIR]geomview/ 2024-03-28 11:11 -  
[DIR]gfan/ 2024-03-28 11:11 -  
[DIR]ggnfs/ 2021-03-30 11:09 -  
[DIR]giac/ 2024-03-28 11:11 -  
[DIR]gimps/ 2024-03-28 11:11 -  
[DIR]ginac/ 2024-03-28 11:11 -  
[DIR]glpk/ 2024-03-28 11:11 -  
[DIR]gmm/ 2024-03-28 11:11 -  
[DIR]gmp-ecm/ 2024-03-28 11:11 -  
[DIR]gp2c/ 2024-03-28 11:11 -  
[DIR]gretl/ 2024-03-28 11:11 -  
[DIR]gsl-shell/ 2024-03-28 11:11 -  
[DIR]gwnum/ 2019-07-18 11:09 -  
[DIR]isabelle/ 2019-09-14 11:09 -  
[DIR]jags/ 2024-03-28 11:11 -  
[DIR]kind2/ 2024-03-28 11:11 -  
[DIR]kissat/ 2024-03-28 11:11 -  
[DIR]kodkod/ 2019-10-06 11:09 -  
[DIR]kodkodi/ 2019-09-14 11:09 -  
[DIR]lcalc/ 2024-03-28 11:11 -  
[DIR]lean/ 2024-03-28 11:11 -  
[DIR]libpoly/ 2024-03-28 11:11 -  
[DIR]lpsolve/ 2024-03-28 11:11 -  
[DIR]lrcalc/ 2024-03-28 11:11 -  
[DIR]lybniz/ 2020-01-12 11:09 -  
[DIR]mathematica/ 2024-03-28 11:11 -  
[DIR]mathlib-tools/ 2024-03-28 11:11 -  
[DIR]mathmod/ 2024-03-28 11:11 -  
[DIR]mathomatic/ 2024-03-28 11:11 -  
[DIR]maxima/ 2024-03-28 11:11 -  
[TXT]metadata.xml 2021-09-11 15:40 1.3K 
[DIR]metamath-databases/ 2024-03-28 11:11 -  
[DIR]metamath/ 2024-03-28 11:11 -  
[DIR]minisat/ 2024-03-28 11:11 -  
[DIR]mlpy/ 2020-01-12 11:09 -  
[DIR]msieve/ 2024-03-28 11:11 -  
[DIR]nauty/ 2024-03-28 11:11 -  
[DIR]nestedsums/ 2024-03-28 11:11 -  
[DIR]normaliz/ 2024-03-28 11:11 -  
[DIR]num-utils/ 2024-03-28 11:11 -  
[DIR]nusmv/ 2020-01-12 11:09 -  
[DIR]octave-epstk/ 2024-03-28 11:11 -  
[DIR]octave/ 2024-03-28 11:11 -  
[DIR]opensmt/ 2024-03-28 11:11 -  
[DIR]otter/ 2024-03-28 11:11 -  
[DIR]p9m4/ 2020-01-12 11:09 -  
[DIR]palp/ 2024-03-28 11:11 -  
[DIR]pari-data/ 2024-03-28 11:11 -  
[DIR]pari/ 2024-03-28 11:11 -  
[DIR]petsc/ 2024-03-28 11:11 -  
[DIR]picosat/ 2024-03-28 11:11 -  
[DIR]planarity/ 2024-03-28 11:11 -  
[DIR]plfit/ 2024-03-28 11:11 -  
[DIR]polymake/ 2024-03-28 11:11 -  
[DIR]primecount/ 2024-03-28 11:11 -  
[DIR]primesieve/ 2024-03-28 11:11 -  
[DIR]prng/ 2024-03-28 11:11 -  
[DIR]prover9/ 2024-03-28 11:11 -  
[DIR]proverif/ 2024-03-28 11:11 -  
[DIR]psmt2-frontend/ 2024-03-28 11:11 -  
[DIR]pspp/ 2024-03-28 11:11 -  
[DIR]pymc/ 2020-01-12 11:09 -  
[DIR]pymc3/ 2020-09-21 11:09 -  
[DIR]relational/ 2022-12-20 11:10 -  
[DIR]rkward/ 2024-03-28 11:11 -  
[DIR]rngstreams/ 2024-03-28 11:11 -  
[DIR]rstudio/ 2022-08-21 11:10 -  
[DIR]rw/ 2024-03-28 11:11 -  
[DIR]sha1-polyml/ 2024-03-28 11:11 -  
[DIR]singular/ 2024-03-28 11:11 -  
[DIR]slepc/ 2024-03-28 11:11 -  
[DIR]smtinterpol/ 2024-03-28 11:11 -  
[DIR]snns/ 2020-01-12 11:09 -  
[DIR]spass/ 2019-09-14 11:09 -  
[DIR]spin/ 2024-03-28 11:11 -  
[DIR]stp/ 2024-03-28 11:11 -  
[DIR]sympow/ 2024-03-28 11:11 -  
[DIR]topcom/ 2024-03-28 11:11 -  
[DIR]twelf/ 2024-03-28 11:11 -  
[DIR]unuran/ 2024-03-28 11:11 -  
[DIR]vampire/ 2024-03-28 11:11 -  
[DIR]verifpal/ 2024-03-28 11:11 -  
[DIR]verit/ 2024-03-28 11:11 -  
[DIR]why3-for-spark/ 2024-03-28 11:11 -  
[DIR]why3/ 2024-03-28 11:11 -  
[DIR]wxmaxima/ 2024-03-28 11:11 -  
[DIR]xmds/ 2020-01-12 11:09 -  
[DIR]yacas/ 2024-03-28 11:11 -  
[DIR]yafu/ 2024-03-28 11:11 -  
[DIR]yices2/ 2024-03-28 11:11 -  
[DIR]z3/ 2024-03-28 11:11 -