../ trilinos-doc_12.12.1-7_all.deb 04-Feb-2019 14:57 145681876 trilinos-doc_12.18.1-2_all.deb 05-Jun-2021 16:44 172653084 trilinos-doc_13.2.0-4_all.deb 10-Mar-2023 17:19 190930024 trilinos-doc_13.2.0-6_all.deb 03-Jun-2024 19:17 206632664