../ marco-devel-1.18.0-1.hint 01-May-2017 16:46 249 marco-devel-1.18.0-1.tar.xz 01-May-2017 16:46 19K marco-devel-1.18.1-1.hint 17-Sep-2017 12:35 249 marco-devel-1.18.1-1.tar.xz 17-Sep-2017 12:35 19K marco-devel-1.20.1-1.hint 22-Apr-2018 22:39 287 marco-devel-1.20.1-1.tar.xz 22-Apr-2018 22:39 19K md5.sum 24-Apr-2018 11:14 411 sha512.sum 24-Apr-2018 11:14 1080