clasp 3.3.9-1.0 (scheduled for removal)
Architecture: | i686 |
---|---|
Repository: | i686/community |
Description: | Answer set solver |
Upstream URL: | https://potassco.org/ |
License(s): | GPL3 |
Package Size: | 701.45 kB |
Installed Size: | 1975.48 kB |
Build Date: | 2022-09-16 13:23:28 |
Last Updated: | 2022-09-23 18:11:06 |
Dependencies (37)
- cmake (make)
- git (make)
- ninja (make)
- libc.so.6 (aarch64-linux-gnu-glibc, glibc) (link)
- libc.so.6-GLIBC_2.0-0x0d696910 (glibc) (link)
- libc.so.6-GLIBC_2.1-0x0d696911 (glibc) (link)
- libc.so.6-GLIBC_2.1.3-0x09691f73 (glibc) (link)
- libc.so.6-GLIBC_2.2-0x0d696912 (glibc) (link)
- libc.so.6-GLIBC_2.3-0x0d696913 (glibc) (link)
- libc.so.6-GLIBC_2.3.4-0x09691974 (glibc) (link)
- libc.so.6-GLIBC_2.34-0x069691b4 (glibc) (link)
- libc.so.6-GLIBC_2.4-0x0d696914 (glibc) (link)
- libc.so.6-GLIBC_2.7-0x0d696917 (glibc) (link)
-
libgcc_s.so.1 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libgcc_s.so.1-GCC_3.0-0x0b792650 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libgcc_s.so.1-GCC_3.3.1-0x09265f61 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libgcc_s.so.1-GCC_7.0.0-0x092a5a60 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libgcc_s.so.1-GLIBC_2.0-0x0d696910 (gcc-libs,
aarch64-linux-gnu-gcc) (link) - libm.so.6 (aarch64-linux-gnu-glibc, glibc) (link)
- libm.so.6-GLIBC_2.0-0x0d696910 (glibc) (link)
- libm.so.6-GLIBC_2.29-0x06969189 (glibc) (link)
-
libstdc++.so.6 (
aarch64-linux-gnu-gcc, gcc-libs, gcc) (link) -
libstdc++.so.6-CXXABI_1.3-0x056bafd3 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-CXXABI_1.3.5-0x0bafd175 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-CXXABI_1.3.8-0x0bafd178 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4-0x08922974 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4.11-0x0297f861 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4.15-0x0297f865 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.17-0x0297f867 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.18-0x0297f868 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.19-0x0297f869 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.20-0x0297f870 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.21-0x0297f871 (
aarch64-linux-gnu-gcc, gcc-libs) (link) -
libstdc++.so.6-GLIBCXX_3.4.22-0x0297f872 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4.29-0x0297f879 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4.30-0x0297f840 (gcc-libs,
aarch64-linux-gnu-gcc) (link) -
libstdc++.so.6-GLIBCXX_3.4.9-0x02297f89 (gcc-libs,
aarch64-linux-gnu-gcc) (link)