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


Advertisement

Description

cryptominisat4-devel - Header files for developing with cryptominisat4

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.

Provides

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

    Install Howto

    Install the cryptominisat4-devel rpm package:

    # dnf install cryptominisat4-devel

    Files

    • /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

    Advertisement
    Advertisement