klee/klee — pull request #173 by delcypher (2014-10-31 14:39:37+00:00)
Title: Switch to using autoconf 2.69 this version is more commonly available

on Linux systems (2.60 is quite old) which will make updating the
configure script easier for most users.