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