If you use Fedora's xmonad package then please help to test the latest update for F16 and F17 which is now in testing.
It should fix issues with broken shared libs when upgrading, e.g.: - xmonad 0.9.2 -> 0.10 dyn shared lib bump (F16) - F16 -> F17 libgmp soname bump
https://admin.fedoraproject.org/updates/FEDORA-2012-8438/xmonad-0.10-9.fc17 https://admin.fedoraproject.org/updates/FEDORA-2012-8484/xmonad-0.10-3.5.fc1...
Basically I just added a check to xmonad-start and if there are shared libs "not found" and then it forces a recompile of one's xmonad user binary.
It seems to work for me anyway but more testing would be appreciated. It would be nice if the xmonad update for F17 would be available when F17 is released tomorrow, since the gmp bump means all F16 binaries will break on upgrade.
Thanks, Jens