Links for cadical
cadical-3.0.0.tar.gz