CVSROOT: /cvs Module name: ports Changes by: [email protected] 2025/12/15 12:33:33
Modified files:
math/prover9/ladr: Makefile
Added files:
math/prover9/ladr/patches: patch-mace4_src_msearch_c
patch-mace4_src_select_c
Log message:
Add some missing ints to please ports-gcc. Bump revision since it changes
the code.
