diff options
author | Jon Gjengset | 2019-05-24 14:40:56 -0400 |
---|---|---|
committer | Jon Gjengset | 2019-05-24 14:40:56 -0400 |
commit | 59209a252e545f75e29fbaf0ae92d2af18a5e1aa (patch) | |
tree | 606071f1b8dfd9bddcf815ffdc588287bbe88728 | |
parent | c7d4f345e31330525aadcb0d1c7505a36c4f64d9 (diff) | |
download | aur-59209a252e545f75e29fbaf0ae92d2af18a5e1aa.tar.gz |
Forced push in origin repo
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 4 |
2 files changed, 3 insertions, 3 deletions
@@ -1,6 +1,6 @@ pkgbase = perflock-git pkgdesc = RWMutex for sharing of multicore machines - pkgver = r7.eaf54d0 + pkgver = r7.7650760 pkgrel = 1 url = https://github.com/mit-pdos/perflock arch = any @@ -1,7 +1,7 @@ # Maintainer: Jon Gjengset pkgname=perflock-git -pkgver=r7.eaf54d0 -pkgrel=2 +pkgver=r7.7650760 +pkgrel=1 pkgdesc="RWMutex for sharing of multicore machines" arch=('any') url="https://github.com/mit-pdos/perflock" |