%FILENAME%
coq-8.8.0-2-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
45283712

%ISIZE%
278851584

%MD5SUM%
d67b7ff222c0acbe71d28e858d5f8888

%SHA256SUM%
cd404d4f184845bf338aeb5e715e42ca061bc33e540fb6f05660e492dc92b949

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrqxdYACgkQdxk/FSvb5qaIeRAAu4Dv6EILv5vL5BhzaCMG9UyCRO9JPSUF8uYaZ94X5OwVF4fvOccb6Fi1BxeIXKSX1/CKR2p6064L7jdFMLhGOv3u9ZvMpFuSVskmHKhsVmfUcKXqKnuC5LWRhEj1ryUWam5lmwEgivu9qUwJpcVQaE9RednfpnKUn2T/6srs6J8zB2siPbNkEttJViIqA6o85qN+WhlAZdBCJuQfa0ss3t/mnXfwsOXrJVqwql+jKsBSjploMTKAnXlblgdvBYSGhtBWVdvD4xiC2IwJZMf8VGEpy8U2dWRczmjLDhFVlUjCT/ZqU5uWzi/RzCcPcS8ARFZP7Ee4LL01YoOrAuuioYQXywdGmnXcudWZ7xgUK8VEodBGzNVgkNoWtC33wj1B2VQQdVUGMGenWDuVFfQZCNzxUMDAv38Bvd9HwOEGOrufvpSeJ9tMK1OapuQkSOYmu82XWR28UyP85rw9YezFziaz3yQgAsinHYISOiSQ0UC6Vpc4dSIrG8kn7lARHhhc2arjV0KmQmrNRoiK5xczmmtma//5kkurAZAbLm/IaoHPwv+RZOQuTg0ROf94IS/r/JoyMDWjmt3nqJaIWpJXtYCCq+4eGozbkl6CxZ3SAcZGxvp1em3dxrDzcGtcJ/cDpyR+jog5jS35o7pGbO36XjzelTSOeFh2SEwcNSzhqkU=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1525335182

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

%REPLACES%
coq-nox

