cryptominisat4-devel-4.5.3-6.fc25.x86_64.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 x86_64
Package type rpm
Installed size 14.18 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.i686.rpm 4.5.3 i686 Fedora
cryptominisat4-devel - - -

Requires

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

Provides

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

Download

Type URL
Binary Package cryptominisat4-devel-4.5.3-6.fc25.x86_64.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/lib64/libcryptominisat4.so
/usr/lib64/cmake/
/usr/lib64/cmake/cryptominisat4/cryptominisat4Config.cmake
/usr/lib64/cmake/cryptominisat4/cryptominisat4Targets-relwithdebinfo.cmake
/usr/lib64/cmake/cryptominisat4/cryptominisat4Targets.cmake

Changelog

See cryptominisat4-4.5.3-6.fc25.x86_64.rpm changelog.

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