# Generated by makepkg 7.0.0
# using fakeroot version 1.37
pkgname = symfpu-cvc5
pkgbase = symfpu-cvc5
xdata = pkgtype=pkg
pkgver = r20230627.e6ac3af-3
pkgdesc = A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5
url = https://github.com/cvc5/symfpu
builddate = 1738684580
packager = Garuda Builder <team@garudalinux.org>
size = 171750
arch = x86_64
license = GPL3
provides = symfpu=r20230627.e6ac3af
makedepend = bash
makedepend = git
