Name Last modified Size Description
Parent Directory -
md5.sum 2015-10-07 15:14 330
mined-2014.24.2-0-src.tar.xz 2014-07-08 23:40 328
mined-2014.24.2-0.tar.xz 2014-07-08 23:40 2.8M
mined-2015.25-0-src.tar.xz 2015-03-29 17:47 252
mined-2015.25-0.tar.xz 2015-03-29 17:46 2.8M
setup.hint 2015-10-07 15:02 924
sha512.sum 2015-10-07 15:14 903