From 31e205ae752c5189143ef9ce87a3536db0cdeb62 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Tue, 16 Feb 2021 09:02:37 +0100
Subject: Get rid of the compilation date from the binaries to make them more
 stable.

Contrarily to the comments, Coq_config.date was not the "release date" but
just another "compile date".
---
 config/coq_config.mli | 2 --
 1 file changed, 2 deletions(-)

(limited to 'config')

diff --git a/config/coq_config.mli b/config/coq_config.mli
index 809fa3d758..035574475d 100644
--- a/config/coq_config.mli
+++ b/config/coq_config.mli
@@ -33,8 +33,6 @@ val arch_is_win32 : bool
 val version : string    (* version number of Coq *)
 val caml_version : string    (* OCaml version used to compile Coq *)
 val caml_version_nums : int list    (* OCaml version used to compile Coq by components *)
-val date : string       (* release date *)
-val compile_date : string (* compile date *)
 val vo_version : int32
 val state_magic_number : int
 
-- 
cgit v1.2.3