%FILENAME%
coq-8.15.0-3-armv7h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
172567724

%ISIZE%
669226234

%MD5SUM%
64874b0b35cc8f29a1a2c0b05be3ead7

%SHA256SUM%
8c1bb2b31b3c81416dd69d2ad112804843cf50c95893103175afb7db82189f42

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzFoAACgkQdxk/FSvb5qalOw//ULnPrh3VyCXCHjHvy9S0otTlmuyxoQK2PZyJyEpxiluYCCI2JkZq3UE8hKlVsQi6yy0GtDa0udiekdHGguqiPQ0w11ujZsNDXK63FEDwYhykeZ2ECuCr4dslZWd62ZsWLoZWTN5B5sFpRafgJrFpWpmy9eWul/5Zs1sCw/512ya/cMq5tTqrn0/nBOd+GdIFYWXY12H41Nk0ddNYX+OIznLO2pB0gzfAVvTjXRqNLcZABTm2RjN9ITvZxcF9y1eE5qnCpzPuEa0b/LULAIdc8Lk3r6NRAVWzEzqOpL/6Hna2e52aVEy+g1Hmez4UExa3DIqGS3pKstmXCIf1gQyP7BRpC0eJCTieKCHvw5rY87QBB4ybWvVCdoyzROinu1SQaRf+xdYmfRtw9XndoP1pQdXU4HoZpRfuIb9PpWdxU7k6Ki5cHvvdHUhjmwZFd86YIwY/dcnLj2WFYxTMp3ProGEjzG5vYXccojofRuynMyhm2f2BwRtgLV8VScL42OqZoyeyvEBgJQW/rBk47JdqoHj+OH9hWoAfKkUIPrsxE7nO5Wxc/OuN2nfiPbQBqrdU0Lmg7/EyV07Msi9jCRPDe2pRfh6UiI0kckixeB08omMc11k2WpQ55u85CqAHfvH44zbf6Lu4FcdRYwE5xsSpUUsCXf8L16nY4yC4JnhLmbg=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1660095114

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

%REPLACES%
coq-nox

