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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
41461648

%ISIZE%
217809920

%MD5SUM%
b56db92fe484d5ebc25ccfeaf8da02d9

%SHA256SUM%
c3ca8a957af9b64e947d2dc4a607d93527727f51a2846d9e745a7d149fe08ca2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG/VsACgkQdxk/FSvb5qb1WQ/+JtypWznpmdChsjyPekSUvV9DtjOzr/Q3y+fsaN/vL7Wo33WumPFbTDn4XywI7CwRv+KYCNiaGzYmtl9uph0TYB/RGLQl4dYX/YCelWzHqUZKxg5BY5C4GGmf7Ws4EpFkcsPRv5b7KRSFyBV5Qv8p/c3HSIgRNN/8BNo8PgJMOJqF5YvucTDvZJGlvSj9aGroCrF7ODh91zr2rTq/aYduCndkvR9ZIhxi2fdDDlR4TQhghDYTaxZuX3ddJnKGfcgYYAsV24XjWEyQoFp3UFllOZ42Le2xp+EYU5t/AYa9AdaSQ2b2iS7XXOKakuf4HBIiHx/pTZ3Na6KuKcHuH5XbrvlBvnWNv5nKixToHM/H4t3UkzcsY5kdIzn5b2Bia8FnYJuV7zxGYTQX0pfH1nla4xq2LEcLWcn3uDXGB6899UrV0Ujp4oVxnUSigSyBaXRxVrYwXTI9gS94zDms8W2ea+eRPhtPw25Pshnt36JHanXGU0FTffwm4hCZGUZdVvRA/985dp42aFCAeQe6GJsikryWYbw/jinD2Ch7qYo6XFq1asPA0k64V/w6AnlSHRRhUaS1tZmfwKRJDrEOUUNyEqIV/+L9OslQiZiaBb3stQBmc4mTkt08TVWEhWzcHt7RYpY2cCLUk0zbtKAyurK7ZxCZygMYJbCRNRKk9cJiu60=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1518795800

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

%REPLACES%
coq-nox

