kframework/k — pull request #1061 by dwightguth (2014-10-10 20:33:14+00:00)
Title: switch to new universal distribution format

FYI @bmmoore @grosu

@yilongli @cos please review