{"shas":[["6b43bd94106ec4e306231ec8d359168299859f94","f7b9c049bb59e8a8a72557815fddb9695faf0ead@gmail.com","abstract score type (doesn't typecheck yet)","Kenneth Hoste"]],"ref":"refs/heads/master","size":1,"head":"6b43bd94106ec4e306231ec8d359168299859f94","push_id":42458215}