%FILENAME%
coq-8.8.1-3-arm.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42201776

%ISIZE%
224141312

%MD5SUM%
a13bc694b08c350a13956fb45196d535

%SHA256SUM%
903f9b2c75decaa61f6449170cc3c1cff8e21f411c314d270dec25a1b4887eb7

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzPOUACgkQdxk/FSvb5qaP7g//W/RLCQ4hGxXF2Dt7Sad8CaYazK5G6xMu0rq1HfY1IsjC2eX4JD88Rw0j3RljwWC5m94h1kzmtPAjKq4ECj3UrhzAfZ0tSY9q9zj3pSyX+JqXb8ht79BqwPA5fzMHBD7JHKaGl8hpXXCG3Kx1MGURULAAV0sACUMr+qDJ4XTwElKHaRv06n65NTHj2KFMgsTrkoABeXVjSijAbdrhpV7a1uxKd61OV7OoK7HwzHO/uhKrpC6xVMwROrGp8Qy4EHp3JLFdbpKkFM0+AaSidVMB3e6TncHtUDJ8HVAHWhVG6M8tiDB3e1pEAlk1wDrUtdD4jnBpL/SV9C8EM6u4lzSbMCwgb7IggQkMyhJTu4A1Hy7Jy4kAqIJBqDf26PErbxJScF/9h4WvmvdC0Br1Liqr9B/99ydRtUTqurk08mxCOuFY/1aaakJZJiQEDDJ5t7qEEIb4hekVp5LGD8qMuLkqCh4cD73TZ+UK4T3//qaTK10ntTWBXcXbJrCZWFX6uSMHdJ/2mtZq2DbCVNL7NL9XAL4Q4JAQqFyaYxAOCG11UcYuajMIdLGpJdCpOfjV4rYxMoyhtd6ZDnL6APGBzgjBmi1zrMrxf7ojaObvxyQ8z6fMT/ke4o/8PM0wXa8iQwTaVJJVIOYorQrn9bMsodcp0eFRLXBM2duos5CZn5QV7P8=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1534277035

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

%REPLACES%
coq-nox

