%FILENAME%
coq-8.8.0-2-armv6h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42052316

%ISIZE%
220910592

%MD5SUM%
e717a480947fb1b2e5adfa60dd7c835d

%SHA256SUM%
56ae0cbc889fcf684ed6b8c6089acae1578f5adf4af0cbd361391a36a1369d80

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqyKEACgkQdxk/FSvb5qbiNQ/9EpjABoYYwowciMA3TOwnkZx50PxKfWZDxnoNnbVqyOyn5UlywBdsqF8nA9dH4QMyKxdQxAnPdaFDWi6G2KCjYpyKtDwojcGBmMjQO5E4EX6NgzCSY+Z9QIGj8TSF0Kd02EsrjPQCJFfndhlXK5y7Wfh5cPrNr9egvchr9Y35ChD2G139UrgdJB7FUovXw0RbR8CYDV4+iP7Lp4kPREYtCzwu9XAPLoLuM11tG4xwpRQfZH9SBkALMOZnHNIVjGI9Vcvu1YDjArOOZCorV0c49cAQ4UW9JGNDb6UBa6nuSb6Po7Seisx0lnj8lYFtpR6KCuHaO6jY2V0s9WHZNWCTI96u4AU4CxAGAdsBOt4NcHnBJ3WBqeymTKnutTm1zZwfgh3XXX4VQjXs802ajkKLWHljMm8d2wFTRyesX1ElXBQc9gGhHOYbgLvjFbLP/JVz7ZA5/M3OiroA3TnxBoxBhA6TvvCf2j9L5gwtiPF3GwilUqmucJB7jwTFAzNSZMx1fG9qEzyadLL6au5BgJopXqjGvhL85LNeDvI3K3H6uSFx/ja/bMpmYHjX+kTvHBh9oP09K6JTaneg838ZeD8Jm+PpPod0Yz6lkbkW3Gj1WFpviyWRHphdgYqVhv2EroHGKO1AcJIFKi5iwBvZKriDHiB28IAESvh+hHlblMFbyDQ=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1525335866

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

%REPLACES%
coq-nox

