059d32881e
Signed-off-by: Fedora Release Engineering <releng@fedoraproject.org> |
||
---|---|---|
.gitignore | ||
cvc4-autoconf.patch | ||
cvc4-cadical.patch | ||
cvc4-doxygen.patch | ||
cvc4-symfpu.patch | ||
cvc4-vec.patch | ||
cvc4.spec | ||
sources |