Index of /debian-ports/pool/main/t/trilinos
Name
Last modified
Size
Description
Parent Directory
-
trilinos-doc_13.2.0-5_all.deb
2023-09-04 19:58
187M
trilinos-doc_14.4.0-1~exp1_all.deb
2023-09-06 21:13
188M