History python-Automat.spec