lintian reports 7 warnings

package:
minisat2
severity:
normal
created:
2019-08-26
last updated:
2019-08-26

Lintian reports 7 warnings about this package. You should make the package lintian clean getting rid of them.