Fedora Rawhide for aarch64 : / usr /lib64 /idris2-0.7.0 /base-0.7.0 /2023090800 /Control

• App
• App.so
• App.ttc
• App.ttm
• Applicative
• Function
• Function.so
• Function.ttc
• Function.ttm
• Monad
• Ord.so
• Ord.ttc
• Ord.ttm
• Order.so
• Order.ttc
• Order.ttm
• Relation
• Relation.so
• Relation.ttc
• Relation.ttm
• WellFounded.so
• WellFounded.ttc
• WellFounded.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Sat Jul 19 00:28:56 2025