%FILENAME%
coq-8.7.1-1-armv7h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
40790756

%ISIZE%
202891264

%MD5SUM%
cea619367fb024cc9cdca0d46d027a82

%SHA256SUM%
77826042b23c9e3d72f3f37a0089d2de8375029cab94de7caa5b695d7dd21c64

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlo1tFIACgkQdxk/FSvb5qYAGQ/9E7UckQXEa5PS55jQieKC1rfCgNclJlUoO+lRlTFr7gg+uAmwDB+5XF5nt7Oudh7g+ExkysAE/ISAgrZQSJ/TClS8JeYFlqq7RzoUDzDdij4dqb/HmT8sPS2727EqWFYbBe7YS3sMCFqDZs6Szjg4H7QN/zrRa430eNVVqPmsUwjh+UGWxmoWW1MLGx7bR9U2IDDjiv0NEyGyKzeyD5KWlCAGU8QK2SrC/JOdYMjElvENNuwSYX4F0SbByOVgQ85YZtTA22bW9SUXnv9uX3WqxQhvZcWtJ8m0kMEFJkyauK/++8coWiihulsymgKZQtEkli/0c6Lb5sZEsuVfbdbP4tqnbzzlCzaeB2mzKXLYuvX14dr1HRpRG8ThbK00fEuwkdImImuFNxE5PeSkRHPPoLdD2mAs3SBjuRpKE1758X0SN0pigipf8mxg5X/8XPP12icoQU9jhe/e1R8Bxtu1nuqjXf1UbOlnG84Lq+bL0C+OldZ3/38UN+WoMnQf03WrL8k5tklsgBOAZLxCyrxbyr1KeBasbEnmKNGFUu5Xs4IJ59E2NeDWx1l5EP/OAYx9iJ92ACxnGRcVCT08QePD1TmEpjmwS4Z5FHensMk2e0WZDkUhdOOPXAfqXArDcWRdwUDc6nQvamZgFNZ8oVr6U9s2m0s261Hj35XXvZs1aCY=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1513468673

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

%REPLACES%
coq-nox

