{"shas":[["4e8e550b3cd5cce3e57165e959c997cd3e7a01e6","e4689f80de79caa50bc5254fc1995286ba47c662@gmail.com","updateg","Giovanni [dacav] Simoni"]],"repo":"dacav/Formal-Methods","actor":"dacav","ref":"refs/heads/master","size":1,"head":"4e8e550b3cd5cce3e57165e959c997cd3e7a01e6","actor_gravatar":"9cd35c711e222946f9503628827a32ce","push_id":31356701}