diff options
author | Qirui Wang | 2019-03-17 06:36:17 -0400 |
---|---|---|
committer | Qirui Wang | 2019-03-17 06:36:17 -0400 |
commit | 307a093f7869c171a10d0f6f453410e40cd5f667 (patch) | |
tree | a98ddafd998d290e5dfb739719416e9e9626ec9b /.SRCINFO | |
download | aur-307a093f7869c171a10d0f6f453410e40cd5f667.tar.gz |
Initial commit
Diffstat (limited to '.SRCINFO')
-rw-r--r-- | .SRCINFO | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..f0365d237f21 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,21 @@ +pkgbase = rumur-git + pkgdesc = Yet another Murphi model checker + pkgver = 2019.03.11.r11.g9626824 + pkgrel = 1 + url = https://github.com/Smattr/rumur + arch = x86_64 + license = custom + makedepends = git + makedepends = cmake + makedepends = bison + makedepends = flex + makedepends = bison + makedepends = flex + depends = gmp + provides = rumur + conflicts = rumur + source = git+https://github.com/Smattr/rumur.git + sha256sums = SKIP + +pkgname = rumur-git + |