Clone of https://src.fedoraproject.org/rpms/cvc4

Jiri 32c7ee2a19 Rebuilt for java-17-openjdk as system jdk ... https://fedoraproject.org/wiki/Changes/Java17		2022-02-05 20:22:47 +01:00
.gitignore	New upstream release.	2018-07-10 21:22:52 -06:00
cvc4-const-map-key.patch	Add -const-map-key patch to fix FTBFS.	2022-01-22 16:14:49 -07:00
cvc4-cryptominisat.patch	Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat.	2020-08-03 18:34:38 -06:00
cvc4-do-not-use-gold.diff	Switch to ld.bfd so that package notes work without workarounds	2022-01-22 12:19:10 +01:00
cvc4-dup-decl.patch	Add -dup-decl patch to fix FTBFS with recent LFSC versions.	2021-01-20 21:58:43 -07:00
cvc4-flags.patch	Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat.	2020-08-03 18:34:38 -06:00
cvc4.spec	Rebuilt for java-17-openjdk as system jdk	2022-02-05 20:22:47 +01:00
sources	Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat.	2020-08-03 18:34:38 -06:00