Repository: amd64/stable
Package time:
Size: 1517960
SHA256: 9f7480b12a085b4d7fd8147244f10fcc3f3e6f8c01a9bf131695b1b77bb4efd1
Installed Size: 6.00 MiB
Maintainer: WhiredPlanck <[email protected]>
Library depends: ld-linux-x86-64.so.2, libclingo.so.3, libc.so.6, libgcc_s.so.1, liblua5.1.so.5.1, libluaclingo.so.1, libm.so.6, libpyclingo.so.1, libpython3.10.so.1.0, libstdc++.so.6
Library provides: libclingo.so.3, libluaclingo.so.1, libpyclingo.so.1
Files:
- -rwxr-xr-x root(0) root(0) 0 /./usr
- -rwxr-xr-x root(0) root(0) 0 /./usr/bin
- -rwxr-xr-x root(0) root(0) 999K /./usr/bin/clasp
- -rwxr-xr-x root(0) root(0) 14K /./usr/bin/clingo
- -rwxr-xr-x root(0) root(0) 14K /./usr/bin/gringo
- -rwxr-xr-x root(0) root(0) 158K /./usr/bin/lpconvert
- -rwxr-xr-x root(0) root(0) 122K /./usr/bin/reify
- -rwxr-xr-x root(0) root(0) 0 /./usr/include
- -rw-r--r-- root(0) root(0) 151K /./usr/include/clingo.h
- -rw-r--r-- root(0) root(0) 180K /./usr/include/clingo.hh
- -rwxr-xr-x root(0) root(0) 0 /./usr/lib
- -rwxr-xr-x root(0) root(0) 0 /./usr/lib/cmake
- -rwxr-xr-x root(0) root(0) 0 /./usr/lib/cmake/Clingo
- -rw-r--r-- root(0) root(0) 1.3K /./usr/lib/cmake/Clingo/ClingoConfig.cmake
- -rw-r--r-- root(0) root(0) 2.8K /./usr/lib/cmake/Clingo/ClingoConfigVersion.cmake
- -rw-r--r-- root(0) root(0) 3.5K /./usr/lib/cmake/Clingo/ClingoTargets.cmake
- -rw-r--r-- root(0) root(0) 844 /./usr/lib/cmake/Clingo/ClingoTargets-relwithdebinfo.cmake
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libclingo.so
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libclingo.so.3
- -rwxr-xr-x root(0) root(0) 3.0M /./usr/lib/libclingo.so.3.0
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libluaclingo.so
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libluaclingo.so.1
- -rwxr-xr-x root(0) root(0) 166K /./usr/lib/libluaclingo.so.1.0
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libpyclingo.so
- -rwxrwxrwx root(0) root(0) 0 /./usr/lib/libpyclingo.so.1
- -rwxr-xr-x root(0) root(0) 560K /./usr/lib/libpyclingo.so.1.0
- -rwxr-xr-x root(0) root(0) 0 /./usr/lib/python3.10
- -rwxr-xr-x root(0) root(0) 0 /./usr/lib/python3.10/site-packages
- -rwxr-xr-x root(0) root(0) 560K /./usr/lib/python3.10/site-packages/clingo.cpython-310-x86_64-linux-gnu.so
- -rwxr-xr-x root(0) root(0) 0 /./usr/share
- -rwxr-xr-x root(0) root(0) 0 /./usr/share/doc
- -rwxr-xr-x root(0) root(0) 0 /./usr/share/doc/gringo
- -rw-r--r-- root(0) root(0) 1.1K /./usr/share/doc/gringo/LICENSE.md
- -rwxr-xr-x root(0) root(0) 0