Hmm... come to think of it, github natively supports binary releases so as long as we know which files we need, we could just put them in a tar ball and serve as a pdk release