../ coq-mathcomp.txt 12-Apr-2025 02:03 88 coq-serapi.txt 12-Apr-2025 02:03 81 fricas.txt 12-Apr-2025 02:03 94 gsl-shell.txt 12-Apr-2025 02:03 78 maxima.txt 12-Apr-2025 02:03 279 petsc.txt 12-Apr-2025 02:03 822 polymake.txt 12-Apr-2025 02:03 150 primesieve.txt 12-Apr-2025 02:03 111