picosat-devel-936-14.mga7.i586.rpm


Advertisement

Description

picosat-devel - Development files for PicoSAT

Property Value
Distribution Mageia 7
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.

Alternatives

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

Requires

Name Value
libpicosat1 = 936-14.mga7

Provides

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

Download

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 the repository in Software Management
  2. Install picosat-devel rpm package:
    # dnf install picosat-devel

Files

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

Changelog

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-4.mga7.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-4.mga7.i586.rpm Bonjour plugin for Purple
pidgin-chime-1.1-4.mga7.i586.rpm Pidgin/libpurple protocol plugin for Amazon Chime
pidgin-client-2.13.0-4.mga7.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-4.mga7.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-4.mga7.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
Advertisement
Advertisement