../ 4ti2/ 13-Mar-2025 05:41 - alt-ergo/ 30-Sep-2025 04:36 - cadical/ 20-Feb-2025 18:26 - calc/ 01-Sep-2022 12:19 - cgal/ 13-Mar-2025 05:41 - clipper2/ 24-Sep-2025 13:31 - cliquer/ 04-Nov-2021 17:08 - coq/ 08-Nov-2025 19:01 - coq-stdlib/ 08-Nov-2025 19:01 - ent/ 01-Jun-2023 14:09 - euler/ 23-Feb-2021 18:56 - flint/ 07-Jun-2025 21:32 - frobby/ 29-Dec-2022 15:06 - gap/ 07-Sep-2025 21:19 - genius/ 13-Dec-2021 06:44 - gfan/ 21-Jan-2026 13:30 - gimps/ 31-Aug-2024 21:41 - ginac/ 24-Jun-2025 13:06 - glpk/ 15-Jan-2025 13:33 - gmm/ 29-Oct-2024 11:51 - gmp-ecm/ 21-Apr-2025 18:40 - gp2c/ 07-Dec-2021 16:25 - jags/ 07-Aug-2024 08:02 - lcalc/ 17-Jul-2022 21:34 - lean/ 20-Feb-2025 18:27 - lpsolve/ 03-May-2023 12:58 - lrcalc/ 19-Nov-2023 07:35 - manifold/ 17-Jan-2026 13:40 - mathomatic/ 08-Jul-2022 12:07 - maxima/ 30-Sep-2025 04:36 - nauty/ 16-Jul-2024 13:15 - normaliz/ 18-Dec-2023 11:59 - num-utils/ 23-Sep-2020 17:16 - octave/ 02-Jun-2025 08:30 - otter/ 12-Oct-2022 17:28 - palp/ 07-Jun-2024 08:21 - pari/ 03-Feb-2025 07:17 - pari-data/ 24-Feb-2020 08:58 - picosat/ 31-Jan-2023 11:26 - planarity/ 24-Jun-2025 13:06 - plfit/ 21-Jan-2026 13:30 - primecount/ 03-May-2025 08:07 - primesieve/ 03-May-2025 08:07 - prng/ 15-Sep-2025 21:18 - psmt2-frontend/ 03-Mar-2022 14:33 - pspp/ 16-Jun-2025 11:42 - rngstreams/ 01-Aug-2018 17:26 - rw/ 27-May-2021 10:07 - singular/ 24-Jun-2025 13:06 - smtinterpol/ 04-Oct-2024 10:20 - sympow/ 23-Dec-2024 15:11 - unuran/ 13-Jun-2023 15:45 - wxmaxima/ 30-Jun-2025 19:13 - z3/ 21-Dec-2025 19:35 -