../ trilinos-doc_12.4.2-2_all.deb 01-Mar-2016 21:42 104M trilinos_12.4.2-2.debian.tar.xz 01-Mar-2016 19:10 18K trilinos_12.4.2-2.dsc 01-Mar-2016 19:10 8681 trilinos_12.4.2.orig.tar.bz2 27-Nov-2015 18:27 100M