Repository: riscv64/stable
Package time:
Size: 2733292
SHA256: 9977181e4b9eafefffe3231923a0dd7c5b11dfbf917a73d01890dfa348c99ea7
Installed Size: 7.50 MiB
Maintainer: AOSC OS Maintainers <[email protected]>
Library depends: ld-linux-riscv64-lp64d.so.1, libc.so.6, libclingo.so.4, 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 /usr/bin
- -rwxr-xr-x root(0) root(0) 859K /usr/bin/clasp
- -rwxr-xr-x root(0) root(0) 382K /usr/bin/clingo
- -rwxr-xr-x root(0) root(0) 382K /usr/bin/gringo
- -rwxr-xr-x root(0) root(0) 130K /usr/bin/lpconvert
- -rwxr-xr-x root(0) root(0) 98K /usr/bin/reify
- -rwxr-xr-x root(0) root(0) 0 /usr/include
- -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
- -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.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) 856 /usr/lib/cmake/Clingo/ClingoTargets-relwithdebinfo.cmake
- -rw-r--r-- root(0) root(0) 4.3K /usr/lib/cmake/Clingo/ClingoTargets.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) 2.6M /usr/lib/libclingo.so.4.0
- -rw-r--r-- root(0) root(0) 2.1M /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/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) 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
- -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) 523 /usr/lib/python3.10/site-packages/clingo/__main__.py
- -rwxr-xr-x root(0) root(0) 257K /usr/lib/python3.10/site-packages/clingo/_clingo.cpython-310-riscv64-linux-gnu.so
- -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) 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
- -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) 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) 8.2K /usr/lib/python3.10/site-packages/clingo/symbol.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) 13K /usr/lib/python3.10/site-packages/clingo/theory.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) 2.3K /usr/lib/python3.10/site-packages/clingo/util.py
- -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