../ coq-mathcomp.txt 06-Dec-2025 01:30 88 coq-serapi.txt 06-Dec-2025 01:30 81 fricas.txt 06-Dec-2025 01:30 91 gsl-shell.txt 06-Dec-2025 01:30 78 maxima.txt 06-Dec-2025 01:30 279 petsc.txt 06-Dec-2025 01:30 267 polymake.txt 06-Dec-2025 01:30 225