The new package sci-mathematics/minisat tries to install /usr/include/Options.h which has already been installed by sci-mathematics/4ti2-1.3.2 Anyway, a package shouldn't install such a generic name as "Options.h" directly under /usr/include. Helmut.
Both should probably not install /usr/include/Options.h at all.
Already taken care of, just sync again...
I think you forgot to commit the patch.
You looked too soon...