diff options
author | Mort Yao | 2018-09-02 17:55:37 +0200 |
---|---|---|
committer | Mort Yao | 2018-09-02 17:55:37 +0200 |
commit | b367a931c446120d77a0faa941f234e014d0a9cc (patch) | |
tree | 111e8ea8876fb82bd67b386478ea045518520500 /PKGBUILD | |
parent | 01186ecdc81802e7f16bdf87246cba08fc4745b2 (diff) | |
download | aur-b367a931c446120d77a0faa941f234e014d0a9cc.tar.gz |
mlkit 4.3.18-1
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,7 +1,7 @@ # Maintainer: Mort Yao <soi@mort.ninja> pkgname=mlkit -pkgver=4.3.12 +pkgver=4.3.18 pkgrel=1 pkgdesc='Standard ML Compiler and Toolkit' url='http://www.elsman.com/mlkit/' @@ -11,7 +11,7 @@ depends=('gmp') makedepends=('mlton>=20170725') source=("https://github.com/melsman/mlkit/archive/$pkgname-$pkgver.tar.gz" Makefiledefault) -md5sums=('18af7fe5a62d547d51177cb1030b9321' +md5sums=('6974708ab6e7b04a6a4e2e2430c7c636' '4aaf5cf417bfa1b816a14585199ec393') prepare() { |