SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

devel rpm build for : Mandrake Other. For other distributions click devel.

Name : devel
Version : 936 Vendor : Mandriva
Release : 2 Date : 2011-02-21 12:49:14
Group : Development/C Source RPM : picosat-936-2.src.rpm
Size : 0.02 MB
Packager : Alexandre Lissy < alissy_mandriva_com>
Summary : Development files for PicoSAT
Description :
Headers and other development files for PicoSAT.

RPM found in directory: /vol/rzm6/linux-mandriva/devel/cooker/i586/media/contrib/release

Content of RPM  Changelog  Provides Requires

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

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

Requires :
picosat-libs = 936-2
rpmlib(PayloadIsLzma) <= 4.4.6-1


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

 
ICM