stp-devel-2.3.1-1.20180607git.c68788e.fc28.i686.rpm


Advertisement

Description

stp-devel - Development files for STP constraint solver/decision procedure

Property Value
Distribution Fedora 28
Repository Fedora Updates i386
Package name stp-devel
Package version 2.3.1
Package release 1.20180607git.c68788e.fc28
Package architecture i686
Package type rpm
Installed size 49.29 KB
Download size 24.46 KB
Official Mirror download-ib01.fedoraproject.org
Development files for the STP (Simple Theorem Prover),
a constraint solver (also referred to as a decision procedure
or automated prover).  Provides a static library.

Alternatives

Package Version Architecture Repository
stp-devel-2.3.1-1.20180607git.c68788e.fc28.x86_64.rpm 2.3.1 x86_64 Fedora Updates
stp-devel-2.3.1-1.20180607git.c68788e.fc28.i686.rpm 2.3.1 i686 Fedora Updates
stp-devel-2.1.2-12.20171116git.b67aa83.fc28.x86_64.rpm 2.1.2 x86_64 Fedora
stp-devel-2.1.2-12.20171116git.b67aa83.fc28.i686.rpm 2.1.2 i686 Fedora
stp-devel-2.1.2-12.20171116git.b67aa83.fc28.i686.rpm 2.1.2 i686 Fedora
stp-devel - - -

Requires

Name Value
cmake-filesystem(x86-32) -
libstp.so.2.1 -
stp(x86-32) = 2.3.1-1.20180607git.c68788e.fc28

Provides

Name Value
cmake(STP) = 2.1.2
stp-devel = 2.3.1-1.20180607git.c68788e.fc28
stp-devel(x86-32) = 2.3.1-1.20180607git.c68788e.fc28

Download

Type URL
Binary Package stp-devel-2.3.1-1.20180607git.c68788e.fc28.i686.rpm
Source Package stp-2.3.1-1.20180607git.c68788e.fc28.src.rpm

Install Howto

Install stp-devel rpm package:

# dnf install stp-devel

Files

Path
/usr/include/stp/c_interface.h
/usr/lib/libstp.so
/usr/lib/cmake/STP/STPConfig.cmake
/usr/lib/cmake/STP/STPConfigVersion.cmake
/usr/lib/cmake/STP/STPTargets-relwithdebinfo.cmake
/usr/lib/cmake/STP/STPTargets.cmake

Changelog

See stp-2.3.1-1.20180607git.c68788e.fc28.i686.rpm changelog.

See Also

Package Description
strace-4.26-1.fc28.i686.rpm Tracks and displays system calls associated with a running process
stratis-cli-1.0.0-2.fc28.noarch.rpm Command-line tool for interacting with the Stratis daemon
stratisd-0.5.2-2.fc28.i686.rpm Daemon that manages block devices to create filesystems
strawberry-0.5.2-2.fc28.i686.rpm An audio player and music collection organizer
strongswan-5.7.2-1.fc28.i686.rpm An OpenSource IPsec-based VPN and TNC solution
strongswan-charon-nm-5.7.2-1.fc28.i686.rpm NetworkManager plugin for Strongswan
strongswan-libipsec-5.7.2-1.fc28.i686.rpm Strongswan's libipsec backend
strongswan-sqlite-5.7.2-1.fc28.i686.rpm SQLite support for strongSwan
strongswan-tnc-imcvs-5.7.2-1.fc28.i686.rpm Trusted network connect (TNC)'s IMC/IMV functionality
stunnel-5.50-1.fc28.i686.rpm A TLS-encrypting socket wrapper
subscription-manager-1.24.2-1.fc28.i686.rpm Tools and libraries for subscription and repository management
subscription-manager-cockpit-1.24.2-1.fc28.noarch.rpm Subscription Manager Cockpit UI
subscription-manager-initial-setup-addon-1.24.2-1.fc28.i686.rpm initial-setup screens for subscription-manager
subscription-manager-migration-1.24.2-1.fc28.i686.rpm Migration scripts for moving to certificate based subscriptions
subscription-manager-plugin-container-1.24.2-1.fc28.i686.rpm A plugin for handling container content
Advertisement
Advertisement