../ trilinos-doc_12.6.3-1_all.deb 01-Jun-2016 19:17 112593482 trilinos-doc_12.6.3-2_all.deb 21-Jul-2016 18:16 74897230 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-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