cvc4-libs-1.4-11.fc25.i686.rpm


Advertisement

Description

cvc4-libs - Library containing an automatic theorem prover for SMT problems

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name cvc4-libs
Package version 1.4
Package release 11.fc25
Package architecture i686
Package type rpm
Installed size 10.56 MB
Download size 3.33 MB
Official Mirror dl.fedoraproject.org
Library containing the core of the cvc4 automatic theorem prover for
SMT problems.

Alternatives

Package Version Architecture Repository
cvc4-libs-1.4-11.fc25.i686.rpm 1.4 i686 Fedora
cvc4-libs-1.4-11.fc25.x86_64.rpm 1.4 x86_64 Fedora
cvc4-libs - - -

Requires

Name Value
/sbin/ldconfig -
ld-linux.so.2 -
ld-linux.so.2(GLIBC_2.3) -
libabc.so.0 -
libantlr3c.so -
libc.so.6(GLIBC_2.17) -
libgcc_s.so.1 -
libgcc_s.so.1(GCC_3.0) -
libgcc_s.so.1(GCC_4.0.0) -
libgmp.so.10 -
libm.so.6 -
libm.so.6(GLIBC_2.0) -
libm.so.6(GLIBC_2.1) -
libstdc++.so.6 -
libstdc++.so.6(CXXABI_1.3) -
libstdc++.so.6(CXXABI_1.3.9) -
libstdc++.so.6(GLIBCXX_3.4) -
libstdc++.so.6(GLIBCXX_3.4.11) -
libstdc++.so.6(GLIBCXX_3.4.15) -
libstdc++.so.6(GLIBCXX_3.4.20) -
libstdc++.so.6(GLIBCXX_3.4.21) -
libstdc++.so.6(GLIBCXX_3.4.9) -
rtld(GNU_HASH) -

Provides

Name Value
cvc4-libs = 1.4-11.fc25
cvc4-libs(x86-32) = 1.4-11.fc25
libcvc4.so.3 -
libcvc4parser.so.3 -

Download

Type URL
Binary Package cvc4-libs-1.4-11.fc25.i686.rpm
Source Package cvc4-1.4-11.fc25.src.rpm

Install Howto

Install the cvc4-libs rpm package:

# dnf install cvc4-libs

Files

Path
/usr/lib/libcvc4.so.3
/usr/lib/libcvc4.so.3.0.0
/usr/lib/libcvc4parser.so.3
/usr/lib/libcvc4parser.so.3.0.0
/usr/share/licenses/cvc4-libs/COPYING

Changelog

2016-05-17 - Jonathan Wakely <jwakely@redhat.com> - 1.4-11
- Rebuilt for linker errors in boost (#1331983)
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 1.4-10
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-01-15 - Jonathan Wakely <jwakely@redhat.com> - 1.4-9
- Rebuilt for Boost 1.60
2015-08-27 - Jonathan Wakely <jwakely@redhat.com> - 1.4-8
- Rebuilt for Boost 1.59
2015-07-29 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-7
- Rebuilt for https://fedoraproject.org/wiki/Changes/F23Boost159
2015-07-22 - David Tardon <dtardon@redhat.com> - 1.4-6
- rebuild for Boost 1.58
2015-06-17 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 1.4-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_23_Mass_Rebuild
2015-05-02 - Kalev Lember <kalevlember@gmail.com> - 1.4-4
- Rebuilt for GCC 5 C++11 ABI change
2015-03-20 - Jerry James <loganjerry@gmail.com> - 1.4-3
- Don't use perftools at all due to random weirdness on multiple platforms
- Also Obsoletes/Provides lfsc-devel
2015-03-11 - Jerry James <loganjerry@gmail.com> - 1.4-2
- Add -boolean, -minisat, and -signed patches to fix test failures
- Fix boost detection with g++ 5.0
- Fix access to an uninitialized variable
- Help the documentation generator find COPYING
- Build with -fsigned-char to fix the arm build
- Prevent rebuilds while running checks
- Remove i686 from have_perftools due to test failures

See Also

Package Description
cvs-1.11.23-40.fc24.x86_64.rpm Concurrent Versions System
cvs-contrib-1.11.23-40.fc24.noarch.rpm Unsupported contributions collected by CVS developers
cvs-doc-1.11.23-40.fc24.noarch.rpm Additional documentation for Concurrent Versions System
cvs-inetd-1.11.23-40.fc24.noarch.rpm CVS server configuration for xinetd
cvs2cl-2.73-11.fc24.noarch.rpm Generate ChangeLogs from CVS working copies
cvsgraph-1.6.1-18.fc24.x86_64.rpm CVS/RCS repository grapher
cvsplot-1.7.4-16.fc24.noarch.rpm Collect statistics from CVS controlled files
cvsps-2.2-0.17.b1.fc24.x86_64.rpm Patchset tool for CVS
cvsutils-0.2.6-3.fc24.noarch.rpm CVS Utilities
cvsweb-3.0.6-18.fc24.noarch.rpm Web interface for CVS repositories
cwdaemon-0.10.2-1.fc24.x86_64.rpm Morse daemon for the parallel or serial port
cwiid-0.6.00-28.20100505gitfadf11e.fc25.i686.rpm Wiimote interface library
cwiid-0.6.00-28.20100505gitfadf11e.fc25.x86_64.rpm Wiimote interface library
cwiid-devel-0.6.00-28.20100505gitfadf11e.fc25.i686.rpm Development files for cwiid
cwiid-devel-0.6.00-28.20100505gitfadf11e.fc25.x86_64.rpm Development files for cwiid
Advertisement
Advertisement