../ trilinos-doc_13.2.0-5_all.deb 04-Sep-2023 19:58 195664592 trilinos-doc_14.4.0-1~exp1_all.deb 06-Sep-2023 21:13 196971104