# Generated by abuild 3.14.1-r7
# using fakeroot version 1.37
pkgname = yices2
pkgver = 2.6.5-r0
pkgdesc = Solver for Satisfiability Modulo Theories (SMT) problems
url = https://github.com/SRI-CSL/yices2
builddate = 1740956401
packager = Buildozer <alpine-devel@lists.alpinelinux.org>
size = 3872320
arch = riscv64
origin = yices2
commit = 7c460ff5ee5b509299dd184e12df1ccb6018a3c7
maintainer = Patrycja Rosa <alpine@ptrcnull.me>
license = GPL-3.0-or-later
# automatically detected:
provides = cmd:yices-sat=2.6.5-r0
provides = cmd:yices-smt2=2.6.5-r0
provides = cmd:yices-smt=2.6.5-r0
provides = cmd:yices=2.6.5-r0
depend = so:libc.musl-riscv64.so.1
depend = so:libgmp.so.10
datahash = 94f3ffd064a89bd0a0c1b451816ca7d246df3ef1b3ec071c709ab12259b12c71
