%FILENAME%
haskell-presburger-1.3.1-10-x86_64.pkg.tar.xz

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-10

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

%CSIZE%
98152

%ISIZE%
562176

%SHA256SUM%
90253cb786fc94e27ca89e394e69fa76b9b06aabc3c794c6d67750fa62416396

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAlzBrtMACgkQeGxj8zDXy5JcxxAAvkcWeEjzQewgfQHv95+//zyBb3FvqQhckMd+KLBUYbUpnP+AoYmdkFvvlnwEMrGXj0Ay6KE79ZqLnD+pWZjVJffR2y65XB9eFY4g2RxUBJH/HpelOqc6TaZF8fmuGyWgRjqCqs2rvIT5nKWxAKytxtjwg6RyDVmwDe6ptr21BVL4b55GiFRQSufQOcQS8l8kxzJZ94ShWURz++3YWt2WxZK1B4Vrm++eO91MdCHCo5S4mIl4j6zimWrWgENjIVFy0kauodb4x8jfm4oWnmzLE5joc6puB9s2Xx/sLJYXHVoU7wfSb98TCR5llBgKfW0i/f4Il+Zo8u+ICzvBKei0KzaAV+UVdmdHjhQJlRBED+jyTH7yhqLhpF89ZkNYioYjGBBb7t8XjOq3gFcPlWlSg5CWutC4HjEyOZn/MIdOjqTcPcsVoCkJ0XhLblo0xDoBZj380K9t6IFTSDWMcKUHgIafOrSALtRb7Defc+tol+g5PDobIyvXLw+xON8wQoJ49ZSzYjKLEYxywqhrGRDZ2QK/ws/j9X2GkYfxTaZbtguqs59h/tAKnGtk3PTPbyl13uLtd/MytqupuYqcu+1UCJiOQuitmy8XyYNoz/yvIEsUqOsl2PAobYNeJDDuGdsIsaU5Q7UzgiMwm7RDEt6j5r3OuakWzUC5KAZCcLTPaww=

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

%LICENSE%
BSD

%ARCH%
x86_64

%BUILDDATE%
1556197047

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

%DEPENDS%
ghc-libs

%MAKEDEPENDS%
ghc

