diff --git a/debian/compact b/debian/compact new file mode 100644 index 0000000..48082f7 --- /dev/null +++ b/debian/compact @@ -0,0 +1 @@ +12