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 -- debian-science-maintainers mailing list [email protected] https://alioth-lists.debian.net/cgi-bin/mailman/listinfo/debian-science-maintainers
