The smart proxy source was pulled from the IPA tree and moved into its own repository. I've created a Fedora package for it if someone can review it: https://bugzilla.redhat.com/show_bug.cgi?id=1114764 rob