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