Index of /pub/gwdg/ubuntu/22.04/pool/universe/x/xmpi/


../
libxmpi4-dev_2.2.3b8-14build1_amd64.deb            22-Mar-2020 19:58               44528
libxmpi4_2.2.3b8-14build1_amd64.deb                22-Mar-2020 19:58               33388
xmpi_2.2.3b8-14build1_amd64.deb                    22-Mar-2020 19:58               91348