Checksum: c33d8336c83e9dad5061f4e9abd8d47a39c2bd09cd2324bbab4d5d254982c2a5 (page 1)

• maxima/5.44.0-3/share/logic/logic.lisp
• maxima/5.46.0-11/share/logic/logic.lisp
• maxima/5.47.0-7/share/logic/logic.lisp
• maxima/5.47.0-8/share/logic/logic.lisp
• maxima-sage/5.44.0-1/share/logic/logic.lisp
• maxima-sage/5.45.1-2/share/logic/logic.lisp