summarylogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
2 files changed, 2 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 3ed595ebbb48..0b97cfd15c8d 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
pkgbase = mlton-git
pkgdesc = Whole-program, optimizing Standard ML compiler
- pkgver = r6666.c611cbb
+ pkgver = r6685.728e2a5
pkgrel = 1
url = http://www.mlton.org/
arch = x86_64
diff --git a/PKGBUILD b/PKGBUILD
index 9aa783d2cd4c..bbeb89236d93 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,6 +1,6 @@
# Maintainer: rmanne <rahul_manne@hotmail.com>
pkgname=mlton-git
-pkgver=r6666.c611cbb
+pkgver=r6685.728e2a5
pkgver() {
cd "${pkgname%-git}"
printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"