Download

Repository: riscv64/stable

Package time:

Size: 1479660

SHA256: d152c47e7a98141f233c96fcfab92cbe175cc12951acc1f32053aa304952049e

Installed Size: 4.95 MiB

Maintainer: Camber Huang<[email protected]>

Library depends: ld-linux-riscv64-lp64d.so.1, 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: