the archive for the python library is unnecessary
the archive for the python library is unnecessary

potassco/clingo,peschue/clingo,potassco/clingo,potassco/clingo,potassco/clingo,peschue/clingo,peschue/clingo,peschue/clingo