.SRCINFO


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

pkgbase = picat
	pkgdesc = A simple, and yet powerful, logic-based multi-paradigm programming language aimed for general-purpose applications.
	pkgver = 3.8.7
	pkgrel = 1
	url = http://picat-lang.org/
	arch = x86_64
	license = MPL-2.0
	depends = glibc
	depends = gcc-libs
	optdepends = coin-or-cbc: CBC MIP support
	optdepends = cvc4: CVC4 SMT support
	optdepends = glpk: GLPK MIP support
	optdepends = gurobi: Gurobi MIP support
	optdepends = z3: Z3 SMT support
	source = https://picat-lang.org/download/picat387_src.tar.gz
	b2sums = b5c3ce7d3ac1d2d9c5d87c1329c835e01b053f357e58a447b4b4d7f12b8afb5ff1bc5da5ff3a19b5446e1d5d95f2a108419e6085cf2f62e5046bab58143c5c48

pkgname = picat