../ marco-devel-1.18.0-1.hint 02-May-2017 01:46 249 marco-devel-1.18.0-1.tar.xz 02-May-2017 01:46 19K marco-devel-1.18.1-1.hint 17-Sep-2017 21:35 249 marco-devel-1.18.1-1.tar.xz 17-Sep-2017 21:35 19K marco-devel-1.20.1-1.hint 23-Apr-2018 07:39 287 marco-devel-1.20.1-1.tar.xz 23-Apr-2018 07:39 19K sha512.sum 11-Mar-2020 17:14 942