diff options
author | Qirui Wang | 2019-12-25 01:51:48 +0800 |
---|---|---|
committer | Qirui Wang | 2019-12-25 01:51:48 +0800 |
commit | be88bb66e5f51e17fb716dee926a98b1c42f9a44 (patch) | |
tree | 2873549e13292aa1f3c8c4e8b1c771e96d54a4f2 /.SRCINFO | |
parent | a09de0fdb98ce5d3263b0a2cb61855056b1453a1 (diff) | |
download | aur-be88bb66e5f51e17fb716dee926a98b1c42f9a44.tar.gz |
Update check script
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,6 +1,6 @@ pkgbase = rumur-git pkgdesc = Yet another Murphi model checker - pkgver = 2019.11.09.r4.gc04d79d + pkgver = 2019.12.22.r0.ga1b6d61 pkgrel = 1 url = https://github.com/Smattr/rumur arch = x86_64 |