Fedora Rawhide for ppc64le : / usr /share /doc /minisat2

• ReleaseNotes-2.2.0.txt
• minisat-user-guide.html
• minisat2-test.in
• minisat2-test.out

Generated by rpm2html 1.8.1

Fabrice Bellet, Sun Feb 23 04:37:30 2025