IABSD.fr/ports/math/minisat

Branch : - branch - master - tag -

• Show log

  Commit

• Author : jca
  Date : 2017-08-20 16:39:44
  Hash : d7d6ed13
  Message : Update to latest git master. Built with cmake, installs minisat libraries (needed for a devel/stp update). Discussed with jasper@ at t2k17.

• Files
• Makefile
• distinfo
• patches
• pkg