diff options
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.7.2 +pkgver=4.7.9 pkgrel=1 pkgdesc='Standard ML Compiler and Toolkit' url='http://www.elsman.com/mlkit/' @@ -10,7 +10,7 @@ arch=('x86_64') depends=('gmp') makedepends=('mlton>=20170725') source=("https://github.com/melsman/mlkit/archive/refs/tags/v$pkgver.tar.gz") -md5sums=('e066ea26aac38a75ff70e390be1346b8') +md5sums=('f60bc85dd23d4771c69a66b7e68956a5') build() { cd "$pkgname-$pkgver" |