picosat-devel - Development files for PicoSAT

Property Value
Distribution Mageia Cauldron
Repository Mageia Core i586
Package filename picosat-devel-936-14.mga7.i586.rpm
Package name picosat-devel
Package version 936
Package release 14.mga7
Package architecture i586
Package type rpm
Category Development/C
Homepage http://fmv.jku.at/picosat/
License MIT-like
Maintainer -
Download size 13.28 KB
Installed size 20.22 KB
Headers and other development files for PicoSAT.


Package Version Architecture Repository
picosat-devel-936-14.mga7.x86_64.rpm 936 x86_64 Mageia Core
picosat-devel - - -


Name Value
libpicosat1 == 936-14.mga7


Name Value
devel(libpicosat) -
devel(libpicosat-trace) -
picosat-devel == 936-14.mga7
picosat-devel(x86-32) == 936-14.mga7


Type URL
Mirror distrib-coffee.ipsl.jussieu.fr
Binary Package picosat-devel-936-14.mga7.i586.rpm
Source Package picosat-936-14.mga7.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




2018-09-23 - umeabot <umeabot> 936-14.mga7
(not released yet)
+ Revision: 1300262
- Mageia 7 Mass Rebuild
2018-07-10 - wally <wally> 936-13.mga7
+ Revision: 1242933
- drop unneeded post/postun scriptlets

See Also

Package Description
pidgin-2.13.0-6.mga8.i586.rpm A GTK+ based multiprotocol instant messaging client
pidgin-awayonlock-0.5.2-5.mga7.i586.rpm Away-on-Lock is simple plugin for Pidgin
pidgin-bonjour-2.13.0-6.mga8.i586.rpm Bonjour plugin for Purple
pidgin-chime-1.2-2.mga8.i586.rpm Pidgin/libpurple protocol plugin for Amazon Chime
pidgin-client-2.13.0-6.mga8.i586.rpm Plugin and sample client to control purple clients
pidgin-encryption-3.1-9.mga7.i586.rpm Pidgin extension, to use end to end encryption
pidgin-gpg-0.9-8.mga7.i586.rpm GPG plugin for pidgin
pidgin-hangouts-0-2.20171023hg4ce9b33.mga7.noarch.rpm Adds pixmaps, icons and smileys for Hangouts protocol
pidgin-i18n-2.13.0-6.mga8.noarch.rpm Translation files for Pidgin/Finch
pidgin-indicator-1.0.1-2.mga7.i586.rpm StatusNotifierItem tray icon plugin for Pidgin
pidgin-libnotify-0.14-19.mga7.i586.rpm Popup for Pidgin via libnotify and the notification-daemon
pidgin-lwqq-0.6.1-2.mga7.i586.rpm Pidgin plugin based on lwqq for webqq protocol
pidgin-meanwhile-2.13.0-6.mga8.i586.rpm Lotus Sametime Community Client plugin for Purple
pidgin-msn-pecan-0.1.4-2.mga7.i586.rpm Alternative implementation of the MSN protocol plug-in for libpurple
pidgin-musictracker-0.4.22-9.mga7.i586.rpm Plugin for Pidgin that displays the current song in the status