pkgname = minizinc-static
pkgbase = minizinc
pkgver = 2.10.1-0
pkgdesc = Static libraries for minizinc 
url = https://github.com/MiniZinc/libminizinc
builddate = 1788206398
packager = @termux
size = 17553712
arch = aarch64
depend = minizinc
