../ trilinos-doc_12.12.1-7_all.deb 04-Feb-2019 14:57 145681876 trilinos_12.12.1-7.debian.tar.xz 04-Feb-2019 11:20 20380 trilinos_12.12.1-7.dsc 04-Feb-2019 11:20 9252 trilinos_12.12.1.orig.tar.bz2 03-Nov-2017 11:01 83087131