CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/02/19 05:27:05
Modified files:
math/prover9/p9m4: Makefile
math/prover9/p9m4/patches: patch-control_py
patch-partition_input_py
patch-prover9-mace4_py
Added files:
math/prover9/p9m4/patches: patch-options_py
patch-wx_utilities_py
Log message:
apply 2to3 conversions via patches rather than running during build
