diff options
| author |  Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 10:21:56 -0500 |
|---|---|---|
| committer | Benjamin Barenblat <bbaren@debian.org> | 2019-02-06 10:21:56 -0500 |
| commit | 8474d99eafda72d767b8aed5385ef82df603e43b (patch) | |
| tree | 2d5b93202e54f0b3f94f6ca30afbfa7c7acbd3aa | |
| parent | 69e02ba439b2abee97315892c1354953e1c2099b (diff) | |
Don’t install the `revision` file
On bytecode platforms, Coq installs a `revision` file containing
metadata about the build. This is bad for reproducibility, so don’t
install it.
| -rw-r--r-- | debian/not-installed | 2 |
1 files changed, 2 insertions, 0 deletions
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 |