OpenSuSE Ports Tumbleweed for armv7hl : / usr /share /TeXmacs /progs /convert /coq

• coqmlout.scm
• coqmlscm.scm
• coqmltest.scm
• gallinatm.scm
• init-coqml.scm
• scmcoqml.scm
• tmvernac.scm
• vernacout.scm

Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Jan 7 23:49:12 2025