/dechk

This is only a metapackage for the dechk software (see link), for the sources are long lost

Issues