Update to release 202307.1 with changed license

2 files changed, 7 insertions, 11 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 070892ad24cd..31ed3d17f003 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,12 @@
 pkgbase = mcrl2
 	pkgdesc = A formal specification language with an associated toolset.
-	pkgver = 202206.1
+	pkgver = 202307.1
 	pkgrel = 1
 	url = http://www.mcrl2.org
 	install = mcrl2.install
 	arch = i686
 	arch = x86_64
-	license = custom
+	license = Boost
 	makedepends = boost
 	makedepends = cmake
 	makedepends = gcc>=7.0
@@ -14,7 +14,7 @@ pkgbase = mcrl2
 	depends = glu
 	depends = hicolor-icon-theme
 	optdepends = python: for easily running the included examples
-	source = http://mcrl2.org/download/release/mcrl2-202206.1.tar.gz
-	sha256sums = 2a82edf0853fbc2758ab326e90db9a65f97c6d688e281d14c561c47508f76ee5
+	source = http://mcrl2.org/download/release/mcrl2-202307.1.tar.gz
+	sha256sums = cc21c23bcb46c8ec6a51cd31dedfcdddd521e1e1bbb257a69602bf419b00e090
 
 pkgname = mcrl2
diff --git a/PKGBUILD b/PKGBUILD
index a502ad436725..0151143bd0ba 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Jorai Rijsdijk <aur@jrijsdijk.com>
 
 pkgname=mcrl2
-pkgver=202206.1
+pkgver=202307.1
 pkgrel=1
 pkgdesc="A formal specification language with an associated toolset."
 arch=('i686' 'x86_64')
@@ -9,9 +9,9 @@ depends=('qt5-base' 'glu' 'hicolor-icon-theme')
 optdepends=('python: for easily running the included examples')
 makedepends=('boost' 'cmake' 'gcc>=7.0')
 url=http://www.mcrl2.org
-license=('custom')
+license=('Boost')
 source=("http://mcrl2.org/download/release/$pkgname-$pkgver.tar.gz")
-sha256sums=('2a82edf0853fbc2758ab326e90db9a65f97c6d688e281d14c561c47508f76ee5')
+sha256sums=('cc21c23bcb46c8ec6a51cd31dedfcdddd521e1e1bbb257a69602bf419b00e090')
 install=mcrl2.install
 
 build() {
@@ -23,8 +23,4 @@ build() {
 package() {
   cd $srcdir/$pkgname-$pkgver
   cmake -DCMAKE_INSTALL_PREFIX=${pkgdir}/usr -P cmake_install.cmake
-
-  # install license
-  install -m755 -d "${pkgdir}/usr/share/licenses/${pkgname}"
-  install -m644 LICENSE_1_0.txt "${pkgdir}/usr/share/licenses/${pkgname}/"
 }