../ trilinos-doc_12.6.3-2_all.deb 21-Jul-2016 18:16 74897230 trilinos_12.6.3-2.debian.tar.xz 21-Jul-2016 16:05 17520 trilinos_12.6.3-2.dsc 21-Jul-2016 16:05 8573 trilinos_12.6.3.orig.tar.bz2 01-Jun-2016 14:08 84071821