../ marco-devel-1.18.0-1.hint 01-May-2017 16:47 249 marco-devel-1.18.0-1.tar.xz 01-May-2017 16:47 19K marco-devel-1.18.1-1.hint 17-Sep-2017 20:29 249 marco-devel-1.18.1-1.tar.xz 17-Sep-2017 20:29 19K marco-devel-1.20.1-1.hint 23-Apr-2018 23:20 287 marco-devel-1.20.1-1.tar.xz 23-Apr-2018 23:20 19K md5.sum 24-Apr-2018 09:14 411 sha512.sum 24-Apr-2018 09:14 1080