%FILENAME%
coq-8.8.1-2-armv7h.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42441100

%ISIZE%
211329024

%MD5SUM%
b2f72061aeb3c4f32519776e9e1bd6e0

%SHA256SUM%
549336a7158534655ad121311951d786adb7844f9f9326fe7c6b87a951d1b78b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls93yMACgkQdxk/FSvb5qbsig/+J0g2TD/qAbg7ludN87snXQDIx5rptKhpMGG6QPyWYyWXg3NkOghkNpNL/f1vCZiAevoSOb0rhXXNgS6Z0fj7dam3DwaQhrfvi0Fv7yV52xgLH6m+b8OcIZ9cphO+cummk4mudaET3V/Sb/j5YlCT5wSOMqA0ksCgJ9Esv4ykSTuJh9kAjOxYszESq+1x3rnBeXkJGCj4JvBBzKkqzTkBmaFdN6zLCvw/AdJagCeWREz7lI0HZmcXitjBdVQJd8Mnpwi35un1nWktmIHrIM3aBKDVyRSf178m988x/1m+DFXwWQk1j60Rq9JO8Nqx7TNN7NDb11RK+s6uPMs08TOP0URMezISjxxSaas57v7DqkhF4WobvttPyRpNl32UuxuB5SyAdzwEsWKbKNVAs27QZ3dtx3c0Hk3co60Mhc/RMBT7xBNlqNp99/BhrnlHH8Iyobvc8U9mnx6vS7pokoGy/eTL8tx28DU+IWHIift5i3mt4MaaKsvRdyoIUIPURBrE/tLhaStAcRtCvS2AQfmI9cG2SrivNMN+uTV07/5525oD6eUkGxarqnxoZZuq2qh5oaUj5JwuR4j2ettQ+gm+Ql/NqtmJpw89Ucsszfz7S+e+wYDwigiZAl/6NWQVbz1IsjXp6Ii9ocRj2ezx2OwnDe149CV40fXemZppYgQ1+pM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530779728

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

%REPLACES%
coq-nox

