https://bugzilla.redhat.com/show_bug.cgi?id=1093500
--- Comment #14 from Scott K Logan logans@cottsay.net --- Hey, Ben -
I did some work on this Sunday, and it looks like the Potassco codebase is in significantly better shape than it was when I started these reviews. Instead of the currently proposed model, I'd like to make these three packages: 1) libpotassco 2) clasp 3) clingo - clingo - gringo - libreify - python-clingo - lua-clingo
I have the first two done-ish, but the last one is pretty big, and unfortunately I need to do some work to unbundle clasp and libpotassco from it.
I'll keep you updated, and will probably submit the first two for review sooner rather than later. The spec files are structured almost identically, anyway.