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

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42311492

%ISIZE%
210475008

%MD5SUM%
edbf2c1510748ed27ffc1bf24d5dabc6

%SHA256SUM%
0962846dbd03c2714891693a2a08500de001fe647d69b9edfa8e2f443ae6961e

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls2rHAACgkQdxk/FSvb5qYK5w//cV7MM1zUjet+WjjWIOfwglcBwylyoGaZhYS0JIJcoXKAv7xYPFO/Y7xSf2rIVmfbeHiD7KLFH9kktxJTMuXpy2EDi0pQYn5f9LMgk69GY6ua2GTtDaCk/ROSSXPdbZzKq3ThZ95J6dF4OGmEihodohR45JTL8ky5n1GjdhTb1lYBEUzgurQQ0GYmrZs6bqg6uWaDaIRhCyix2TipxdWb25asNmSTs44GLsf2Ll4TBPsKh7pTvHx8N9BGDMtP8mpTXkvcgnEkCYV/Ldjjz3RnVjaJkDK0ZIT+WBYZQ+oNvvBHWRI6yiO3wBrmBdNdekkgLvkvlMfqB6P3QcbHD9QlGBry7BGNK87G9S8UrGgP/mvgVzP5GktKrYfs3uiIN05V4j6uQ1viehtImKN9lSV9rMGic9mj9B8P6Yjs9cfNhILhJRb9FwQEkbrCd8YRR5igMtrTlA3mYQgQgOJUB8tfc2zU5gvOHw732Lix4MkxFrqNN/7mNn6U4AwO6Y0QXxMCIxHGYeyKf98iDGo6aheKe+BAr8+//+fajCngTKUp+1WZF2quqQJIMkv3+Mw7N9NHxPRbxe186KXLOmSN1fjeZ/tpf4ghVRo9cD67ytMO7Kv7e6i8WtxgRQUSjDsyduzhlUcb3yvONmaHAqzzanWZuUanaqFyMfz8AzamdLqG9Gg=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530307974

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

%REPLACES%
coq-nox

