%FILENAME%
coq-8.7.1-2-arm.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
41547324

%ISIZE%
217057280

%MD5SUM%
09a91d2f8a4d5015a912fc0120e70f08

%SHA256SUM%
5a920054688c7a6e6941d0fbe71dbb6e546b8e002aea899637cf019e993d9f46

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppqPAACgkQdxk/FSvb5qZV2A/+IlJ8jgxzJyXUAERkHYq7duuQQ2TSJrm7iC5nyGuEzkMdHpOJC1GOuz9Bo0kvzMJhhvfH9AsS/IwSQAbuSeFBmiJlNDUPYY9m0dfvg2q8NJkoCPcK0E0BlGGE21Ac8rDlvWSBBWzlbT3SzrJkr5JldQyyPiPcX4I8KUE9ZKFEMAs+oYKJIIaqYOXwfWZWjQzwOT7ec/IaZ92r4zuRsyRRemENBWghUQ8HA9xMl9CJSTTKRh6OqX0H4S3f2mAPlHvFXI7GPX4XOeN6mXim73mzj75i2ntXeUti6jBP/gouGZ3HBVJQEylKNsgvbl5HLLNFWMOB5dkqXRrua9NXhdXAuvL3HP95asmjRqmtZFDn/A43A98Tpqi230kPNQCbUOiXVtM16N/ltduJZ1f9S1b4XPf9XERXCZ+1UJGN/qu50Zapm/3yXKxDTs7RGBWchHS/DEfy+tHjF5ROqP7UyAKlRPXUzRAUCAJa1XWI78Kn23e1ZTbKJ9FpQJDUGiXBsTc5E/nPSEkL2mS4N9hUaDeesyGWl8lTC69qLtfovxvfnMA9UwMqEiSO3iVMdEkY64Iyze42q4eRE6PdemP0eASGUraakxK+yUe9KxKUryWKUhE8g6o0/uesrn7daBRi5WGpHTaCP7AHEMDNEBYy/uSWmzFw12YbildGkzoQ/rPWnms=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1516873645

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

%REPLACES%
coq-nox

