OpenSuSE Ports Tumbleweed for riscv64 : / usr /share /maxima /5.46.0 /share /logic

• COPYING
• Ksimplifier.lisp
• TODO
• logic-index.lisp
• logic.dem
• logic.info
• logic.lisp
• logic.mac
• logic.texi
• rtest_logic.mac
• texinfo.tex

Generated by rpm2html 1.8.1

Fabrice Bellet, Thu Feb 20 00:53:01 2025