{"shas":[["700d40f6cd20b2a6f15c1f2048dbba1199c0f857","a3f600d88b285107b6898cb5f5395a419ab65ac7@gmea.net","Finally the installation of Minuit plugin is in /usr/local/jamoma/ext","Theo de la Hogue"]],"ref":"refs/heads/0.6-alpha","size":1,"head":"700d40f6cd20b2a6f15c1f2048dbba1199c0f857","push_id":36380441}