Fedora 40 for s390x : / usr /lib64 /ghc-9.4.5 /lib /idris-1.3.4

• BuildFlags_idris.dyn_hi
• BuildFlags_idris.hi
• BuildFlags_idris.p_hi
• IRTS
• Idris
• Paths_idris.dyn_hi
• Paths_idris.hi
• Paths_idris.p_hi
• Tools_idris.dyn_hi
• Tools_idris.hi
• Tools_idris.p_hi
• Util
• Version_idris.dyn_hi
• Version_idris.hi
• Version_idris.p_hi
• libHSidris-1.3.4-G4dTSk3K3OkK7ibRaa4scx.a
• libHSidris-1.3.4-G4dTSk3K3OkK7ibRaa4scx_p.a

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jul 10 00:08:09 2024