Index of /debian-ports/pool/main/t/trilinos/


../
trilinos-doc_12.12.1-7_all.deb                     04-Feb-2019 14:57           145681876
trilinos-doc_12.12.1-8_all.deb                     31-Oct-2019 21:11           145545616
trilinos-doc_12.14.1-1_all.deb                     02-Nov-2019 10:44           164640772
trilinos-doc_12.14.1-2_all.deb                     24-Dec-2019 19:30           166842036
trilinos-doc_12.14.1-2~exp1_all.deb                22-Dec-2019 08:17           166646120