From 360aba5ab0b2225dda7d8ab61c62cf7e4baaef53 Mon Sep 17 00:00:00 2001 From: Benjamin Barenblat Date: Sun, 3 Feb 2019 17:20:27 -0500 Subject: Remove execute bit from Python libraries --- debian/rules | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/debian/rules b/debian/rules index 0aa899e8..1db074b0 100755 --- a/debian/rules +++ b/debian/rules @@ -107,6 +107,11 @@ override_dh_install: chmod +x debian/coq.install dh_install --fail-missing +.PHONY: override_dh_fixperms +override_dh_fixperms: + dh_fixperms + chmod -x debian/tmp/usr/lib/coq/tools/TimeFileMaker.py + .PHONY: override_dh_ocaml override_dh_ocaml: dh_ocaml -- cgit v1.2.3