{"shas":[["9d0783e5ed48bef643dd3952f27fc339e18f39fd","fa12a7c8b605ada6fa615b37604c55d05718dd4b@cs.mcgill.ca","Added multi-seq to syntax.","Andrew Cave"]],"repo":"ajcave/abella-dev","actor":"ajcave","ref":"refs/heads/master","size":1,"head":"9d0783e5ed48bef643dd3952f27fc339e18f39fd","actor_gravatar":"7f207916d58246a00c0ab63a90eece7d","push_id":32021775}