BDEPEND=app-text/dos2unix
DEFINED_PHASES=compile configure install postinst postrm prepare setup test
DEPEND=>=dev-lang/ghc-7.4.1:= >=dev-haskell/cabal-1.8 test? ( dev-haskell/quickcheck ) hscolour? ( dev-haskell/hscolour )
DESCRIPTION=A decision procedure for quantifier-free linear arithmetic
EAPI=8
HOMEPAGE=https://github.com/yav/presburger
IUSE=doc hscolour hoogle profile test
KEYWORDS=~amd64
LICENSE=MIT
RDEPEND=>=dev-lang/ghc-7.4.1:= dev-lang/ghc:=[profile?]
RESTRICT=test !test? ( test )
SLOT=0/1.3.1_pre20250321
SRC_URI=https://github.com/yav/presburger/archive/e38e61ccd1004d03ab28a1a3691d8a3c451d0164.tar.gz -> presburger-e38e61ccd1004d03ab28a1a3691d8a3c451d0164.tar.gz
_eclasses_=ghc-package	72a691379521620cee2b91159683f88f	haskell-cabal	601749bf7114add521ede8e0268ae542	multilib	404b65bd5212cff83b3935c685419d08	multiprocessing	1e32df7deee68372153dca65f4a7c21f	toolchain-funcs	7e440a20ac11dece04e3334622e6e5da
_md5_=fe0d8f6c4f303f20737c3ff8f45b1406