IABSD.fr/ports/math/prover9

Branch : - branch - master - tag -

• Show log

  Commit

• Author : sthen
  Date : 2025-02-19 12:31:55
  Hash : c42e078e
  Message : apply 2to3 conversions via patches rather than running during build

• Files
• Makefile
• Makefile.inc
• ladr
• p9m4