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

%NAME%
coq

%BASE%
coq

%VERSION%
8.6.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
45071764

%ISIZE%
273179648

%MD5SUM%
48a079168066f973bde7b1b1ce732dbe

%SHA256SUM%
e5892272be675507d06585d5c58344ca469175389413c22c4177bf639c2e6b2c

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAll4VEMACgkQdxk/FSvb5qaK9A//RJBShprM2gKj+lTdTV/8I/TNhH96eURli7HcLYoZlh1NiT4sjAOEef/ZIfPSYCHwaKQSCMB4RwLxIjfx/TJL+A9J1fq/4nVCBhByCWV3gGqkI+NyZoyI/LN2RToG9THCV7JZ5efwpJT+vWT5e0+vO5d7/avKW9is6buTICZcukU4nocyXol/DvjDH3zJ/ki4Y3+E67rjO8hXrfBEMHMOvPR6KAST3qr2zV8bZGFKtwB90UJ914P6ycT7sJnLmKswJH0cLIZmeJbe98mM6Kh5JmiK8WJWYJ84d73qrEyrzzNrvxsOenxVp3x+B4ziH9LY7PqM4+4DfgwU8UJyIeFZqa2oPxFUO5bSMO7OWAvTfdwuFxHDtz1rsB9omeOTg3D9+apj79/M0+A+MMoLiUifPHvSFvI04Zga8oe9NvoWSO7mU9UKqyRtXRDRDT4xtfKfw6uPmrgKR4XfhRk18+JI0uvnNSA/+uWBNGZe9LO00D+hEK0Xx+LEKHnBFCL3BWS2snGUGRrkFpgxjicFhEm5c2dEEMu65BL/babTntQlfAKPMg+WxCW7vum0pAVFHXx0EgxPA6gWEOzsLl/j3k7AnUu2oh5aYINNDsAXnYMs3AgxzpuqeThcAtOXkXWYG+0/6dSue83aW6gUL5pQWmmAd+qGW5ONVuNJPPlzwjgXgcw=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1501057814

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

%REPLACES%
coq-nox

