blob: edb905d234c2ffea70ea10ef675fb36368326b39 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
pkgbase = vampire
pkgdesc = A theorem prover for first-order logic
pkgver = 4.5.1
pkgrel = 1
url = https://vprover.github.io/
arch = x86_64
license = custom:Vampire Software Licence Agreement
depends = z3
source = https://github.com/vprover/vampire/archive/4.5.1.tar.gz
source = reproducible-builds.patch
sha512sums = dada4d91d96cdfe7a0f345f64d3c0e5ce2c909965cb8a90fd25d12ff4a8ee61e02b473d2e0054d90ae2930f5606728ff6b51ceb780c7ae1f5b35925f3b10fae4
sha512sums = 894f739b84a006bce1e59109776b00ced190fc2cc30abedde2d5a50e6654efe63607d04c9815c780fddfc02a2cf0821afd558307f7e89f7bae9dbbfb52411b94
pkgname = vampire
|