logilab-devtools 0.12.5 [published]