../ trilinos-doc_12.12.1-7_all.deb 04-Feb-2019 14:57 145681876 trilinos-doc_12.18.1-2_all.deb 12-Jan-2022 14:40 172653084 trilinos-doc_13.2.0-4_all.deb 16-Jan-2024 22:41 190930024