EPEL 10.1 for aarch64 : / usr /lib64 /idris2-0.7.0 /contrib-0.7.0 /2023090800 /Language /JSON

• Data.so
• Data.ttc
• Data.ttm
• Lexer.so
• Lexer.ttc
• Lexer.ttm
• Parser.so
• Parser.ttc
• Parser.ttm
• String
• String.so
• String.ttc
• String.ttm
• Tokens.so
• Tokens.ttc
• Tokens.ttm

Generated by rpm2html 1.8.1

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