CVC4 has a new version with a new dependency. How about yet another review swap, this time for abc: https://bugzilla.redhat.com/show_bug.cgi?id=1169492 Let me know what I can review in exchange. Thanks, -- Jerry James http://www.jamezone.org/