%FILENAME%
haskell-presburger-1.3.1-22-x86_64.pkg.tar.zst

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-22

%DESC%
A decision procedure for quantifier-free linear arithmetic

%CSIZE%
103501

%ISIZE%
505605

%MD5SUM%
23045e9af025081807ea8c6d27821be9

%SHA256SUM%
a4d1a19a8b09f767ab489e120584e252ae9835314cefa06f4b029f4cefcfb9be

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAmXbroIACgkQeGxj8zDXy5KJERAAhxyQ9BghUNcu2uIJNYO1NZhRUqlKbMXzNJdWrTBsvPbXqXaZkmQOzLRWqtJvf+LuZ630YQ0l2hddaZThO+bl28LS9FPI3jf3RFM//oyEvAogu9hoBPWtpoCFQW5KZfEugQxtfk7N+xcafdGrxPCdTomnzwR3zEAIwxtU1CvGOS0b/HVjZB/thkhrAuHwEiX/FQX0dD3nvPjgqKJSKVopnaT+v1QeSHtIp5z9U05fUKpvp+a0NF7/n99pDC1w6tqV57GrZ+YqsDA61kwhCdlEe53B3ROBQldqRLhTkl+BcHjfmLAtbsnpnV2uXPP2d+kzwzFSr9j1LkWvez5EgtCcGgWyMWiKZDOyfBouZAAGBGUOy0rS4kRFg78BVm2+kxwUEisl804V4ENxI0DrPlHRrhC0cDvo+V0ECQy7BsecnKY9bDhfkGFYIuGdO6j76rxHtEcPvet3EP8qnZjRU+8qUIuBHevp/L6gd1HKCuumSWWPCDYTG1svlxSOCxxOn8s2vf5HvYqMIbfmcAwTlFxbm8T3PnNI5VV+MDNqNnDSl0v7baBmmyoiRY9Gjz6plDflaZliNND9mrOkFLfCcdO4CEmo8tCAo+OQaivPFIiZ4AUzGmbXfLwnjjO08k47T79T2M2oQu2gEWJ6kya1grwvA5xpCY1BaGhMloX7GncVJiA=

%URL%
https://github.com/yav/presburger

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1708895854

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

