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

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