blob: 256968d23f2293f01c0154440d9771ecce7c9466 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
pkgbase = boogie-git
pkgdesc = Boogie is an Intermediate Verification Language (IVL) for describing proof obligations to be discharged by a reasoning engine, typically an SMT solver
pkgver = 0.r4273.bad6c01
pkgrel = 1
url = http://boogie.codeplex.com
arch = any
license = custom: Ms-Pl
makedepends = mercurial
makedepends = wget
depends = z3-git
depends = mono
provides = boogie
conflicts = boogie
source = boogie-git::git+https://github.com/boogie-org/boogie.git
source = execute_boogie.sh
source = license.txt
md5sums = SKIP
md5sums = 3c484f49455c24eb8984461b9d78d45f
md5sums = ab2e2e62d9befcc932895745749d4a54
pkgname = boogie-git
|