The drabt package was only ever needed for the cvc4 %check script.
The latest release of cvc4, which I am about to build, no longer uses
drabt. Nothing else in Fedora needs it, so I intend to retire it next
week. If you want it, let me know.
--
Jerry James
http://www.jamezone.org/