SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

picosat-devel rpm build for : Mandriva 2011. For other distributions click picosat-devel.

Name : picosat-devel
Version : 936 Vendor : Mandriva
Release : 6 Date : 2011-02-27 16:48:08
Group : Development/C Source RPM : picosat-936-6.src.rpm
Size : 0.02 MB
Packager : Funda Wang < fwang_mandriva_org>
Summary : Development files for PicoSAT
Description :
Headers and other development files for PicoSAT.

RPM found in directory: /vol/rzm6/linux-mandriva/official/2011/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  picosat-devel-936-6-mdv2011.0.i586.rpm
     Search for other platforms
picosat-devel-936-6-mdv2011.0.sparc.rpm
picosat-devel-936-6-mdv2011.0.alpha.rpm
picosat-devel-936-6-mdv2011.0.ppc.rpm
picosat-devel-936-6-mdv2011.0.ia64.rpm
picosat-devel-936-6-mdv2011.0.s390.rpm

Provides :
devel(libpicosat)
devel(libpicosat-trace)
picosat-devel

Requires :
libpicosat1 = 936-6
rpmlib(PayloadIsLzma) <= 4.4.6-1


Content of RPM :
/usr/include/picosat/picosat.h
/usr/lib/libpicosat-trace.so
/usr/lib/libpicosat.so

 
ICM
This page is using cookies. Read moreOK, I understand