CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/02/19 05:31:56
Modified files:
math/prover9/ladr: Makefile
Added files:
math/prover9/ladr/patches: patch-utilities_attack
patch-utilities_gvizify
patch-utilities_looper
patch-utilities_prover9-mace4
Log message:
apply 2to3 conversions via patches rather than running during build
