summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD4
1 files changed, 2 insertions, 2 deletions
diff --git a/PKGBUILD b/PKGBUILD
index ca2121a8f3fc..1840cbba4e1f 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: Mort Yao <soi@mort.ninja>
pkgname=mlkit
-pkgver=4.3.18
+pkgver=4.4.2
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=('6974708ab6e7b04a6a4e2e2430c7c636'
+md5sums=('92998592974d2aac928f24ec3c589fa5'
'4aaf5cf417bfa1b816a14585199ec393')
prepare() {