../ trilinos-doc_12.4.2-2_all.deb 01-Mar-2016 13:42 109108312 trilinos_12.4.2-2.debian.tar.xz 01-Mar-2016 11:10 18540 trilinos_12.4.2-2.dsc 01-Mar-2016 11:10 8681 trilinos_12.4.2.orig.tar.bz2 27-Nov-2015 10:27 104840053