%FILENAME%
coq-8.6-5-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.6-5

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
44676240

%ISIZE%
270593024

%MD5SUM%
cc80138824d8680dfe55f930247594e0

%SHA256SUM%
b6a45d1e69bd5e26b82a81f8ba01e12980ed44e48ea50423880f390e9514a10f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAliuA48ACgkQdxk/FSvb5qayDQ/9FeGGh7M+p2GZG3SP+ONRCmPwNE/jGGOuDHZba8OdxpRxRzDtZKWWOOiGrhcNiXIFc1GtsPfa7L1qheZzNgbn2fFdToBnorWEZ+LOS/13N6JAp5W+GstX6/GOs/nCr2mBB/glYLNGs+uAm8UgJM4pwjCsbmvHeWthK1ikxptlEuV9C6pCqZ9Vxppqh8CeaALa8EF1SVmWB5qVyrn6JQHLtfuU3EtEBzNbUQsxMUCirqvw7PE3f2H6LFx1tYdXULmsr3ID0UJF0+D0yKbWIo/RGIRbpR91udKWzInlNzyJX7OeqfmbmCGugrlevY3nxxoZVC+354xzR2opjZqOovxW9+C+/5pxSbMyL85Zfa+EFhf6OuwuGMRJmq+YIXPJTHgCpFE5ruUjNPVkWmJrrH7DUnvwTNrOfJfBgFm7CtuNSwNWfuiE21Fg7EcllG3S/1DRHzoHwA1qEu2MlU9bg/JRQLfxHAIQWYBG7TaGnmMUH+DLfNysPjdCU53hRKBAypwGBzNR5c0COb0vjX14wdjymjpDhFpiZho0aGBqjFoS8Urt51JU+vcGIEc+HOpxg8hi2XnTRaEd6oWjY4XaK13RB6Hiy6b8fMmuzFobu22/n2yAL0UQtGV6zZtcLsnPoHLrbqUqNmUtwetk+nAUxXZSXwVA5QFE2SNURwWXrl/vuTE=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1487798910

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

%REPLACES%
coq-nox

