testing/spin: upgrade to 6.5.0

testing/spin/APKBUILD

 # Contributor: Daniel Sabogal <dsabogalcc@gmail.com>
 # Maintainer:
 pkgname=spin
-pkgver=6.4.9
+pkgver=6.5.0
 _pkgver=${pkgver//./}
 pkgrel=0
 pkgdesc="Tool for formal verification of distributed software systems"
 options="!check" # No testsuite
 url="http://spinroot.com/"
 arch="x86 x86_64 ppc64le"
-license="BSD"
+license="BSD-3-Clause"
 makedepends="bison"
 subpackages="$pkgname-doc"
-source="http://spinroot.com/spin/Src/$pkgname$_pkgver.tar.gz"
-builddir="$srcdir/Spin"
+source="$pkgname-$pkgver.tar.gz::https://github.com/nimble-code/Spin/archive/version-$pkgver.tar.gz"
+builddir="$srcdir/Spin-version-$pkgver/Src"
 
 build() {
-	make -C "$builddir/Src$pkgver"
+	make
 }
 
 package() {
 	install -d "$pkgdir"/usr/share/man/man1
 	install -d "$pkgdir"/usr/bin
-	install -m644 Man/spin.1 "$pkgdir"/usr/share/man/man1
-	install -m755 "Src$pkgver"/spin "$pkgdir"/usr/bin
+	install -m644 ../Man/spin.1 "$pkgdir"/usr/share/man/man1
+	install -m755 spin "$pkgdir"/usr/bin
 }
 
-sha512sums="f7f9c2dc7cc89518f5845da8bb9f08a8f49567847a36a683b815bc9a7baa8892a1850937c29a44d20a454f4357f7b717b83797959de7fa3f027ec7f7f0bfebc3  spin649.tar.gz"
+sha512sums="0beeb1faea93f806c37a4b76c2c407363990596134fc60b15c3f3a2d33ccf59680acd30e251c4f83fb725903aecb6238b166af7dbc9296a8a34259feabeeae24  spin-6.5.0.tar.gz"