%FILENAME%
haskell-presburger-1.3.1-5-armv7h.pkg.tar.xz

%NAME%
haskell-presburger

%BASE%
haskell-presburger

%VERSION%
1.3.1-5

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

%CSIZE%
129100

%ISIZE%
737280

%MD5SUM%
06cfae7f00484eb7c8d98a4152411964

%SHA256SUM%
66eaa387de19bcbe7538c61d5f90dce425a1f8bd4978ea59d79627a2b8542bed

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlsUvVEACgkQdxk/FSvb5qZ3GQ//cS1LHo9HaQrm4kHYL/luh8B6GbA8Mn7MXs0fiMd/6+h8bKPoJGorgBgiNGH8cRv/QyY5MaHhEq3chjca+xhgXUGeUl737e2fWknPxuYhBd6Qs3ymuKiVl4RgTJaHLvT5nOcokAvIQNBnRLrCJh/Cx4UFlKj8qICi3PIWMea18HEXYLVgSObC1Up4IG7QTqiOz1Ywq4T5fr++cGEQqt7azevcQmWaEdOqgdm7fQyVyBlBH5/tFVi8076Nb66VfDuWJCHFE75W/jDjPuFFXJ9HvvJVrklYMzyyhvBCG7JEQnR3Hn2hP0XsiY0Jx8CXAeqXRKrHLOc6x3u/j2thYcwN5Y/76nPShgBAAC5YvrdrZJ6/MQCboIsLnI5D5XM3BndVecUMxCBzWH0z1ZZogaoTlq0TJm7rDQJOdaHVsKSphXG0LPkKD5JkekhYPQk7vUiDV4dFbnYQLYm8KrQlbpxS05dm1+Re1jDrlXkAZcOE3Q0VjcMF6hScWj/PmtclwYXM2mrJJjtIqSZwL4U0ARFZSxgLLCqpwZvL7t9GS9gxq2hUi2AdvfPj+FOkAGVXqTEnZU1OoAK2bIF7zO6Fzonb+NsGMPIWOiOCLU6cj+GT6FtzFZDLHYAe7YLrfgBHeotwl5Sv8O8qoGNUXoxCLhqtpNQx5ZqOsrEwUELiNr3XkDk=

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

%LICENSE%
custom:BSD3

%ARCH%
armv7h

%BUILDDATE%
1528085748

%PACKAGER%
Arch Linux ARM Build System <builder+xu5@archlinuxarm.org>

