diff options
Diffstat (limited to 'development/micro/micro.info')
| -rw-r--r-- | development/micro/micro.info | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/development/micro/micro.info b/development/micro/micro.info index da112db3b691..1b21caa33a25 100644 --- a/development/micro/micro.info +++ b/development/micro/micro.info @@ -1,10 +1,10 @@ PRGNAM="micro" -VERSION="2.0.12" +VERSION="2.0.13" HOMEPAGE="https://micro-editor.github.io/" -DOWNLOAD="https://github.com/zyedidia/micro/releases/download/v2.0.12/micro-2.0.12-linux32.tar.gz" -MD5SUM="2ec0809a87c4c2353ada5006f84b3f5f" -DOWNLOAD_x86_64="https://github.com/zyedidia/micro/releases/download/v2.0.12/micro-2.0.12-linux64.tar.gz" -MD5SUM_x86_64="84b5ab25ebaf590f26ee6afb41bf0729" +DOWNLOAD="https://github.com/zyedidia/micro/releases/download/v2.0.13/micro-2.0.13-linux32.tar.gz" +MD5SUM="95406a4d8f4c4c2826da12e18231ae6f" +DOWNLOAD_x86_64="https://github.com/zyedidia/micro/releases/download/v2.0.13/micro-2.0.13-linux64.tar.gz" +MD5SUM_x86_64="6af420fe103ef9d0fe3749d2fae724ab" REQUIRES="" MAINTAINER="Matt Egger" EMAIL="bru.barwal@sdf.org" |