# Generated by makepkg 7.0.0
# Fri Jul  3 05:07:30 UTC 2026
pkgbase = haskell-dec
	pkgdesc = Decidable propositions
	pkgver = 0.0.5
	pkgrel = 7
	url = https://github.com/phadej/dec
	arch = x86_64
	arch = aarch64
	license = BSD
	makedepends = ghc
	makedepends = uusi
	depends = ghc-libs
	depends = haskell-boring
	source = https://hackage.haskell.org/packages/archive/dec/0.0.5/dec-0.0.5.tar.gz
	sha512sums = 895085bb95bd8cec482f771d37f75221c12b50326bfeadeb6466d365c69756fef2faffcb557e0fee3861ec5318d8d27ad140ef6296217a80dda9a121f1be931a

pkgname = haskell-dec
