X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=debian%2Fcompat;fp=debian%2Fcompat;h=ec635144f60048986bc560c5576355344005e6e7;hb=96576b1a433721d49eb9052aae268ee04ab633a8;hp=0000000000000000000000000000000000000000;hpb=65ee53e13a21736157155f5b27ec292c8c73cca0;p=pkg-cerco%2Facc.git

diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9