INFO
Name: idris2-libs
Version: 0.8.0-1.el10_2
Arch: aarch64
Summary: idris2 runtime support library
License: BSD-3-Clause
Vendor: Fedora Project
Build Host: buildvm-a64-04.rdu3.fedoraproject.org
Build Date: Fri Nov 7 15:33:28 2025
Size: 71524
URL: https://www.idris-lang.org
Description: The package provide the runtime support library for idris2.
FILES
/usr/lib/.build-id
/usr/lib/.build-id/00
/usr/lib/.build-id/00/30f42f66f6e50c2fa28de31d254106c54bf73d
/usr/lib64/libidris2_support.so
/usr/share/licenses/idris2-libs
/usr/share/licenses/idris2-libs/LICENSE
REQUIRES
ld-linux-aarch64.so.1()(64bit)
ld-linux-aarch64.so.1(GLIBC_2.17)(64bit)
libc.so.6()(64bit)
libc.so.6(GLIBC_2.17)(64bit)
libc.so.6(GLIBC_2.33)(64bit)
libc.so.6(GLIBC_ABI_DT_RELR)(64bit)
rpmlib(CompressedFileNames) 3.0.4-1
rpmlib(FileDigests) 4.6.0-1
rpmlib(PayloadFilesHavePrefix) 4.0-1
rpmlib(PayloadIsZstd) 5.4.18-1
rtld(GNU_HASH)
PROVIDES
idris2-libs 0.8.0-1.el10_2
idris2-libs(aarch-64) 0.8.0-1.el10_2
libidris2_support.so()(64bit)
CONFIG FILES
/usr/lib/.build-id a
/usr/lib/.build-id/00 a
/usr/lib/.build-id/00/30f42f66f6e50c2fa28de31d254106c54bf73d a
/usr/lib64/libidris2_support.so
/usr/share/licenses/idris2-libs
/usr/share/licenses/idris2-libs/LICENSE l
LICENSE FILES
BSD-3-Clause
|
