Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help

The search service can find package by either name (apache), provides(webserver), absolute file names (/usr/bin/apache), binaries (gprof) or shared libraries (libXm.so.2) in standard path. It does not support multiple arguments yet...

The System and Arch are optional added filters, for example System could be "redhat", "redhat-7.2", "mandrake" or "gnome", Arch could be "i386" or "src", etc. depending on your system.

System Arch

RPM resource pico

Found 24 RPM for pico

PackageSummaryDistributionDownload
libpicosat-trace1-936-12.mga6.armv5tl.htmlA SAT solver libraryMageia 6 for armv5tllibpicosat-trace1-936-12.mga6.armv5tl.rpm
libpicosat-trace1-936-12.mga6.armv5tl.htmlA SAT solver libraryMageia Cauldron for armv5tllibpicosat-trace1-936-12.mga6.armv5tl.rpm
libpicosat-trace1-936-12.mga6.armv7hl.htmlA SAT solver libraryMageia Cauldron for armv7hllibpicosat-trace1-936-12.mga6.armv7hl.rpm
libpicosat-trace1-936-12.mga6.armv7hl.htmlA SAT solver libraryMageia 6 for armv7hllibpicosat-trace1-936-12.mga6.armv7hl.rpm
libpicosat-trace1-936-12.mga6.i586.htmlA SAT solver libraryMageia Cauldron for i586libpicosat-trace1-936-12.mga6.i586.rpm
libpicosat-trace1-936-12.mga6.i586.htmlA SAT solver libraryMageia 6 for i586libpicosat-trace1-936-12.mga6.i586.rpm
libpicosat-trace1-936-11.mga5.i586.htmlA SAT solver libraryMageia 5 for i586libpicosat-trace1-936-11.mga5.i586.rpm
libpicosat-trace1-936-8.mga4.i586.htmlA SAT solver libraryMageia 4 for i586libpicosat-trace1-936-8.mga4.i586.rpm
libpicosat-trace1-936-7.mga3.i586.htmlA SAT solver libraryMageia 3 for i586libpicosat-trace1-936-7.mga3.i586.rpm

libpicosat0-936-3.i586.htmlA SAT solver libraryMandriva devel cooker for i586libpicosat0-936-3.i586.rpm
libpicosat0-936-3.i586.htmlA SAT solver libraryMandriva 2011 for i586libpicosat0-936-3.i586.rpm

libpicosat1-936-12.mga6.armv5tl.htmlA SAT solver libraryMageia Cauldron for armv5tllibpicosat1-936-12.mga6.armv5tl.rpm
libpicosat1-936-12.mga6.armv5tl.htmlA SAT solver libraryMageia 6 for armv5tllibpicosat1-936-12.mga6.armv5tl.rpm
libpicosat1-936-12.mga6.armv7hl.htmlA SAT solver libraryMageia 6 for armv7hllibpicosat1-936-12.mga6.armv7hl.rpm
libpicosat1-936-12.mga6.armv7hl.htmlA SAT solver libraryMageia Cauldron for armv7hllibpicosat1-936-12.mga6.armv7hl.rpm
libpicosat1-936-12.mga6.i586.htmlA SAT solver libraryMageia 6 for i586libpicosat1-936-12.mga6.i586.rpm
libpicosat1-936-12.mga6.i586.htmlA SAT solver libraryMageia Cauldron for i586libpicosat1-936-12.mga6.i586.rpm
libpicosat1-936-11.mga5.i586.htmlA SAT solver libraryMageia 5 for i586libpicosat1-936-11.mga5.i586.rpm
libpicosat1-936-8.mga4.i586.htmlA SAT solver libraryMageia 4 for i586libpicosat1-936-8.mga4.i586.rpm
libpicosat1-936-7.mga3.i586.htmlA SAT solver libraryMageia 3 for i586libpicosat1-936-7.mga3.i586.rpm
libpicosat1-936-6.i586.htmlA SAT solver libraryMandriva devel cooker for i586libpicosat1-936-6.i586.rpm
libpicosat1-936-6.i586.htmlA SAT solver libraryMandriva 2011 for i586libpicosat1-936-6.i586.rpm

libpicosat936-936-2.i586.htmlA SAT solver libraryMandriva 2011 for i586libpicosat936-936-2.i586.rpm
libpicosat936-936-2.i586.htmlA SAT solver libraryMandriva devel cooker for i586libpicosat936-936-2.i586.rpm

Generated by rpm2html 1.6

Fabrice Bellet