Index of /pub/gwdg/ubuntu/22.04/pool/universe/m/mumps/

../
libmumps-5.4_5.4.1-2_amd64.deb                     19-Oct-2021 15:50             1825654
libmumps-64pord-5.4_5.4.1-2_amd64.deb              19-Oct-2021 15:50             1823982
libmumps-64pord-ptscotch-5.4_5.4.1-2_amd64.deb     19-Oct-2021 15:50             1840640
libmumps-64pord-scotch-5.4_5.4.1-2_amd64.deb       19-Oct-2021 15:50             1835462
libmumps-64pord-seq-5.4_5.4.1-2_amd64.deb          19-Oct-2021 15:50             1835628
libmumps-dev_5.4.1-2_amd64.deb                     19-Oct-2021 15:50             1725374
libmumps-headers-dev_5.4.1-2_all.deb               19-Oct-2021 15:50               19728
libmumps-ptscotch-5.4_5.4.1-2_amd64.deb            19-Oct-2021 15:50             1841894
libmumps-ptscotch-dev_5.4.1-2_amd64.deb            19-Oct-2021 15:50             1738932
libmumps-scotch-5.4_5.4.1-2_amd64.deb              19-Oct-2021 15:50             1837296
libmumps-scotch-dev_5.4.1-2_amd64.deb              19-Oct-2021 15:50             1726090
libmumps-seq-5.4_5.4.1-2_amd64.deb                 19-Oct-2021 15:50             1837984
libmumps-seq-dev_5.4.1-2_amd64.deb                 19-Oct-2021 15:50             1726124
libmumps64-dev_5.4.1-2_amd64.deb                   19-Oct-2021 15:50             1723780
libmumps64-ptscotch-dev_5.4.1-2_amd64.deb          19-Oct-2021 15:50             1735632
libmumps64-scotch-dev_5.4.1-2_amd64.deb            19-Oct-2021 15:50             1723980
libmumps64-seq-dev_5.4.1-2_amd64.deb               19-Oct-2021 15:50             1724044
mumps-test_5.4.1-2_amd64.deb                       19-Oct-2021 15:50               17206