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 2cc2b9a6a266..f71d5b16f9f5 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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"