From e7350a85d1ffa921d367d8bdeb7feeece2c297cd Mon Sep 17 00:00:00 2001
From: Fred Hebert <mononcqc@ferd.ca>
Date: Wed, 2 Apr 2025 08:28:38 -0400
Subject: [PATCH 1/2] Bump to 1.4.1 for hex publishing

---
 src/proper.app.src | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/proper.app.src b/src/proper.app.src
index 76028a04..3934f4db 100644
--- a/src/proper.app.src
+++ b/src/proper.app.src
@@ -30,7 +30,7 @@
   {licenses, ["GPL 3.0"]},
   {links,  [{"GitHub", "https://github.com/proper-testing/proper"},
             {"Official Documentation", "https://proper-testing.github.io/"}]},
-  {vsn, "1.4.0"},
+  {vsn, "1.4.1"},
   {registered, []},
   {applications, [compiler, kernel, stdlib]},
   {env, []}]}.

From 96113ace3ba413314767e3bf2bf0e21e9756c8d2 Mon Sep 17 00:00:00 2001
From: Kostis Sagonas <kostis@cs.ntua.gr>
Date: Wed, 2 Apr 2025 20:39:40 +0300
Subject: [PATCH 2/2] Update proper.app.src to mention version 1.5.0

---
 src/proper.app.src | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/proper.app.src b/src/proper.app.src
index 3934f4db..cb5ba010 100644
--- a/src/proper.app.src
+++ b/src/proper.app.src
@@ -1,6 +1,6 @@
 %%% -*- coding: utf-8; -*- erlang-indent-level: 2 -*-
 %%% -------------------------------------------------------------------
-%%% Copyright 2010-2021 Manolis Papadakis <manopapad@gmail.com>,
+%%% Copyright 2010-2025 Manolis Papadakis <manopapad@gmail.com>,
 %%%                     Eirini Arvaniti <eirinibob@gmail.com>,
 %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
 %%%
@@ -19,7 +19,7 @@
 %%% You should have received a copy of the GNU General Public License
 %%% along with PropEr.  If not, see <http://www.gnu.org/licenses/>.
 
-%%% @copyright 2010-2021 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
+%%% @copyright 2010-2025 Manolis Papadakis, Eirini Arvaniti, and Kostis Sagonas
 %%% @version {@version}
 %%% @author Manolis Papadakis
 %%% @doc This is the source for the proper.app file.
@@ -30,7 +30,7 @@
   {licenses, ["GPL 3.0"]},
   {links,  [{"GitHub", "https://github.com/proper-testing/proper"},
             {"Official Documentation", "https://proper-testing.github.io/"}]},
-  {vsn, "1.4.1"},
+  {vsn, "1.5.0"},
   {registered, []},
   {applications, [compiler, kernel, stdlib]},
   {env, []}]}.