Fedora Rawhide for aarch64 : / usr /lib64 /idris2-0.8.0 /base-0.8.0 /2025081600 /Deriving

• Common.so
• Common.ttc
• Common.ttm
• Foldable.so
• Foldable.ttc
• Foldable.ttm
• Functor.so
• Functor.ttc
• Functor.ttm
• Show.so
• Show.ttc
• Show.ttm
• Traversable.so
• Traversable.ttc
• Traversable.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Nov 5 23:41:58 2025