blob: 1a838a7839c0457420d9b2052423c4f38c94af70 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = yices
pkgdesc = The Yices SMT Solver
pkgver = 2.6.1
pkgrel = 1
url = http://yices.csl.sri.com/
arch = x86_64
license = custom
makedepends = gperf
makedepends = gmp
conflicts = yices-bin
source = http://yices.csl.sri.com/releases/2.6.1/yices-2.6.1-src.tar.gz
sha1sums = 387f20480d38f7e0692260ea187d128cb65b2d07
pkgname = yices
|