IABSD.fr/ports/math/prover9

Branch : - branch - master - tag -

• Show log

  Commit

• Author : claudio
  Date : 2025-12-15 19:33:33
  Hash : e1ae1626
  Message : Add some missing ints to please ports-gcc. Bump revision since it changes the code.

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