From cd72da1b95da63bbabb1e6e7733073676fead0bb Mon Sep 17 00:00:00 2001
From: Jens Petersen <petersen@redhat.com>
Date: Sun, 29 Jan 2023 22:44:58 +0800
Subject: [PATCH] SPDX migration

---
 Agda.spec | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/Agda.spec b/Agda.spec
index 4a42c9c..83ecd00 100644
--- a/Agda.spec
+++ b/Agda.spec
@@ -19,7 +19,7 @@ Version:        2.6.2.2
 Release:        37%{?dist}
 Summary:        A dependently typed functional programming language and proof assistant
 
-License:        MIT and BSD
+License:        MIT and BSD-3-Clause
 Url:            https://hackage.haskell.org/package/%{name}
 # Begin cabal-rpm sources:
 Source0:        https://hackage.haskell.org/package/%{pkgver}/%{pkgver}.tar.gz
@@ -156,6 +156,7 @@ proof assistants based on dependent types, such as Coq, Epigram and NuPRL.
 
 %package common
 Summary:        %{name} common files
+License:        MIT and BSD-3-Clause and BSD-2-Clause
 BuildArch:      noarch
 
 %description common
@@ -208,8 +209,8 @@ This package provides the Haskell %{name} profiling library.
 %global main_version %{version}
 
 %if %{defined ghclibdir}
-%ghc_lib_subpackage %{geniplatemirror}
-%ghc_lib_subpackage %{murmurhash}
+%ghc_lib_subpackage -l BSD-3-Clause %{geniplatemirror}
+%ghc_lib_subpackage -l BSD-3-Clause %{murmurhash}
 %endif
 
 %global version %{main_version}
@@ -220,6 +221,7 @@ This package provides the Haskell %{name} profiling library.
 %setup -q -a1 -a2
 dos2unix -k -n %{SOURCE3} %{name}.cabal
 # End cabal-rpm setup
+
 # check the Agda version in the emacs mode
 if ! grep -q \"%{version}\" src/data/emacs-mode/agda2-mode.el; then
   echo "agda2-version in src/data/emacs-mode/agda2-mode.el out of sync!"