From a155e5b3bb95265f2d6cb839239e59c04b4f03f2 Mon Sep 17 00:00:00 2001
From: Mohamed Barakat <mohamed.barakat@rwth-aachen.de>
Date: Tue, 19 Mar 2024 00:06:39 -0700
Subject: [PATCH] added License

---
 PackageInfo.g | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/PackageInfo.g b/PackageInfo.g
index e7649be..a57caf8 100644
--- a/PackageInfo.g
+++ b/PackageInfo.g
@@ -28,6 +28,8 @@ Version := "2020.04.18",
 Date := ~.Version{[ 1 .. 10 ]},
 Date := Concatenation( ~.Date{[ 9, 10 ]}, "/", ~.Date{[ 6, 7 ]}, "/", ~.Date{[ 1 .. 4 ]} ),
 
+License := "GPL-2.0-or-later",
+
 ##  URL of the archive(s) of the current package release, but *without*
 ##  the format extension(s), like '.zoo', which are given next.
 ##  The archive file name *must be changed* with each version of the archive