EPEL 10.1 for aarch64 : / usr /lib64 /idris2-0.7.0 /linear-0.7.0 /2023090800 /Data /Linear

• Bifunctor.so
• Bifunctor.ttc
• Bifunctor.ttm
• Copies.so
• Copies.ttc
• Copies.ttm
• Interface.so
• Interface.ttc
• Interface.ttm
• LEither.so
• LEither.ttc
• LEither.ttm
• LList.so
• LList.ttc
• LList.ttm
• LMaybe.so
• LMaybe.ttc
• LMaybe.ttm
• LNat.so
• LNat.ttc
• LNat.ttm
• LVect.so
• LVect.ttc
• LVect.ttm
• List
• Notation.so
• Notation.ttc
• Notation.ttm

Generated by rpm2html 1.8.1

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