Commit - rpms/cvc4 - ded5ca8205cec6e326542c50c6b1f4417a5d113f

    New upstream release.
    
    Also:
    - Drop -autoconf, -cadical, -doxygen, -symfpu, and -vec patches.
    - Drop -doc subpackage; upstream no longer supports doxygen.
    - Build with python 3 instead of python 2.
    - Build with drat2er support.
    - Add -abc and -flags patches.
    - Add -swig4 patch (bz 1707353).

Build failed
failure

Built as cvc4-1.7-1.fc31
4 years ago

cvc4-abc.patch

file added

+54

cvc4-autoconf.patch

file removed

-123

cvc4-cadical.patch

file removed

-50

cvc4-doxygen.patch

file removed

-72

cvc4-flags.patch

file added

+46

cvc4-swig4.patch

file added

+44

cvc4-symfpu.patch

file removed

-14

cvc4-vec.patch

file removed

-24

cvc4.spec

file modified

+105 -140

sources

file modified

+1 -1

rpms / cvc4

Source Code

ded5ca8 New upstream release.

Authored and Committed by jjames 4 years ago

`ded5ca8` New upstream release.