EPEL 10.2 Testing for aarch64 : / usr /lib64 /idris2-0.8.0 /base-0.8.0 /2025081600 /Data /Fin

• Arith.so
• Arith.ttc
• Arith.ttm
• Order.so
• Order.ttc
• Order.ttm
• Properties.so
• Properties.ttc
• Properties.ttm
• Split.so
• Split.ttc
• Split.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 11 06:05:53 2025