%FILENAME%
coq-8.7.0-1-arm.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
38805696

%ISIZE%
199979008

%MD5SUM%
82aa048fee758b5d2651cdf5b4246ad9

%SHA256SUM%
de9063eb1c7d05cef7fe44cdecdf60ab972de17d6c34b7c1097ff7625232a313

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnYW4ACgkQdxk/FSvb5qbjUg//QIcKMlPIXMm0TYwqm7EYt6+Xs+zhhb2djh69Wqak5YRgPkTbescZn1AyInSWf0rlxt6H+83FSivgAGr87YZqldZHmsMth3Bq53Ypg8M628ps9XyXSEHiXeTG3tf7+lSFyfSoG7XuMCS39G7vtbHxpII1BUWDJShes+e8bzlr8ECNx5PUbIT0M+sGGJAD7TN5FMxfWb14PoVekyH1TnK+QMsUYsoW7sgm68X3aBtkxOG61Mr0PvFjN3IAgsu6nxTeLhM8zd5yr24VBwjjkEvGli0yYAC8Ih7wc/SJQGj5fC0+spcs1ojBs7AzsAhrh9/EUQlHjZkduvzgee4gN5UbplOXE1rci7gtetN8C6f/EdHVJncT3GDaffBAjeo1NUjyNMcoMY0rIl68WUbtUV65KnjFnIQota3i2rS4gZLGKOukNij0jl+PffX4XU5Q3/TF01QqHX7D1/EUwF5fwAfNEceIo74XMX44IWpp73bo+qC/Q7TsyRlF76OT1JcCE+xc2L+pFdKal/PiGrK+e8Ab5Ft2vPrD/2aVlDMs6Q+XgFJnT7ysdyRxSeHFSVhfVHms7gMXiGmyCU1mKnS9qZuzQ3yfZRSICWLktJSeAmG2J4K0rKR+/pPtBtQE1Vt4nh33Vo+OrLz01Q5QJHteGFmOwuapX0IFrn7e4Gb4E3//ttE=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1508335638

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

%REPLACES%
coq-nox

