Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions src/proper.app.src
Original file line number Diff line number Diff line change
@@ -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>
%%%
Expand All @@ -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.
Expand All @@ -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.5.0"},
{registered, []},
{applications, [compiler, kernel, stdlib]},
{env, []}]}.