cryptominisat-devel-5.6.8-3.fc32.x86_64.rpm


Advertisement

Description

cryptominisat-devel - Header files for developing with cryptominisat

Property Value
Distribution Fedora Rawhide
Repository Fedora x86_64
Package filename cryptominisat-devel-5.6.8-3.fc32.x86_64.rpm
Package name cryptominisat-devel
Package version 5.6.8
Package release 3.fc32
Package architecture x86_64
Package type rpm
Homepage http://www.msoos.org/
License MIT
Maintainer -
Download size 19.93 KB
Installed size 42.12 KB
Header files for developing applications that use cryptominisat.

Alternatives

Package Version Architecture Repository
cryptominisat-devel-5.6.8-3.fc32.i686.rpm 5.6.8 i686 Fedora
cryptominisat-devel - - -

Requires

Name Value
cmake-filesystem -
cmake-filesystem(x86-64) -
cryptominisat-libs(x86-64) = 5.6.8-3.fc32
libcryptominisat5.so.5.6()(64bit) -
m4ri-devel(x86-64) -
tbb-devel(x86-64) -

Provides

Name Value
cmake(cryptominisat5) -
cryptominisat-devel = 5.6.8-3.fc32
cryptominisat-devel(x86-64) = 5.6.8-3.fc32

Download

Type URL
Mirror download-ib01.fedoraproject.org
Binary Package cryptominisat-devel-5.6.8-3.fc32.x86_64.rpm
Source Package cryptominisat-5.6.8-3.fc32.src.rpm

Install Howto

Install cryptominisat-devel rpm package:

# dnf install cryptominisat-devel

Files

Path
/usr/include/cryptominisat5/cryptominisat.h
/usr/include/cryptominisat5/cryptominisat_c.h
/usr/include/cryptominisat5/dimacsparser.h
/usr/include/cryptominisat5/solvertypesmini.h
/usr/include/cryptominisat5/streambuffer.h
/usr/lib64/libcryptominisat5.so
/usr/lib64/cmake/cryptominisat5/cryptominisat5Config.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
/usr/lib64/cmake/cryptominisat5/cryptominisat5Targets.cmake

Changelog

2019-08-19 - Miro HronĨok <mhroncok@redhat.com> - 5.6.8-3
- Rebuilt for Python 3.8
2019-07-24 - Fedora Release Engineering <releng@fedoraproject.org> - 5.6.8-2
- Rebuilt for https://fedoraproject.org/wiki/Fedora_31_Mass_Rebuild
2019-02-19 - Jerry James <loganjerry@gmail.com> - 5.6.8-1
- New upstream release
2019-01-31 - Fedora Release Engineering <releng@fedoraproject.org> - 5.6.6-4
- Rebuilt for https://fedoraproject.org/wiki/Fedora_30_Mass_Rebuild
2019-01-24 - Jonathan Wakely <jwakely@redhat.com> - 5.6.6-3
- Rebuilt for Boost 1.69
2019-01-17 - Jerry James <loganjerry@gmail.com> - 5.6.6-2
- Fix FTBFS with latest cmake release
2018-12-24 - Jerry James <loganjerry@gmail.com> - 5.6.6-1
- New upstream release
2018-10-13 - Jerry James <loganjerry@gmail.com> - 5.6.5-1
- New upstream release
- Drop the python2 subpackage
2018-08-08 - Jerry James <loganjerry@gmail.com> - 5.6.4-1
- New upstream release
2018-07-21 - Jerry James <loganjerry@gmail.com> - 5.6.3-4
- Add Obsoletes and Provides for cryptominisat4

See Also

Package Description
cryptominisat-libs-5.6.8-3.fc32.i686.rpm Cryptominisat library
cryptominisat-libs-5.6.8-3.fc32.x86_64.rpm Cryptominisat library
cryptopp-8.2.0-2.fc31.i686.rpm C++ class library of cryptographic schemes
cryptopp-8.2.0-2.fc31.x86_64.rpm C++ class library of cryptographic schemes
cryptopp-devel-8.2.0-2.fc31.i686.rpm Header files and development documentation for cryptopp
cryptopp-devel-8.2.0-2.fc31.x86_64.rpm Header files and development documentation for cryptopp
cryptopp-doc-8.2.0-2.fc31.noarch.rpm Documentation for cryptopp
cryptopp-progs-8.2.0-2.fc31.x86_64.rpm Programs for manipulating cryptopp routines
cryptsetup-2.2.1-1.fc32.x86_64.rpm A utility for setting up encrypted disks
cryptsetup-devel-2.2.1-1.fc32.i686.rpm Headers and libraries for using encrypted file systems
cryptsetup-devel-2.2.1-1.fc32.x86_64.rpm Headers and libraries for using encrypted file systems
cryptsetup-libs-2.2.1-1.fc32.i686.rpm Cryptsetup shared library
cryptsetup-libs-2.2.1-1.fc32.x86_64.rpm Cryptsetup shared library
cryptsetup-reencrypt-2.2.1-1.fc32.x86_64.rpm A utility for offline reencryption of LUKS encrypted disks
crystal-stacker-1.5-29.fc31.x86_64.rpm Falling blocks, match 3 or more of the same color crystals
Advertisement
Advertisement