EPEL 10.1 for aarch64 : / usr /share /doc /idris2-doc /html / /sources /tutorial

• conclusions.rst.txt
• index.rst.txt
• interactive.rst.txt
• interfaces.rst.txt
• interp.rst.txt
• introduction.rst.txt
• miscellany.rst.txt
• modules.rst.txt
• multiplicities.rst.txt
• packages.rst.txt
• starting.rst.txt
• theorems.rst.txt
• typesfuns.rst.txt
• views.rst.txt
• windows.rst.txt

Generated by rpm2html 1.8.1

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