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


Advertisement

Description

cryptominisat4-libs - Cryptominisat library

Distribution: Fedora 25
Repository: Fedora x86_64
Package name: cryptominisat4-libs
Package version: 4.5.3
Package release: 6.fc25
Package architecture: i686
Package type: rpm
Installed size: 818.99 KB
Download size: 351.78 KB
Official Mirror: dl.fedoraproject.org
The cryptominisat4 library.

Provides

  • cryptominisat4-libs = 4.5.3-6.fc25
  • cryptominisat4-libs(x86-32) = 4.5.3-6.fc25
  • libcryptominisat4.so.4.5

    Install Howto

    Install the cryptominisat4-libs rpm package:

    # dnf install cryptominisat4-libs

    Files

    • /usr/lib/libcryptominisat4.so.4.5
    • /usr/share/doc/cryptominisat4-libs/AUTHORS
    • /usr/share/licenses/cryptominisat4-libs/LICENSE-LGPL

    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