| Name : python-satsolver
| |
| Version : 0.14.20
| Vendor : obs://build_opensuse_org/home:skycsm
|
| Release : 3.1
| Date : 2012-09-10 08:41:15
|
| Group : Development/Languages/Python
| Source RPM : libsatsolver-0.14.20-3.1.src.rpm
|
| Size : 5.44 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_SP2/i586 |
Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server
Provides :
_satsolver.so
python-satsolver
Requires :
