%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%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmZCcxwUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwZUOhAAl0zTcEKD3KfXa1JHit/8zW+R8kA3VTsEgs7nYphKgl1QDl+j/KQBBAdcX6AnrhxMTJa0hS90CwXzh0hqOhQDJmnXznAzfYTMeMImU7UwpB3enI8JEhKaX+DF+d7j5iNSe+QL7+aM8i7tlYNlnd1bFypichbxNFprfdQkQJ2L/c6WpUc3RPZruGBvs+4xBAoVKBgnUt+/oIM+Vk/fHbTyr8T1kf72voATUWmNSXmEJvLets2c0XyI+sK7J37GifuIuB+9s5S12alhsbGQ5Iz4mswtFIp3rgC3Cc9MiKgwJ3V1qf0knqPMFhFuPmbS9fiwyDQlJ9GEm01zJL4jgR2FFQLZzvnpDmQmEQ3TSi2oS71sIax/2fLYQYkWWPi6OmO0kXCARkxgRWvSuWkq6LbiKgER8mSsQsfQC6lJ/RzHqJfXx7zfIlGbXkfnWfwDqp563bjsnqZlesZCRiRPtcgspiXgdJnoosVUlYwfaf1AG64e5nnVOgvz+JHBIHCl9FkmzJH5/Qg4T3Pskemema+KDOnsnG9r+O/KEYZFwTvRacdng6o71N+uaKyn4Bq4uyfHpdfwrgPdmRF/kddUDauwJ9JxxSK32ylfnacX9swo5oEp90sLX03nc1+Fl6Srqz+ufiKp49QZm48PRm/mwlYdMJBjHJslR/CTC9MO47lyYII=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1708895854

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

