libBF 0.6.8

Only display out-of-date packages.

7 Reverse deps	Accepted versions
copilot-theorem	>=0.6.2 && <0.7
crackNum	>=0
crux	>=0.6 && <0.7
cryptol	>=0.6 && <0.7
grisette	>=0.6.3 && <0.7
sbv	>=0.6.8
what4	>=0.6 && <0.7