Fedora Rawhide for aarch64 : / usr /lib64 /idris2-0.8.0 /contrib-0.8.0 /2025081600 /Control

• ANSI
• ANSI.so
• ANSI.ttc
• ANSI.ttm
• Arrow.so
• Arrow.ttc
• Arrow.ttm
• Category.so
• Category.ttc
• Category.ttm
• Delayed.so
• Delayed.ttc
• Delayed.ttm
• Validation.so
• Validation.ttc
• Validation.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Nov 6 23:12:04 2025