Contents filter
| File | Package | Branch | Repository | Architecture |
|---|---|---|---|---|
| /usr/bin/clasp | clingo | v3.13 | community | armv7 |
| /usr/bin/clingo | clingo | v3.13 | community | armv7 |
| /usr/bin/gringo | clingo | v3.13 | community | armv7 |
| /usr/bin/lpconvert | clingo | v3.13 | community | armv7 |
| /usr/bin/reify | clingo | v3.13 | community | armv7 |
| /usr/lib/libclingo.so.3 | clingo | v3.13 | community | armv7 |
| /usr/lib/libclingo.so.3.0 | clingo | v3.13 | community | armv7 |
| /usr/lib/libpyclingo.so.1 | clingo | v3.13 | community | armv7 |
| /usr/lib/libpyclingo.so.1.0 | clingo | v3.13 | community | armv7 |