../ trilinos-doc_12.6.3-1_all.deb 01-Jun-2016 19:17 112593482 trilinos_12.6.3-1.debian.tar.xz 01-Jun-2016 14:08 17744 trilinos_12.6.3-1.dsc 01-Jun-2016 14:08 8645 trilinos_12.6.3.orig.tar.bz2 01-Jun-2016 14:08 84071821