A ebuild for the developer version of CVC4 was added
A 02-kornevgen patch was splitted into two parts.

The first part corrects nonnull() predicate for arrays in krakatoa,
the second part changes the definition of the valid() predicate in jessie.
The why-2.33 ebuild was changed to use only one of the splittled patches.
Manifest file was regenerated for the sci-mathematics/why.