OpenMandriva Cooker for aarch64 : / usr /share /texmf-dist /source /latex /stex /source /stex

• archives.idtx
• documents.idtx
• expressions.idtx
• html.idtx
• imports.idtx
• metatheory.idtx
• modules.idtx
• morphisms.idtx
• notations.idtx
• others.idtx
• proofs.idtx
• smsmode.idtx
• statements.idtx
• structures.idtx
• symbols.idtx
• uris.idtx
• utilities.idtx
• variables.idtx

Generated by rpm2html 1.8.1

Fabrice Bellet, Wed Jan 7 22:11:55 2026