{"ref":"release-0.1.2","ref_type":"tag","master_branch":"master","description":"Manipulation, canonicalization and identification of mixed boolean-arithmetic symbolic expressions","pusher_type":"user"}
{"actor":{"display_login":"aguinet"}}