{"shas":[["fc6ae94fbe32ea29733e41ee2e774922403e6ed3","2102b3a5ff17799169de87cd2a2d26bf2ed66f88@tu-bs.de","New backend mechanism works for dynamic BDDs","Henning Günther"]],"repo":"hguenther/gtl","actor":"hguenther","ref":"refs/heads/extended-typing","size":1,"head":"fc6ae94fbe32ea29733e41ee2e774922403e6ed3","actor_gravatar":"8307c10ba82e5fcdbafd446fc259c84f","push_id":28696469}