Repository: amd64/stable
Package time:
Size: 2438212
SHA256: e24e356e3520578b8abf2699998c74830e8568b8fa650faff0284e336e624604
Installed Size: 6.99 MiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
Library depends: ld-linux-x86-64.so.2, libclingo.so.4, libc.so.6, libgcc_s.so.1, liblua5.1.so.5.1, libm.so.6, libpython3.10.so.1.0, libstdc++.so.6
Library provides: libclingo.so.4, libclingo.so.4.0
Files:
- -rwxr-xr-x root(0) root(0) 0 /usr
- -rwxr-xr-x root(0) root(0) 0
- -rwxr-xr-x root(0) root(0) 0 /usr/bin
- -rwxr-xr-x root(0) root(0) 0 /usr/include
- -rwxr-xr-x root(0) root(0) 0 /usr/lib
- -rwxr-xr-x root(0) root(0) 0 /usr/share
- -rwxr-xr-x root(0) root(0) 1.0M /usr/bin/clasp
- -rwxr-xr-x root(0) root(0) 443K /usr/bin/clingo
- -rwxr-xr-x root(0) root(0) 443K /usr/bin/gringo
- -rwxr-xr-x root(0) root(0) 166K /usr/bin/lpconvert
- -rwxr-xr-x root(0) root(0) 134K /usr/bin/reify
- -rw-r--r-- root(0) root(0) 182K /usr/include/clingo.h
- -rw-r--r-- root(0) root(0) 165K /usr/include/clingo.hh
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/cmake
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libclingo.so
- -rwxrwxrwx root(0) root(0) 0 /usr/lib/libclingo.so.4
- -rwxr-xr-x root(0) root(0) 3.4M /usr/lib/libclingo.so.4.0
- -rw-r--r-- root(0) root(0) 339K /usr/lib/libluaclingo.a
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/cmake/Clingo
- -rw-r--r-- root(0) root(0) 1.4K /usr/lib/cmake/Clingo/ClingoConfig.cmake
- -rw-r--r-- root(0) root(0) 2.7K /usr/lib/cmake/Clingo/ClingoConfigVersion.cmake
- -rw-r--r-- root(0) root(0) 4.3K /usr/lib/cmake/Clingo/ClingoTargets.cmake
- -rw-r--r-- root(0) root(0) 856 /usr/lib/cmake/Clingo/ClingoTargets-relwithdebinfo.cmake
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages/clingo
- -rwxr-xr-x root(0) root(0) 0 /usr/lib/python3.10/site-packages/clingo-5.7.1.dist-info
- -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.10/site-packages/clingo/application.py
- -rw-r--r-- root(0) root(0) 67K /usr/lib/python3.10/site-packages/clingo/ast.py
- -rw-r--r-- root(0) root(0) 28K /usr/lib/python3.10/site-packages/clingo/backend.py
- -rwxr-xr-x root(0) root(0) 290K /usr/lib/python3.10/site-packages/clingo/_clingo.cpython-310-x86_64-linux-gnu.so
- -rw-r--r-- root(0) root(0) 6.1K /usr/lib/python3.10/site-packages/clingo/configuration.py
- -rw-r--r-- root(0) root(0) 34K /usr/lib/python3.10/site-packages/clingo/control.py
- -rw-r--r-- root(0) root(0) 3.0K /usr/lib/python3.10/site-packages/clingo/core.py
- -rw-r--r-- root(0) root(0) 3.7K /usr/lib/python3.10/site-packages/clingo/__init__.py
- -rw-r--r-- root(0) root(0) 4.6K /usr/lib/python3.10/site-packages/clingo/_internal.py
- -rw-r--r-- root(0) root(0) 523 /usr/lib/python3.10/site-packages/clingo/__main__.py
- -rw-r--r-- root(0) root(0) 28K /usr/lib/python3.10/site-packages/clingo/propagator.py
- -rw-r--r-- root(0) root(0) 0 /usr/lib/python3.10/site-packages/clingo/py.typed
- -rw-r--r-- root(0) root(0) 8.6K /usr/lib/python3.10/site-packages/clingo/script.py
- -rw-r--r-- root(0) root(0) 18K /usr/lib/python3.10/site-packages/clingo/solving.py
- -rw-r--r-- root(0) root(0) 11K /usr/lib/python3.10/site-packages/clingo/statistics.py
- -rw-r--r-- root(0) root(0) 5.6K /usr/lib/python3.10/site-packages/clingo/symbolic_atoms.py
- -rw-r--r-- root(0) root(0) 8.2K /usr/lib/python3.10/site-packages/clingo/symbol.py
- -rw-r--r-- root(0) root(0) 7.5K /usr/lib/python3.10/site-packages/clingo/theory_atoms.py
- -rw-r--r-- root(0) root(0) 13K /usr/lib/python3.10/site-packages/clingo/theory.py
- -rw-r--r-- root(0) root(0) 2.3K /usr/lib/python3.10/site-packages/clingo/util.py
- -rw-r--r-- root(0) root(0) 4 /usr/lib/python3.10/site-packages/clingo-5.7.1.dist-info/INSTALLER
- -rw-r--r-- root(0) root(0) 50 /usr/lib/python3.10/site-packages/clingo-5.7.1.dist-info/METADATA
- -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