Repository: riscv64/stable
Package time:
Size: 2702820
SHA256: 436a4adc670359d14e712eec1f756f95179153a1f46ca64d67ad29465be3692c
Installed Size: 7.71 MiB
Maintainer: Mingcong Bai <jeffbai@aosc.io>
Library depends: ld-linux-riscv64-lp64d.so.1, 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) 923K /usr/bin/clasp
- -rwxr-xr-x root(0) root(0) 406K /usr/bin/clingo
- -rwxr-xr-x root(0) root(0) 406K /usr/bin/gringo
- -rwxr-xr-x root(0) root(0) 138K /usr/bin/lpconvert
- -rwxr-xr-x root(0) root(0) 106K /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) 2.9M /usr/lib/libclingo.so.4.0
- -rw-r--r-- root(0) root(0) 1.8M /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) 278K /usr/lib/python3.10/site-packages/clingo/_clingo.cpython-310-riscv64-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