X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=debian%2Fcompat;h=7f8f011eb73d6043d2e6db9d2c101195ae2801f2;hb=109b8459218973f7fba72fc606bcdbbb306592de;hp=7ed6ff82de6bcc2a78243fc9c54d3ef5ac14da69;hpb=064af42167bf4fc9aaea2702d80ce08074b889c0;p=openvswitch

diff --git a/debian/compat b/debian/compat
index 7ed6ff82..7f8f011e 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-5
+7