# Generated by makepkg 6.1.0
# Mon Nov 24 19:06:20 UTC 2025
pkgbase = haskell-dec
	pkgdesc = Decidable propositions
	pkgver = 0.0.5
	pkgrel = 5
	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
