{"shas":[["a911dcc3f01a80b71bd5bd201a0fab8f662fb6d4","6e8ab9fcf3248dfd3db9aa5216a3278175ef9afe@gmx.net","Slides for final demo.","Bjoern Mosler"]],"repo":"brelsom/lema","actor":"brelsom","ref":"refs/heads/master","size":1,"head":"a911dcc3f01a80b71bd5bd201a0fab8f662fb6d4","actor_gravatar":"66e963a06d4f55c72ca4174428c5e142","push_id":31992464}