%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%
44624

%ISIZE%
171750

%SHA256SUM%
b117d2499532efde7fd3595f1eb9a623e2c13a6c61fe0b02d94856817e5a8976

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

%LICENSE%
GPL3

%ARCH%
x86_64

%BUILDDATE%
1738684580

%PACKAGER%
Garuda Builder <team@garudalinux.org>

%PROVIDES%
symfpu=r20230627.e6ac3af

%MAKEDEPENDS%
bash
git

