Bug#931284: python3-cryptominisat: package description has wrong module name

[Beatrice Torracca]

Package: python3-cryptominisat
Severity: minor

Hi,

the package description now reads "This package provides the pycroptosat module...", but I think the module name is pycryptosat, not pycrOptosat.

Thanks,

beatrice