.SRCINFO


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

pkgbase = glpk-cut-log
	pkgdesc = A patched version of GLPK for cvc5
	pkgver = 1.2.0
	pkgrel = 1
	url = https://github.com/cvc5/cvc5
	arch = x86_64
	license = GPL3
	makedepends = bash
	makedepends = automake
	makedepends = autoconf
	makedepends = libtool
	makedepends = patch
	provides = glpk=1.2.0
	conflicts = glpk
	source = https://github.com/cvc5/cvc5/archive/refs/tags/cvc5-1.2.0.tar.gz
	source = https://ftp.gnu.org/gnu/glpk/glpk-4.52.tar.gz
	sha256sums = 7877b1f89f8b6a6bcc643d9ab1c60535911f6a30e32233eafa9db8a3eae5e34e
	sha256sums = 9a5dab356268b4f177c33e00ddf8164496dc2434e83bd1114147024df983a3bb

pkgname = glpk-cut-log