EPEL 10.1 for aarch64 : / usr /lib64 /idris2-0.7.0 /contrib-0.7.0 /2023090800 /Data /Vect /Properties

• Fin.so
• Fin.ttc
• Fin.ttm
• Foldr.so
• Foldr.ttc
• Foldr.ttm
• Index.so
• Index.ttc
• Index.ttm
• Map.so
• Map.ttc
• Map.ttm
• Tabulate.so
• Tabulate.ttc
• Tabulate.ttm

Generated by rpm2html 1.8.1

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