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

%NAME%
coq

%BASE%
coq

%VERSION%
8.13.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
78536336

%ISIZE%
367474116

%MD5SUM%
71a7594860c2a309cf524a9b057b621f

%SHA256SUM%
e49843573da37b5b93c192834b7e20165657b6e5ccc2ca1efc8b2068f29ac6ae

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxITQACgkQdxk/FSvb5qZLZw/9FW16rMAlZhy7+B+uAOPsYCuy+040yZrf9mh352mPHo8uxAL50QDcvJubeOrbacEbneO+YZ+nZ2oq2jnDi9XUJd8FkoypvZVBhSJXClkVFPi8V7syPqpFxD59TkvxgjPaO77EbTAuH0CoYtE9cfEoDkbMm4ziSuqP6PkxajbCWSEcGhQ4KpFwrirfqp4hZmoIEgC8ye6qjfLhoFTGEu0wPifaUi24XSPdfIls37uJLfx6bTIGV3F9zqWMI4nRTar08GnKDp0uDlWCy6z0O9T7BuG1EYWWqein0GUYrC0gDg8QeiEuI8/sOxH90ZNh3ZvqHJwvuBbPw3mDtZbWjRTfx3z7ZyZgGpU5ScYLLbOoaMYpLbUuezG9+ZJaoZfQeQLs7cBq1RAuPCclgdn4WCNupVTsWI+lwAQ30+Tuo8iip2fRMPJW4ElBbWwzc9ZOfkvYHy5/Hsd/SVWHU0ROzg2gYQu6wUgkLTUHp1O1A9LkkAVbO69hT+Jyc90ahZbyVLyb4M4vd0lABAr7NZ/KUxOwug/BDCZYNXq9Y81g29XyQvY/rfvqoDCeCMUUQhlt2tzzg8ni6LqSqLhXGw1uD40gQltQsDlyZNe8cEd7pZNylyaaXczhPQiFyaOCb82NoWnziNNKzOFhUPrRkBN0TzckM0/DP3YMjDNpoF515Dpd9Js=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1622219269

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

%REPLACES%
coq-nox

