libminisat-devel-static-2.2.0-alt5.x86_64.rpm


Advertisement

Description

libminisat-devel-static - The static library with libminisat functions

Distribution: ALT Linux Sisyphus
Repository: Classic x86_64
Package name: libminisat-devel-static
Package version: 2.2.0
Package release: alt5
Package architecture: x86_64
Package type: rpm
Installed size: 859.21 KB
Download size: 859.21 KB
Official Mirror: ftp.altlinux.org
The static library with libminisat functions.

Requires

Provides

  • libminisat-devel-static = 2.2.0-alt5

    Install Howto

    1. Add the following line to /etc/apt/sources.list:
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus x86_64 classic
      rpm [Sisyphus] http://ftp.altlinux.org/pub/distributions/ALTLinux/Sisyphus noarch classic
      
    2. Update the package index:
      # sudo apt-get update
    3. Install libminisat-devel-static rpm package:
      # sudo apt-get install libminisat-devel-static

    Files

    • /usr/lib64/libminisat.a

    Changelog

    Advertisement
    Advertisement