.SRCINFO


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

pkgbase = cvc5-bin
	pkgdesc = An open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems
	pkgver = 1.2.0
	pkgrel = 1
	url = https://github.com/cvc5/cvc5
	arch = x86_64
	arch = aarch64
	license = BSD3
	makedepends = bash
	depends = cadical
	provides = cvc5=1.2.0
	conflicts = cvc5
	source_x86_64 = cvc5-bin-1.2.0.zip::https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-x86_64-static.zip
	sha256sums_x86_64 = d18f174ff9a11923c32c3f871f844ed16bd77a28f51050b8e7c8d821c98a1c2e
	source_aarch64 = cvc5-bin-1.2.0.zip::https://github.com/cvc5/cvc5/releases/download/cvc5-1.2.0/cvc5-Linux-arm64-static.zip
	sha256sums_aarch64 = d18f174ff9a11923c32c3f871f844ed16bd77a28f51050b8e7c8d821c98a1c2e

pkgname = cvc5-bin