# Reference: <https://postmarketos.org/devicepkg>
pkgname=device-samsung-serranodsdd
pkgdesc="Samsung Galaxy S4 Mini (dual sim)"
pkgver=1
pkgrel=0
url="https://postmarketos.org"
license="MIT"
arch="armhf"
options="!check !archcheck"
depends="postmarketos-base linux-samsung-serranodsdd mkbootimg"
makedepends="devicepkg-dev"
source="deviceinfo"

build() {
	devicepkg_build $startdir $pkgname
}

package() {
	devicepkg_package $startdir $pkgname
}


sha512sums="
ee1a1445aa2abcff2f471bd052337917f5509192e20e70053f22cf93304986412ab37787e56b76666fc49a6c15d0db5120527f26dbeeab1885051c11c3872d18  deviceinfo
"