diff options
author | Maxime Dénès <mail@maximedenes.fr> | 2015-12-16 22:28:35 +0100 |
---|---|---|
committer | Maxime Dénès <mail@maximedenes.fr> | 2015-12-16 22:28:35 +0100 |
commit | 8913baad8de063f5a215a342d04929ac75d75c28 (patch) | |
tree | 17114bb17e9794531a5380c0268f616b515a23e7 /configure.ml | |
parent | 793cf771e18be3d44d3fcf89998dec50fb8229f3 (diff) |
Update version numbers and magic numbers for 8.5rc1 release.
Diffstat (limited to 'configure.ml')
-rw-r--r-- | configure.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/configure.ml b/configure.ml index 51033c3d0..044e78c09 100644 --- a/configure.ml +++ b/configure.ml @@ -11,11 +11,11 @@ #load "str.cma" open Printf -let coq_version = "8.5beta3" -let coq_macos_version = "8.4.93" (** "[...] should be a string comprised of +let coq_version = "8.5rc1" +let coq_macos_version = "8.5.0" (** "[...] should be a string comprised of three non-negative, period-separed integers [...]" *) -let vo_magic = 8493 -let state_magic = 58503 +let vo_magic = 8500 +let state_magic = 58500 let distributed_exec = ["coqtop";"coqc";"coqchk";"coqdoc";"coqmktop";"coqworkmgr"; "coqdoc";"coq_makefile";"coq-tex";"gallina";"coqwc";"csdpcert";"coqdep"] |