Name : python-satsolver
| |
Version : 0.14.17
| Vendor : openSUSE Build Service
|
Release : 1.2
| Date : 2012-03-18 03:58:53
|
Group : Development/Libraries/C and C++
| Source RPM : libsatsolver-0.14.17-1.2.src.rpm
|
Size : 1.98 MB
| |
Packager : (none)
| |
Summary : Python bindings for satsolver
|
Description :
This allows to use satsolver functionality from Python
Authors: -------- Michael Schroeder < mlsAATTsuse.de> Klaus Kaempf < kkaempfAATTsuse.de>
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/zhy20120210:/SLES-11-SP1-x86-64/SLE_11_SP1/i586 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
_satsolver.so
python-satsolver
Requires :