%FILENAME%
coq-8.13.0-1-armv7h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.13.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
69728552

%ISIZE%
269054717

%MD5SUM%
1d17039b54341b861be5cd6f21ba58a9

%SHA256SUM%
f83c6e57d0b2214721f5866fb535b4cc2ffb52ebb196cd862bd1bc4974d1f074

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmAFj38ACgkQdxk/FSvb5qaTxw/9GHWltgkgrhy16VlshE3ToUHq/w2G7ioc7czUuTzfQQQ9zlnSVS7xABxC8SxHSM//NaTSXNn9BIo3XNf5QD3YLd0sHJMfu9mRULYwGKE6vo1OWTlZl06S8ghS8uAUTvP/N5JyS+ZJ9CxUuzZyI5ZD8Go4BICpXRMMw41xc9rXzq05/QDJytf8xinde7LOo56y5w/QZnhq0H5N4rqymkYM9uR0jICrDjFQMVLXZZ6XGDD17mxYUym9xamAZPN2kru1aVn1cDQtO4MGCQVXrtm6rE3n8p3mkHVjPXrtzbMbMAQ+pVDn2jWrniCFjCg7eg6NubXzn0fHrJTpqpbXhGUj3wIlIyhVlDKEpxrD9r1Cw3ExV2Fexum4fZPVJ17U36rH4SdkysMDFafZs6inZ9UAMFxSRrI4yhPLy+w229j5VrQw3G/eAECEcaceDS8VO9tYCAxKgHpuv81lBTgsLJldEh8TlvNt3AtxGwCHxrJ8CUW5/V5Km8JN9veL9CkyuMEMG20OPoT4O13+rp+o23N5bfmRkp/7WVntgXNk6rRrgfFETejH+8HS3gUAltGydxS+R0PtiXBKFSUNbqpfowyY6MGOtWhHX+m/1P3eZYJsUpiUjVTAaOARQwDR3pTG0C6+tHPUGGmxirn9IsIFVIx+1lNm+aL3ermz+OsiZ5RNK00=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1610974515

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

%REPLACES%
coq-nox

