cryptominisat4-devel-4.5.3-6.fc25.i686.rpm


Advertisement

Description

cryptominisat4-devel - Header files for developing with cryptominisat4

Property Value
Distribution Fedora 25
Repository Fedora x86_64
Package name cryptominisat4-devel
Package version 4.5.3
Package release 6.fc25
Package architecture i686
Package type rpm
Installed size 14.17 KB
Download size 13.65 KB
Official Mirror dl.fedoraproject.org
Header files for developing applications that use cryptominisat4.

Alternatives

Package Version Architecture Repository
cryptominisat4-devel-4.5.3-6.fc25.i686.rpm 4.5.3 i686 Fedora
cryptominisat4-devel-4.5.3-6.fc25.x86_64.rpm 4.5.3 x86_64 Fedora
cryptominisat4-devel - - -

Requires

Name Value
cryptominisat4-libs(x86-32) = 4.5.3-6.fc25
libcryptominisat4.so.4.5 -
m4ri-devel(x86-32) -
tbb-devel(x86-32) -

Provides

Name Value
cmake(cryptominisat4) -
cryptominisat4-devel = 4.5.3-6.fc25
cryptominisat4-devel(x86-32) = 4.5.3-6.fc25

Download

Type URL
Binary Package cryptominisat4-devel-4.5.3-6.fc25.i686.rpm
Source Package cryptominisat4-4.5.3-6.fc25.src.rpm

Install Howto

Install the cryptominisat4-devel rpm package:

# dnf install cryptominisat4-devel

Files

Path
/usr/include/cryptominisat4/cryptominisat.h
/usr/include/cryptominisat4/solvertypesmini.h
/usr/lib/libcryptominisat4.so
/usr/lib/cmake/
/usr/lib/cmake/cryptominisat4/cryptominisat4Config.cmake
/usr/lib/cmake/cryptominisat4/cryptominisat4Targets-relwithdebinfo.cmake
/usr/lib/cmake/cryptominisat4/cryptominisat4Targets.cmake

Changelog

2016-07-19 - Fedora Release Engineering <rel-eng@lists.fedoraproject.org> - 4.5.3-6
- https://fedoraproject.org/wiki/Changes/Automatic_Provides_for_Python_RPM_Packages
2016-02-03 - Fedora Release Engineering <releng@fedoraproject.org> - 4.5.3-5
- Rebuilt for https://fedoraproject.org/wiki/Fedora_24_Mass_Rebuild
2016-01-15 - Jonathan Wakely <jwakely@redhat.com> - 4.5.3-4
- Rebuilt for Boost 1.60
2015-09-04 - Jonathan Wakely <jwakely@redhat.com> - 4.5.3-3
- Rebuilt for Boost 1.59
2015-08-28 - Jerry James <loganjerry@gmail.com> - 4.5.3-2
- Fix license
- Also remove rpath from cryptominisat4_simple
2015-08-28 - Jerry James <loganjerry@gmail.com> - 4.5.3-1
- New upstream version
2015-08-22 - Jerry James <loganjerry@gmail.com> - 4.5.2-1
- Initial RPM

See Also

Package Description
cryptominisat4-libs-4.5.3-6.fc25.i686.rpm Cryptominisat library
cryptominisat4-libs-4.5.3-6.fc25.x86_64.rpm Cryptominisat library
cryptopp-5.6.3-5.fc25.i686.rpm C++ class library of cryptographic schemes
cryptopp-5.6.3-5.fc25.x86_64.rpm C++ class library of cryptographic schemes
cryptopp-devel-5.6.3-5.fc25.i686.rpm Header files and development documentation for cryptopp
cryptopp-devel-5.6.3-5.fc25.x86_64.rpm Header files and development documentation for cryptopp
cryptopp-doc-5.6.3-5.fc25.noarch.rpm Documentation for cryptopp
cryptopp-progs-5.6.3-5.fc25.x86_64.rpm Programs for manipulating cryptopp routines
cryptsetup-1.7.2-3.fc25.x86_64.rpm A utility for setting up encrypted disks
cryptsetup-devel-1.7.2-3.fc25.i686.rpm Headers and libraries for using encrypted file systems
cryptsetup-devel-1.7.2-3.fc25.x86_64.rpm Headers and libraries for using encrypted file systems
cryptsetup-libs-1.7.2-3.fc25.i686.rpm Cryptsetup shared library
cryptsetup-libs-1.7.2-3.fc25.x86_64.rpm Cryptsetup shared library
cryptsetup-python-1.7.2-3.fc25.x86_64.rpm Python bindings for libcryptsetup
cryptsetup-python3-1.7.2-3.fc25.x86_64.rpm Python3 bindings for libcryptsetup
Advertisement
Advertisement