OpenSuSE Ports Tumbleweed for armv7hl : / usr /lib /gap /pkg /DeepThought-1.0.9 /doc

• DeepThought.xml
• _AutoDocMainFile.xml
• _Chapter_The_Deep_Thought_algorithm.xml
• _Chapter_Using_Deep_Thought_functions.xml
• _entities.xml
• chap0.html
• chap0.txt
• chap0_mj.html
• chap1.html
• chap1.txt
• chap1_mj.html
• chap2.html
• chap2.txt
• chap2_mj.html
• chapBib.html
• chapBib.txt
• chapBib_mj.html
• chapInd.html
• chapInd.txt
• chapInd_mj.html
• chooser.html
• dtbib.xml
• dtbib.xml.bib
• lefttoc.css
• manual.css
• manual.js
• manual.lab
• manual.pdf
• manual.six
• nocolorprompt.css
• ragged.css
• rainbow.js
• times.css
• title.xml
• toggless.css
• toggless.js

Generated by rpm2html 1.8.1

Fabrice Bellet, Mon Dec 15 22:43:17 2025