release 5.1.0

ocaml · Sep 13, 2023 · 5717a14 · 5717a14
1 parent 2397b45
commit 5717a14
Show file tree

Hide file tree

Showing 6 changed files with 25 additions and 25 deletions.
diff --git a/VERSION b/VERSION
@@ -1,4 +1,4 @@
-5.1.0+dev16-2023-09-14
+5.1.0
 
 # Starting with OCaml 4.14, although the version string that appears above is
 # still correct and this file can thus still be used to figure it out,

diff --git a/boot/ocamlc b/boot/ocamlc
diff --git a/boot/ocamllex b/boot/ocamllex
diff --git a/build-aux/ocaml_version.m4 b/build-aux/ocaml_version.m4
@@ -25,7 +25,7 @@
 # The following macro, OCAML__DEVELOPMENT_VERSION, should be either
 # [true] of [false].
 
-m4_define([OCAML__DEVELOPMENT_VERSION], [true])
+m4_define([OCAML__DEVELOPMENT_VERSION], [false])
 
 # The three following components (major, minor and patch level) MUST be
 # integers. They MUST NOT be left-padded with zeros and all of them,
@@ -36,7 +36,7 @@ m4_define([OCAML__VERSION_MINOR], [1])
 m4_define([OCAML__VERSION_PATCHLEVEL], [0])
 # Note that the OCAML__VERSION_EXTRA string defined below is always empty
 # for officially-released versions of OCaml.
-m4_define([OCAML__VERSION_EXTRA], [dev16-2023-09-14])
+m4_define([OCAML__VERSION_EXTRA], [])
 
 # The OCAML__VERSION_EXTRA_PREFIX macro defined below should be a
 # single character:

diff --git a/configure b/configure
diff --git a/ocaml-variants.opam b/ocaml-variants.opam
@@ -1,7 +1,7 @@
 opam-version: "2.0"
-version: "5.1.0+trunk"
+version: "5.1.0"
 license: "LGPL-2.1-or-later WITH OCaml-LGPL-linking-exception"
-synopsis: "OCaml development version"
+synopsis: "Official release of OCaml 5.1.0"
 depends: [
   "ocaml" {= "5.1.0" & post}
   "base-unix" {post}