GitHub repository: spresnac/dechk
Description: This is only a metapackage for the dechk software (see link), for the sources are long lost