media-plugins/waylyrics: add 0.2.15, drop 0.2.13
[gentoo-zh.git] / dev-python / pycosat / 
treee5285978651773369318f9d03803a0780602ccf3
drwxr-xr-x   ..
-rw-r--r-- 305 Manifest
-rw-r--r-- 325 metadata.xml
-rw-r--r-- 466 pycosat-0.6.6.ebuild