../ libtrilinos-rtop-13.2_13.2.0-1ubuntu1_amd64.deb 04-Nov-2025 21:27 75760 libtrilinos-rtop-dev_13.2.0-1ubuntu1_amd64.deb 04-Nov-2025 21:27 41170