../ marco-devel-1.18.0-1.hint 01-May-2017 23:47 249 marco-devel-1.18.0-1.tar.xz 01-May-2017 23:47 19K marco-devel-1.18.1-1.hint 18-Sep-2017 03:29 249 marco-devel-1.18.1-1.tar.xz 18-Sep-2017 03:29 19K marco-devel-1.20.1-1.hint 24-Apr-2018 06:20 287 marco-devel-1.20.1-1.tar.xz 24-Apr-2018 06:20 19K sha512.sum 11-Mar-2020 15:14 942