dead/packages: links for aiges-python