diff options
| author | Alex J. Malozemoff | 2018-11-12 08:58:46 -0800 |
|---|---|---|
| committer | Alex J. Malozemoff | 2018-11-12 08:58:46 -0800 |
| commit | 777c3a19d4b6c069d18ffd273b3f0e6e96fd4ee6 (patch) | |
| tree | 8fa4667cc8d9f84988a3de85275a88d286fecac0 /.SRCINFO | |
| parent | a72ea272f54f1596651503544699e149d16ef859 (diff) | |
| download | aur-777c3a19d4b6c069d18ffd273b3f0e6e96fd4ee6.tar.gz | |
yices v2.6.1
Diffstat (limited to '.SRCINFO')
| -rw-r--r-- | .SRCINFO | 8 |
1 files changed, 3 insertions, 5 deletions
@@ -1,17 +1,15 @@ pkgbase = yices pkgdesc = The Yices SMT Solver - pkgver = 2.6.0 + pkgver = 2.6.1 pkgrel = 1 url = http://yices.csl.sri.com/ arch = x86_64 license = custom - makedepends = gcc makedepends = gperf makedepends = gmp - makedepends = make conflicts = yices-bin - source = http://yices.csl.sri.com/releases/2.6.0/yices-2.6.0-src.tar.gz - sha1sums = a53d0293d29d7f71a267b4e680e6214c02132b26 + source = http://yices.csl.sri.com/releases/2.6.1/yices-2.6.1-src.tar.gz + sha1sums = 387f20480d38f7e0692260ea187d128cb65b2d07 pkgname = yices |