CVSROOT: /cvs Module name: ports Changes by: ajacou...@cvs.openbsd.org 2023/02/18 06:35:18
Modified files:
math/prover9/ladr: Makefile
math/prover9/p9m4: Makefile
math/prover9/p9m4/pkg: PLIST
Added files:
math/prover9/p9m4/patches: patch-control_py
patch-partition_input_py
patch-prover9-mace4_py
Log message:
Unbreak and move p9m4 to python 3.
