EPEL 10.2 Testing for aarch64 : / usr /lib64 /idris2-0.8.0 /contrib-0.8.0 /2025081600 /Data /Telescope

• Congruence.so
• Congruence.ttc
• Congruence.ttm
• Fun.so
• Fun.ttc
• Fun.ttm
• Segment.so
• Segment.ttc
• Segment.ttm
• SimpleFun.so
• SimpleFun.ttc
• SimpleFun.ttm
• Telescope.so
• Telescope.ttc
• Telescope.ttm

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Nov 11 06:05:53 2025