pkgbase = bit4id-ipki
	pkgdesc = Bit4ID Universal Middleware (Smart Card driver)
	pkgver = 1.4.3.303
	pkgrel = 1
	url = http://www.bit4id.com/
	install = bit4id-ipki.install
	arch = i686
	arch = x86_64
	license = unknown
	source = http://repository.infonotary.com/install/linux/DEBS-2016-11-01/pool/non-free/b/bit4id-ipki/bit4id-ipki_1.4.3.303-1_amd64.deb
	md5sums = fde591fbc72566e94ace363780ab6f2e

pkgname = bit4id-ipki