Contents filter
File | Package | Branch | Repository | Architecture |
---|---|---|---|---|
/usr/include/clingo.h | clingo-dev | v3.13 | community | armv7 |
/usr/include/clingo.hh | clingo-dev | v3.13 | community | armv7 |
/usr/lib/cmake/Clingo/ClingoConfig.cmake | clingo-dev | v3.13 | community | armv7 |
/usr/lib/cmake/Clingo/ClingoConfigVersion.cmake | clingo-dev | v3.13 | community | armv7 |
/usr/lib/cmake/Clingo/ClingoTargets-none.cmake | clingo-dev | v3.13 | community | armv7 |
/usr/lib/cmake/Clingo/ClingoTargets.cmake | clingo-dev | v3.13 | community | armv7 |
/usr/lib/libclingo.so | clingo-dev | v3.13 | community | armv7 |
/usr/lib/libpyclingo.so | clingo-dev | v3.13 | community | armv7 |