From 1ef5e09edf32aa18f3c7f224e0db719d3c4e9c8d Mon Sep 17 00:00:00 2001
From: liubo <liubo1@xfusion.com>
Date: Wed, 6 Dec 2023 10:52:32 +0800
Subject: [PATCH] An additional commit

Signed-off-by: liubo <liubo1@xfusion.com>
---
 0001-An-additional-commit.patch | 60 +++++++++++++++++++++++++++++++++
 erlang-proper.spec              |  8 ++++-
 2 files changed, 67 insertions(+), 1 deletion(-)
 create mode 100644 0001-An-additional-commit.patch

diff --git a/0001-An-additional-commit.patch b/0001-An-additional-commit.patch
new file mode 100644
index 0000000..f15f187
--- /dev/null
+++ b/0001-An-additional-commit.patch
@@ -0,0 +1,60 @@
+From c12d2ed355aab95fc5b5d20920db0dff836bffe2 Mon Sep 17 00:00:00 2001
+From: Kostis Sagonas <kostis@it.uu.se>
+Date: Tue, 18 Jun 2019 17:22:49 +0200
+Subject: [PATCH] An additional commit
+
+---
+ src/proper_unused_imports_remover.erl | 15 ++++-----------
+ 1 file changed, 4 insertions(+), 11 deletions(-)
+
+diff --git a/src/proper_unused_imports_remover.erl b/src/proper_unused_imports_remover.erl
+index 140b48f..debe936 100644
+--- a/src/proper_unused_imports_remover.erl
++++ b/src/proper_unused_imports_remover.erl
+@@ -1,7 +1,7 @@
+ %%% -*- coding: utf-8 -*-
+ %%% -*- erlang-indent-level: 2 -*-
+ %%% -------------------------------------------------------------------
+-%%% Copyright 2015-2017 Manolis Papadakis <manopapad@gmail.com>,
++%%% Copyright 2015-2019 Manolis Papadakis <manopapad@gmail.com>,
+ %%%                     Eirini Arvaniti <eirinibob@gmail.com>
+ %%%                 and Kostis Sagonas <kostis@cs.ntua.gr>
+ %%%
+@@ -20,7 +20,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 2015-2017 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
++%%% @copyright 2015-2019 Manolis Papadakis, Eirini Arvaniti and Kostis Sagonas
+ %%% @version {@version}
+ %%% @author Zaiming Shi (modifications and update by Kostis Sagonas)
+ 
+@@ -29,15 +29,8 @@
+ 
+ -include("proper_internal.hrl").
+ 
+--ifdef(USE_ERL_SCAN_LINE).
+--define(LINE_MOD, erl_scan).
+--else.
+--define(LINE_MOD, erl_anno).
+--endif.
+-
+ -type key() :: {fun_name(), arity()}.
+-
+--type val() :: {?LINE_MOD:line(), mod_name(), boolean()}.
++-type val() :: {erl_anno:line(), mod_name(), boolean()}.
+ -type imp_dict() :: dict:dict(key(), val()).
+ 
+ -define(IMP_MODULES,
+@@ -120,7 +113,7 @@ new_import_attributes(Dict) ->
+     Imports = lists:keysort(1, LMFs),
+     lists:reverse(lists:foldl(fun add_new_attribute/2, [], Imports)).
+ 
+--type lmf() :: {?LINE_MOD:line(), mod_name(), fun_name()}.
++-type lmf() :: {erl_anno:line(), mod_name(), fun_name()}.
+ -spec add_new_attribute(lmf(), [abs_form()]) -> [abs_form()].
+ add_new_attribute({Line, Mod, Fun}, [{_, Line, _, {Mod, FunL}} | Attributes]) ->
+     [{attribute, Line, import, {Mod, [Fun | FunL]}} | Attributes];
+-- 
+2.42.0.windows.2
+
diff --git a/erlang-proper.spec b/erlang-proper.spec
index 95a945d..d16ba1a 100644
--- a/erlang-proper.spec
+++ b/erlang-proper.spec
@@ -2,13 +2,16 @@
 %global upstream manopapad
 Name:       erlang-proper
 Version:    1.3
-Release:    1
+Release:    2
 BuildArch:  noarch
 License:    GPLv3+
 Summary:    A QuickCheck-inspired property-based testing tool for Erlang
 URL:        https://github.com/manopapad/proper
 Source0:    https://github.com/manopapad/proper/archive/v%{version}/proper-%{version}.tar.gz
 BuildRequires: erlang-rebar
+
+Patch0001:  0001-An-additional-commit.patch
+
 %description
 PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired
 open-source property-based testing tool for Erlang.
@@ -34,5 +37,8 @@ open-source property-based testing tool for Erlang.
 %{erlang_appdir}/
 
 %changelog
+* Wed Dec 6 2023 liubo <liubo1@xfusion.com> - 1.3-2
+- An additional commit
+
 * Sat Aug 29 2020 yaokai <yaokai13@huawei.com> - 1.3-1
 - package init