cryptominisat4-libs-4.5.3-6.fc25.x86_64.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: x86_64
Package type: rpm
Installed size: 751.16 KB
Download size: 323.85 KB
Official Mirror: dl.fedoraproject.org
The cryptominisat4 library.

Provides

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

    Install Howto

    Install the cryptominisat4-libs rpm package:

    # dnf install cryptominisat4-libs

    Files

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

    Changelog

    Advertisement
    Advertisement