diff options
| author | GitHub Action | 2024-04-20 06:24:59 +0000 |
|---|---|---|
| committer | GitHub Action | 2024-04-20 06:24:59 +0000 |
| commit | 3dfde20bfcec35360725e6b1a00575d1db99cbda (patch) | |
| tree | 20678765ba22d4ceeb825dd4400f0e2c4ccc6394 | |
| parent | 0a3bb91a2df60db36f5fefcd06ad6a2138b6e30c (diff) | |
| download | aur-3dfde20bfcec35360725e6b1a00575d1db99cbda.tar.gz | |
Update from GitHub Actions: fix: use SPDX license identifiers
https://github.com/ouuan/AUR-packages/actions/runs/8763165889
| -rw-r--r-- | .SRCINFO | 2 | ||||
| -rw-r--r-- | PKGBUILD | 2 |
2 files changed, 2 insertions, 2 deletions
@@ -4,7 +4,7 @@ pkgbase = python-mathlibtools pkgrel = 1 url = https://github.com/leanprover-community/mathlib-tools arch = any - license = Apache + license = Apache-2.0 makedepends = python-setuptools depends = python-toml depends = python-pygithub @@ -7,7 +7,7 @@ pkgrel=1 pkgdesc='This package contains leanproject, a supporting tool for Lean mathlib' arch=('any') url="https://github.com/leanprover-community/mathlib-tools" -license=('Apache') +license=('Apache-2.0') depends=( 'python-toml' 'python-pygithub' |