Version 1.2.1 is available upstream. Please consider updating!
It seems that version 1.2.1 is available upstream, while the latest version in the Gentoo tree is 1.2.0. You think this warning is false? Read more about it here.
SmallCheck is similar to QuickCheck (Claessen and Hughes 2000-) but
instead of testing for a sample of randomly generated values, SmallCheck
tests properties for all the finitely many values up to some depth,
progressively increasing the depth used.