bc6c7b0d8dc956637ede6bb65579ca74  deduce-2.0.3.tar.gz