summaryrefslogtreecommitdiff
path: root/debian/coq-theories.lintian-overrides
diff options
context:
space:
mode:
Diffstat (limited to 'debian/coq-theories.lintian-overrides')
-rw-r--r--debian/coq-theories.lintian-overrides1
1 files changed, 1 insertions, 0 deletions
diff --git a/debian/coq-theories.lintian-overrides b/debian/coq-theories.lintian-overrides
new file mode 100644
index 00000000..6ae619ae
--- /dev/null
+++ b/debian/coq-theories.lintian-overrides
@@ -0,0 +1 @@
+hardening-no-relro *coq-native*