%FILENAME%
coq-8.12.0-1-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.12.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
91992240

%ISIZE%
523380786

%MD5SUM%
bc1f797abb198ce11182a751991b4990

%SHA256SUM%
7ad8f884022add88346410d5e2d893b6b7a031cfd8e09bf795d72913892b8b07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8cbAUACgkQdxk/FSvb5qaLew/+O8jBEATfK1yHwN4KYM8ZMeu8ieDpclTFSTHfRbCPfnBr/rncf1u+bI11AteSgcKvXJmpPArhAOhEQHm38y0TbI0vUFLZQptY9rZYAVvFfTxcFHLru12P/pejaHcWG1nnMX0npRkTPEK4tQziHjNtYiM6K/ky1+DJw2GINCl+s5pVtJS3CnJaZu+2Ed4Ssypp/nUHGgiIaZmMtzEMXozIvJTWuFRl2AZChTm8fTw7PHgAeDp34CFqZpUWVTnuQsioQbAy2t0FZzc9fpGFeFtjFV3E+Ysd7JIH2WzhGH4221dMrNceOxVxw+1txg1L7fstotfIoHdnsMztmzXXWj1FJ+JWB761JmUi5NDCBxNC9NV9rQt6oJi2Y8yIkhQ1HXzV4B902G2G6sln2a6ERWwwA1J9aSCHSRCqlduM3R16MO7Aqdta+rK+W2Ns/t8NLMZOWCBnIiAw+351DFahjvShxbhjYjKupUj/rj8L3AD0LdQjIV2I0IY+zJsVZXJ+/28E+RKsHL2k/5fbJoNjTs+U0pjbgJHqI+h6xM9qaELaEp75vvIhRwg9Wy7wQ7YcNzb+oOl6fiMD0amc/uW1d5rr9mfUJhLEhqz0qZSl0OCJdhh1cO8pUi1YdQtJR5GJjLZd+Keeb37w4OKYSMVGXKQnjRRGYHqcgYgrX9sh1aYn7Jw=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1595696482

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

%REPLACES%
coq-nox

