Index of /debian/pool/main/m/mpi-defaults

[ICO]NameLast modifiedSizeDescription

[PARENTDIR]Parent Directory  -  
[   ]mpi-default-bin_1.8_amd64.deb2016-12-26 10:32 4.0K 
[   ]mpi-default-bin_1.8_i386.deb2016-12-26 11:12 4.0K 
[   ]mpi-default-bin_1.13_amd64.deb2018-05-01 21:28 4.6K 
[   ]mpi-default-bin_1.13_i386.deb2018-05-02 19:54 4.6K 
[   ]mpi-default-dev_1.8_amd64.deb2016-12-26 10:32 4.7K 
[   ]mpi-default-dev_1.8_i386.deb2016-12-26 11:12 4.7K 
[   ]mpi-default-dev_1.13_amd64.deb2018-05-01 21:28 5.3K 
[   ]mpi-default-dev_1.13_i386.deb2018-05-02 19:54 5.3K 
[   ]mpi-defaults_1.8.dsc2016-12-26 10:32 2.6K 
[   ]mpi-defaults_1.8.tar.xz2016-12-26 10:32 4.5K 
[   ]mpi-defaults_1.13.dsc2018-05-01 18:58 2.6K 
[   ]mpi-defaults_1.13.tar.xz2018-05-01 18:58 5.2K 

Apache/2.4.25 (Debian) Server at osmirror.rug.nl Port 80