| Name : python-satsolver
| |
| Version : 0.14.20
| Vendor : openSUSE Build Service
|
| Release : 3.1
| Date : 2012-09-10 08:39:35
|
| Group : Development/Languages/Python
| Source RPM : libsatsolver-0.14.20-3.1.src.rpm
|
| Size : 7.08 MB
| |
| Packager : (none)
| |
| Summary : Python bindings for sat solver
|
Description :
Python bindings for sat solver.
|
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/skycsm:/orig:/csm/SLE_11_SP1/x86_64 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
_satsolver.so()(64bit)
python-satsolver
Requires :
