From 89ebf5fcf252d19dcd3936080552cb9519d5279c Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 20 Jan 2016 17:24:54 +0100
Subject: Update version number in configure.

---
 configure.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/configure.ml b/configure.ml
index 044e78c09d..7ab197094d 100644
--- a/configure.ml
+++ b/configure.ml
@@ -11,7 +11,7 @@
 #load "str.cma"
 open Printf
 
-let coq_version = "8.5rc1"
+let coq_version = "8.5"
 let coq_macos_version = "8.5.0" (** "[...] should be a string comprised of
 three non-negative, period-separed integers [...]" *)
 let vo_magic = 8500
-- 
cgit v1.2.3