../ 4ti2/ 28-May-2025 15:32 - alt-ergo/ 23-Feb-2026 20:10 - cadical/ 28-May-2025 15:32 - calc/ 28-May-2025 15:32 - cgal/ 06-Mar-2026 15:16 - clipper2/ 24-Sep-2025 13:31 - cliquer/ 28-May-2025 15:33 - coq/ 23-Feb-2026 20:10 - coq-stdlib/ 23-Feb-2026 20:10 - ent/ 28-May-2025 15:33 - euler/ 28-May-2025 15:33 - flint/ 07-Jul-2025 09:32 - frobby/ 28-May-2025 15:33 - gap/ 06-Nov-2025 07:59 - genius/ 04-May-2026 13:09 - gfan/ 21-Jan-2026 13:29 - gimps/ 28-May-2025 15:33 - ginac/ 24-Jun-2025 13:06 - glpk/ 23-Apr-2026 15:20 - gmm/ 28-May-2025 15:34 - gmp-ecm/ 28-May-2025 15:34 - gp2c/ 28-May-2025 15:34 - jags/ 28-May-2025 15:34 - lcalc/ 02-Mar-2026 09:48 - lean/ 28-May-2025 15:34 - lpsolve/ 07-Jul-2025 09:32 - lrcalc/ 28-May-2025 15:34 - manifold/ 17-Jan-2026 13:40 - mathomatic/ 28-May-2025 15:35 - maxima/ 31-Dec-2025 17:47 - nauty/ 06-Nov-2025 07:59 - normaliz/ 28-May-2025 15:35 - num-utils/ 28-May-2025 15:35 - octave/ 06-Nov-2025 07:59 - otter/ 28-May-2025 15:35 - palp/ 28-May-2025 15:35 - pari/ 07-Jul-2025 09:32 - pari-data/ 28-May-2025 15:35 - picosat/ 28-May-2025 15:35 - planarity/ 24-Jun-2025 13:06 - plfit/ 21-Jan-2026 13:29 - primecount/ 28-May-2025 15:35 - primesieve/ 28-May-2025 15:35 - prng/ 15-Sep-2025 21:17 - psmt2-frontend/ 23-Feb-2026 20:10 - pspp/ 06-Nov-2025 07:59 - rngstreams/ 28-May-2025 15:35 - rw/ 28-May-2025 15:35 - singular/ 24-Jun-2025 13:06 - smtinterpol/ 28-May-2025 15:36 - sympow/ 28-May-2025 15:36 - unuran/ 28-May-2025 15:36 - wxmaxima/ 16-Oct-2025 11:16 - z3/ 03-Apr-2026 13:16 -