%FILENAME%
symfpu-cvc5-r20230627.e6ac3af-3-x86_64.pkg.tar.zst

%NAME%
symfpu-cvc5

%BASE%
symfpu-cvc5

%VERSION%
r20230627.e6ac3af-3

%DESC%
A fork of SymFPU, a (concrete or symbolic) implementation of IEEE-754 / SMT-LIB flating-point for cvc5

%CSIZE%
37729

%ISIZE%
171750

%SHA256SUM%
acc6a9a7143a78e6e5d56e73deea95bb2098b823638095dd8f2981385371f2cf

%URL%
https://github.com/cvc5/symfpu

%LICENSE%
GPL3

%ARCH%
x86_64

%BUILDDATE%
1719579331

%PACKAGER%
Unknown Packager

%PROVIDES%
symfpu=r20230627.e6ac3af

%MAKEDEPENDS%
bash
git

