../ marco-devel-1.18.0-1.hint 02-May-2017 07:46 249 marco-devel-1.18.0-1.tar.xz 02-May-2017 07:46 19420 marco-devel-1.18.1-1.hint 18-Sep-2017 03:35 249 marco-devel-1.18.1-1.tar.xz 18-Sep-2017 03:35 19412 marco-devel-1.20.1-1.hint 23-Apr-2018 13:39 287 marco-devel-1.20.1-1.tar.xz 23-Apr-2018 13:39 19500 sha512.sum 11-Mar-2020 23:14 942