From a7fd25993be110e616bb9bf6d602949b54df1a7d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Rog=C3=A9rio=20Brito?= <rbrito@ime.usp.br>
Date: Wed, 16 Jan 2019 20:03:32 -0200
Subject: [PATCH 1/1] debian/{compat,control}: Update to debhelper
 compatibility level 12.

We now use the new virtual package `debhelper-compat (= 12)` to specify that
we want level 12. Yay to removed redundancy!
---
 debian/compat  | 1 -
 debian/control | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)
 delete mode 100644 debian/compat

diff --git a/debian/compat b/debian/compat
deleted file mode 100644
index b4de394..0000000
--- a/debian/compat
+++ /dev/null
@@ -1 +0,0 @@
-11
diff --git a/debian/control b/debian/control
index 05eb182..b675148 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Section: web
 Priority: optional
 Build-Depends:
  bash-completion,
- debhelper (>= 11),
+ debhelper-compat (= 12),
  dh-exec,
  dh-python,
  pandoc,
-- 
2.41.1