EPEL 10.1 for aarch64 : / usr /lib64 /idris2-0.7.0 /network-0.7.0 /2023090800 /Network

• FFI.so
• FFI.ttc
• FFI.ttm
• Socket
• Socket.so
• Socket.ttc
• Socket.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jul 22 03:23:16 2025