picosat-devel-936-7-omv4000.x86_64.rpm


Advertisement

Description

picosat-devel - Development files for PicoSAT

Property Value
Distribution OpenMandriva Cooker
Repository OpenMandriva Unsupported Release x86_64
Package filename picosat-devel-936-7-omv4000.x86_64.rpm
Package name picosat-devel
Package version 936
Package release 7-omv4000
Package architecture x86_64
Package type rpm
Homepage -
License -
Maintainer -
Download size 13.67 KB
Installed size 20.22 KB
Headers and other development files for PicoSAT.

Alternatives

Package Version Architecture Repository
picosat-devel-936-7-omv4000.i686.rpm 936 i686 OpenMandriva Unsupported Release
picosat-devel - - -

Requires

Name Value
lib64picosat1 = 936-7

Provides

Name Value
devel(libpicosat(64bit)) -
devel(libpicosat-trace(64bit)) -
picosat-devel = 936-7
picosat-devel(x86-64) = 936-7

Download

Type URL
Mirror abf-downloads.openmandriva.org
Binary Package picosat-devel-936-7-omv4000.x86_64.rpm
Source Package picosat-936-7.src.rpm

Install Howto

  1. Enable the repository in Software Repository Picker:
    # om-repo-picker
  2. Install picosat-devel rpm package:
    # dnf install picosat-devel

Files

Path
/usr/include/picosat/picosat.h
/usr/lib64/libpicosat-trace.so
/usr/lib64/libpicosat.so

See Also

Package Description
picviz-cli-0.6-3-omv4000.x86_64.rpm Command-line frontend for picviz
pidgin-lastfm-0.4a-5-omv4000.x86_64.rpm Last.fm Plugin for Pidgin
pidgin-microblog-0.3.0-2-omv4000.x86_64.rpm Libpurple plug-in supporting microblog services like Twitter
pidgin-musictracker-0.4.22-4-omv4000.x86_64.rpm Plugin for Pidgin that displays the current song in the status
pidgin-otr-4.0.2-1-omv4000.x86_64.rpm Pidgin plugin that implements Off-the-Record Messaging
pidgin-privacy-please-0.7.1-2-omv4000.x86_64.rpm Pidgin plugin to stop spammers from annoying you
pine2mutt-0.3-10-omv4000.noarch.rpm Makes mutt behave somewhat pine-like
pircbot-1.5.0-2-omv4000.noarch.rpm Java IRC API
pircbot-javadoc-1.5.0-2-omv4000.noarch.rpm Javadoc for pircbot
pisg-0.72-5-omv4000.noarch.rpm An IRC channel statics generator
pius-2.0.9-2-omv4000.noarch.rpm A tool for signing and emailing all UIDs on a set of PGP keys
pkgdiff-1.3.3-2-omv4000.noarch.rpm A tool for analyzing changes in Linux software packages
pklasku-1.0.4-6-omv4000.noarch.rpm Web application to create Finnish invoices
pktstat-1.8.5-2-omv4000.x86_64.rpm Displays a live list of active connections and what files are being transferred
plasma-applet-qalculate-0.6-1-omv4000.x86_64.rpm Qalculate! applet for plasma desktop
Advertisement
Advertisement