Fedora Rawhide for ppc64le : / usr /share /idris-1.3.4 /libs /base /Data

• Bits.ibc
• Buffer.ibc
• Complex.ibc
• Erased.ibc
• Fin.ibc
• HVect.ibc
• IORef.ibc
• List
• List.ibc
• Mod2.ibc
• Morphisms.ibc
• Nat
• Primitives
• So.ibc
• String
• String.ibc
• Vect
• Vect.ibc

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 23 04:37:30 2025