From 8474d99eafda72d767b8aed5385ef82df603e43b Mon Sep 17 00:00:00 2001
From: Benjamin Barenblat <bbaren@debian.org>
Date: Wed, 6 Feb 2019 10:21:56 -0500
Subject: Don’t install the `revision` file
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

On bytecode platforms, Coq installs a `revision` file containing
metadata about the build. This is bad for reproducibility, so don’t
install it.
---
 debian/not-installed | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/debian/not-installed b/debian/not-installed
index 2c21e3ab..6e884e13 100644
--- a/debian/not-installed
+++ b/debian/not-installed
@@ -6,3 +6,5 @@ usr/lib/coq/toploop/coqidetop.cmxs
 # `make install` installs this to its expected location; `make install-byte`
 # additionally installs it here.
 usr/lib/coq/kernel/byterun/dllcoqrun.so
+
+usr/lib/coq/revision
-- 
cgit v1.2.3