../ mined-2015.25-0.hint 07-Oct-2015 14:02 924 mined-2015.25-0.tar.xz 29-Mar-2015 16:46 2930848 mined-2022.26-0.hint 20-Nov-2022 23:54 1247 mined-2022.26-0.tar.xz 20-Nov-2022 18:57 3087456 mined-2022.27-0.hint 23-Dec-2022 08:58 1247 mined-2022.27-0.tar.xz 23-Dec-2022 08:53 3110156 sha512.sum 23-Dec-2022 12:14 1848