Source: kissat
Version: 4.0.2-1
Followup-For: Bug #1099368
Control: tags -1 patch
patch attached.
diff --git a/debian/control b/debian/control
index 3b16d65..0b552ee 100644
--- a/debian/control
+++ b/debian/control
@@ -13,7 +13,7 @@ Rules-Requires-Root: no
Package: kissat
Architecture: any
Depends: ${misc:Depends}, ${shlibs:Depends}
-Suggests: bzip2, gzip (>= 1), p7zip, xz-utils
+Suggests: 7zip, bzip2, gzip, xz-utils
Description: Keep it simple and clean bare metal SAT solver
Kissat is a "keep it simple and clean bare metal SAT solver" written
in C. It is a port of CaDiCaL back to C with improved data structures,
