summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorSander Van Balen2023-11-06 10:25:28 +0100
committerSander Van Balen2023-11-06 10:25:28 +0100
commitc36f932ed446e1b0346c51a0b15c87a2efaa9108 (patch)
tree5e82e38b96912e4e7a4f394399d5675b0ad0afed
parentaae996c5050ff7565cde5faaacc71afb49f6ad71 (diff)
downloadaur-verifast-bin.tar.gz
fix typo in licenses dir
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD6
2 files changed, 4 insertions, 5 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 30ee320c4c0f..630c6a008164 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = verifast-bin
pkgdesc = research prototype of a tool for formal verification of C and Java programs
pkgver = 19.12
- pkgrel = 1
+ pkgrel = 2
url = https://github.com/verifast/verifast
arch = any
license = MIT
@@ -11,4 +11,3 @@ pkgbase = verifast-bin
md5sums = a53d80725c9b46c7dc7dc507b6dee172
pkgname = verifast-bin
-
diff --git a/PKGBUILD b/PKGBUILD
index a06a5980062c..67372098cc39 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,7 +4,7 @@
pkgname=verifast-bin
_pkgname=verifast
pkgver=19.12
-pkgrel=1
+pkgrel=2
pkgdesc="research prototype of a tool for formal verification of C and Java programs"
arch=("any")
url="https://github.com/verifast/verifast"
@@ -16,10 +16,10 @@ md5sums=("235d075fa0790ad2e8401f71d9307d73" "a53d80725c9b46c7dc7dc507b6dee172")
package() {
install -d "${pkgdir}/usr/bin"
- install -d "${pkgdir}/usr/share/licences/${_pkgname}"
+ install -d "${pkgdir}/usr/share/licenses/${_pkgname}"
install -d "${pkgdir}/opt"
- install -m644 "${srcdir}/LICENSE.md" "${pkgdir}/usr/share/licences/${_pkgname}/LICENSE"
+ install -m644 "${srcdir}/LICENSE.md" "${pkgdir}/usr/share/licenses/${_pkgname}/LICENSE"
_destdir="/opt/${_pkgname}"
destdir="${pkgdir}${_destdir}"