From c789ce0aad1f3a2efc6674241b065ce87bd7ef38 Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond <guillaume.melquiond@inria.fr>
Date: Fri, 18 Feb 2022 09:28:19 +0100
Subject: [PATCH] Version 1.4.1

---
 CHANGES.md         | 6 ++++++
 configure.in       | 2 +-
 doc/conf.py        | 4 ++--
 doc/index.rst      | 4 ++--
 lib/why3/META.in   | 2 +-
 src/ide/gconfig.ml | 2 +-
 6 files changed, 13 insertions(+), 7 deletions(-)

diff --git a/CHANGES.md b/CHANGES.md
index 4b891a464..3dff14d4f 100644
--- a/CHANGES.md
+++ b/CHANGES.md
@@ -1,5 +1,11 @@
 :x: marks a potential source of incompatibility
 
+Version 1.4.1, February 18, 2022
+--------------------------------
+
+Bug fixes
+  * fixed usage of various dependencies: `menhir`, `camlzip`, `ppx_deriving`, `coq-flocq`, `mlmpfr`
+
 Provers
   * support for Alt-Ergo 2.4.1 (released July 28, 2021)
 
diff --git a/configure.in b/configure.in
index a8065ac0f..0e02dc830 100644
--- a/configure.in
+++ b/configure.in
@@ -25,7 +25,7 @@
 # See the GNU Library General Public License version 2 for more details
 # (enclosed in the file LGPL).
 
-AC_INIT([Why3], [1.4.0])
+AC_INIT([Why3], [1.4.1])
 
 # verbosemake
 
diff --git a/doc/conf.py b/doc/conf.py
index 050c54f22..50222fe11 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -49,7 +49,7 @@ master_doc = 'index'
 
 # General information about the project.
 project = 'Why3'
-copyright = '2020, The Why3 Development Team'
+copyright = '2022, The Why3 Development Team'
 author = 'The Why3 Development Team'
 
 # The version info for the project you're documenting, acts as replacement for
@@ -59,7 +59,7 @@ author = 'The Why3 Development Team'
 # The short X.Y version.
 version = '1.4'
 # The full version, including alpha/beta/rc tags.
-release = '1.4.0'
+release = '1.4.1'
 
 # The language for content autogenerated by Sphinx. Refer to documentation
 # for a list of supported languages.
diff --git a/doc/index.rst b/doc/index.rst
index 93f443e30..20b544351 100644
--- a/doc/index.rst
+++ b/doc/index.rst
@@ -8,8 +8,8 @@ The Why3 Platform
   Guillaume Melquiond,
   Andrei Paskevich
 
-:Version: |version|, March 2021
-:Copyright: 2010--2021 University Paris-Saclay, CNRS, Inria
+:Version: |version|, February 2022
+:Copyright: 2010--2022 University Paris-Saclay, CNRS, Inria
 
 .. _U3CAT: http://frama-c.com/u3cat/
 .. _Hi-Lite: http://www.open-do.org/projects/hi-lite/
diff --git a/lib/why3/META.in b/lib/why3/META.in
index 99a2687d2..3ebdeeca6 100644
--- a/lib/why3/META.in
+++ b/lib/why3/META.in
@@ -3,4 +3,4 @@ version = "@VERSION@"
 archive(byte) = "why3.cma"
 archive(native) = "why3.cmxa"
 plugin(native) = "why3.cmxs"
-requires = "@SEQLIB@ @RELIB@ unix num dynlink menhirLib @ZIPLIB@ @INFERPKG@ @SEXPLIB@"
+requires = "menhirLib @SEQLIB@ @RELIB@ unix num dynlink @ZIPLIB@ @MLMPFR@ @INFERPKG@ @SEXPLIB@"
diff --git a/src/ide/gconfig.ml b/src/ide/gconfig.ml
index 4b4885ac1..803526fe0 100644
--- a/src/ide/gconfig.ml
+++ b/src/ide/gconfig.ml
@@ -672,7 +672,7 @@ let show_about_window ~parent () =
                 "Piotr Trojanek";
                 "Makarius Wenzel";
                ]
-      ~copyright:"Copyright 2010-2021 Inria, CNRS, Paris-Saclay University"
+      ~copyright:"Copyright 2010-2022 Inria, CNRS, Paris-Saclay University"
       ~license:("See file " ^ Filename.concat Config.datadir "LICENSE")
       ~website:"http://why3.lri.fr/"
       ~website_label:"http://why3.lri.fr/"
-- 
2.11.4.GIT