picosat-devel-936-11.mga5.i586.rpm


Advertisement

Description

picosat-devel - Development files for PicoSAT

Property Value
Distribution Mageia 5.1
Repository Mageia Core i586
Package name picosat-devel
Package version 936
Package release 11.mga5
Package architecture i586
Package type rpm
Installed size 20.22 KB
Download size 14.36 KB
Official Mirror distrib-coffee.ipsl.jussieu.fr
Headers and other development files for PicoSAT.

Alternatives

Package Version Architecture Repository
picosat-devel-936-11.mga5.x86_64.rpm 936 x86_64 Mageia Core
picosat-devel - - -

Requires

Name Value
libpicosat1 == 936-11.mga5

Provides

Name Value
devel(libpicosat) -
devel(libpicosat-trace) -
picosat-devel == 936-11.mga5
picosat-devel(x86-32) == 936-11.mga5

Download

Type URL
Binary Package picosat-devel-936-11.mga5.i586.rpm
Source Package picosat-936-11.mga5.src.rpm

Install Howto

  1. Enable Mageia Core repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install picosat-devel rpm package:
    # urpmi picosat-devel

Files

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

Changelog

See picosat-936-11.mga5.i586.rpm changelog.

See Also

Package Description
pidgin-2.10.11-1.mga5.i586.rpm A GTK+ based multiprotocol instant messaging client
pidgin-awayonlock-0.5.2-3.mga5.i586.rpm Away-on-Lock is simple plugin for Pidgin
pidgin-bonjour-2.10.11-1.mga5.i586.rpm Bonjour plugin for Purple
pidgin-client-2.10.11-1.mga5.i586.rpm Plugin and sample client to control purple clients
pidgin-encryption-3.1-6.mga5.i586.rpm Pidgin extension, to use end to end encryption
pidgin-gpg-0.9-5.mga5.i586.rpm GPG plugin for pidgin
pidgin-i18n-2.10.11-1.mga5.noarch.rpm Translation files for Pidgin/Finch
pidgin-libnotify-0.14-16.mga5.i586.rpm Popup for Pidgin via libnotify and the notification-daemon
pidgin-lwqq-0.4.0-3.mga5.i586.rpm Pidgin plugin based on lwqq for webqq protocol
pidgin-meanwhile-2.10.11-1.mga5.i586.rpm Lotus Sametime Community Client plugin for Purple
pidgin-msn-pecan-0.1.3-9.mga5.i586.rpm Alternative implementation of the MSN protocol plug-in for libpurple
pidgin-musictracker-0.4.22-6.mga5.i586.rpm Plugin for Pidgin that displays the current song in the status
pidgin-otr-4.0.0-5.mga5.i586.rpm Pidgin plugin that implements Off-the-Record Messaging
pidgin-perl-2.10.11-1.mga5.i586.rpm Purple extension, to use perl scripting
pidgin-plugin-mrim-0.1.28.1-1.mga5.i586.rpm MRIM Plugin for libpurple and derived IM clients
Advertisement
Advertisement