Contents filter
File | Package | Branch | Repository | Architecture |
---|---|---|---|---|
/usr/bin/clasp | clingo | v3.16 | community | s390x |
/usr/bin/clingo | clingo | v3.16 | community | s390x |
/usr/bin/gringo | clingo | v3.16 | community | s390x |
/usr/bin/lpconvert | clingo | v3.16 | community | s390x |
/usr/bin/reify | clingo | v3.16 | community | s390x |
/usr/lib/libclingo.so.4 | clingo | v3.16 | community | s390x |
/usr/lib/libclingo.so.4.0 | clingo | v3.16 | community | s390x |