%FILENAME%
cvc4-1.4-5-aarch64.pkg.tar.xz

%NAME%
cvc4

%VERSION%
1.4-5

%DESC%
An automatic theorem prover

%CSIZE%
2672488

%ISIZE%
11442176

%MD5SUM%
cd2652cba946d971d5502c141dc5fe14

%SHA256SUM%
20472185682a6bbf7cf2bc2d187d656519b313793bc310df2152ba072d0d6bf1

%PGPSIG%
iQIcBAABCAAGBQJYKoLiAAoJEHcZPxUr2+amgosQAJ/XIjYhEK6E3fI6Xvbu2NPd5NboxWdKjcRYQ4R7LCZ1KQdM3Gy8pRovR3N+FhrJRq/Fe81Q1SebaP7Mfpgeky8+BhcNQNfvaex+Ippf/QL4Im48tnR3qLoUymE+3p/dmb9/JsJffJRTqiTiuc6CETV+CsLE/BxMPVI6ThKOJ5bDUl9R3AE8LV6BgkdvDAENuDo9GiduNnDgbKszWJW1cr/8kHM+dhj4g1CTVeEASZQP9x9CUHUiSusvvhmP4pr/TznqmsN+NmL6cG3zk787Haq+MKvS8f9WgPwCvobwP3HTfkuedYaJDbF5wmp5Y/xnl0MTuoeubhEK10da+ZF5YFBCys9k60fo9BFu6c+1VnAKKr18gUpvjssTBkka/+DwBlBHlxtNdxVaeMjB+rKORxOJfCmKL0YVvKZ0wl0L4oFVrcktMMAoIigjSBKQ01RGRwNElEMJvyYn4AdnH+wTgXLqWCCnTwxU6caxLJKRwIBFmc+BY7AvMWInjAOQqjyvOxBJ/JDyyKCWRxK7lqSFyXn8rtg7QeUJvMNZzElf31kQXiFwXxhKitySpgPCgqowWZWBRz4qV3leVK5bvBgn/UVqhHfesPceBCsemJUBW7g4oUhAC0PnjZeuFGFPjPK9dEuXzAzOKeN53Bq7ZkFpEmf5ZWhnwhAMG8loXSV5JQUf

%URL%
http://cvc4.cs.nyu.edu/web/

%LICENSE%
GPL
BSD
MIT
custom:HPND

%ARCH%
aarch64

%BUILDDATE%
1479181016

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

