From b81f67debd8e75b481f2b5314c56c9876e9225a0 Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Wed, 15 Jul 2015 09:53:44 +0200 Subject: override hardening-no-relro for native compute cmxs files --- debian/coq-theories.lintian-overrides | 1 + 1 file changed, 1 insertion(+) create mode 100644 debian/coq-theories.lintian-overrides 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* -- cgit v1.2.3