Bug#1099368: kissat: transition from p7zip to 7zip

[cacin at allfreemail.net]

Source: kissat
Version: 4.0.2-1
Followup-For: Bug #1099368
Control: tags -1 patch

patch attached.
-------------- next part --------------
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,