Commits - rpms/cvc4 - src.fedoraproject.org

Superseded by cvc5

Jerry James • 3 months ago

1230a5d

Rebuilt for https://fedoraproject.org/wiki/Fedora_39_Mass_Rebuild

Fedora Release Engineering • 3 months ago

cbe66a7

Rebuilt for Python 3.12

Python Maint • 3 months ago

3e600e4

Add patch to fix build with CMake v3.27.0

Björn Esser • 4 months ago

429019b

Add missing Requires to the devel subpackage (rhbz#2203174)

Jerry James • 5 months ago

3b14b93

Rebuilt for https://fedoraproject.org/wiki/Fedora_38_Mass_Rebuild

Fedora Release Engineering • 9 months ago

186b987

BR setuptools to fix FTBFS (rhbz#2154858).

Jerry James • 10 months ago

95b2c72

Add -bash-patsub-replacement patch to fix FTBFS.

Jerry James • a year ago

f7c24c6

Convert License tag to SPDX.

Jerry James • a year ago

11d315c

Rebuilt for https://fedoraproject.org/wiki/Fedora_37_Mass_Rebuild

Fedora Release Engineering • a year ago

8e6c356

Drop support for i686 due to ANTLR unavailability.

Jerry James • a year ago

149b6e0

Rebuilt for Python 3.11

Python Maint • a year ago

e294b44

Remove . from %%cmake invocation to fix FTBFS (rhbz#2060821).

Jerry James • 2 years ago

c1a0591

Rebuilt for java-17-openjdk as system jdk

Jiri • 2 years ago

32c7ee2

Add -const-map-key patch to fix FTBFS.

Jerry James • 2 years ago

56cce94

Switch to ld.bfd so that package notes work without workarounds

Zbigniew Jędrzejewski-Szmek • 2 years ago

e3c3a6f

- Rebuilt for https://fedoraproject.org/wiki/Fedora_36_Mass_Rebuild

Fedora Release Engineering • 2 years ago

79c205e

- Rebuilt for https://fedoraproject.org/wiki/Fedora_35_Mass_Rebuild

Fedora Release Engineering • 2 years ago

bba850d

Rebuilt for Python 3.10

Python Maint • 2 years ago

7e71f60

Remove spurious rpaths (bz 1967190).

Jerry James • 2 years ago

d5a5652

- Rebuilt for https://fedoraproject.org/wiki/Fedora_34_Mass_Rebuild

Fedora Release Engineering • 2 years ago

dd5c108

Add -dup-decl patch to fix FTBFS with recent LFSC versions.

Jerry James • 2 years ago

f7491d8

Update URL.

Jerry James • 2 years ago

7e07a02

Rebuild for cryptominisat 5.8.0.

Jerry James • 2 years ago

5629237

Explicitly BR make.

Jerry James • 2 years ago

d438c29

Run the testsuite on 64-bit architectures only.

Jerry James • 3 years ago

8ca4eb3

Version 1.8. Drop upstreamed patches: -abc, -swig4, -drat.

Jerry James • 3 years ago

398dc0c

- Second attempt - Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Fedora Release Engineering • 3 years ago

9ac0724

- Rebuilt for https://fedoraproject.org/wiki/Fedora_33_Mass_Rebuild

Fedora Release Engineering • 3 years ago

5cf3238

Rebuilt for JDK-11

Jiri • 3 years ago

7bb92f0

Rebuilt for Boost 1.73

Jonathan Wakely • 3 years ago

8913754

Rebuilt for Python 3.9

Miro Hrončok • 3 years ago

175f1c8

Do not link against libpython.

Jerry James • 3 years ago

41e5d62

Fix inadvertent corruption of -flags patch.

Jerry James • 3 years ago

bd906d4

Add -cryptominisat patch to adapt to changes in 5.7.0.

Jerry James • 3 years ago

eb73525

Rebuild for cryptominisat 5.7.0.

Jerry James • 3 years ago

3054e2d

- Rebuilt for https://fedoraproject.org/wiki/Fedora_32_Mass_Rebuild

Fedora Release Engineering • 3 years ago

4ec4a29

Rebuild for cadical 1.2.1.

Jerry James • 3 years ago

410a09e

Add -drat patch to fix build with latest lfsc.

Jerry James • 4 years ago

e32cd51

Rebuilt for Python 3.8

Miro Hrončok • 4 years ago

b65b6a9

- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild

Fedora Release Engineering • 4 years ago

8df1bce

Rebuild for cadical 1.0.3 (bz 1731031).

Jerry James • 4 years ago

36b3497

Fix copy-and-paste error that killed the 32-bit build.

Jerry James • 4 years ago

f294ef4

Fix finding the python include dir and lib (bz 1724142).

Jerry James • 4 years ago

bb8bce8

Fix the path to the abc library on 32-bit systems.

Jerry James • 4 years ago

4e0920c

New upstream release.

Jerry James • 4 years ago

ded5ca8

Rebuild for readline 8.0

Igor Gnatenko • 4 years ago

e594904

- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild

Fedora Release Engineering • 4 years ago

a2421c2

Rebuilt for Boost 1.69

Jonathan Wakely • 4 years ago

dc7daa1

rpms / cvc4

Commits 95

rpms / cvc4

Source Code

Commits 95