summarylogtreecommitdiffstats
path: root/PKGBUILD
diff options
context:
space:
mode:
authorRahul Manne2015-10-07 14:47:09 -0400
committerRahul Manne2015-10-07 14:47:09 -0400
commit5e77c33a227dd04d04ef54b7b0ab5e01db37aa10 (patch)
treefe37d2bab9244a75864cc21ab50229b1916fb346 /PKGBUILD
parentb25478a4e982dd9d993061ef7a6592b55a2d1cd9 (diff)
downloadaur-mlton-git.tar.gz
Updated git version
Diffstat (limited to 'PKGBUILD')
-rw-r--r--PKGBUILD2
1 files changed, 1 insertions, 1 deletions
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)"