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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
44921496

%ISIZE%
275538944

%MD5SUM%
e6aa4916691a84a5b71464fa5e8be54c

%SHA256SUM%
dd0b6f876edb9335a9417914a6cf2f46e68b62f0f51a195b327b8a75ddf014d3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG9HcACgkQdxk/FSvb5qb0Ow/+Icj+cx95IzLy0W/sB/BcWixzOfPgHqMJvlxg6XGQL/9J+iFuUMKv9Rkxk7VQtODl6o+jvYwZUwl36Ytwmirf5SP1JSRI+pkFxXHgYOQfoCRGicxaDbM3pt7hKxoUBSeqdchGlYaXjse0Ihm3b5262qEoLDes00TytWjYEC/hZfnRncm1Ona08ZkYLVWT3fh8n5mrS7fLk/Eeu/guwosfCSsOnlo6SAReIipKZIdpUWnwDeDzj/UE7OCp3nAaRrkdvWS+FW0bQxiQg/gdFrmld/Em8mv3nKekYMQMKj78s7V3vz7i4txRnw3bDN81DK14se6wOh9gJzLbZNXe4zxt6Mnusr+31IQSIxYh+lqhDiuBTKW3tR3yjHxEbJmW212lSUC8UGKp7wUss5e0ih+39H252AtM1bUz8hOgWhcuIiUVaOPW3AX8qM8qzxXMDfSap7hIJNEm5PR3Q3zcWhWm4euemSlT8FfKn/82AgsvENsdvhEXDvR7VC4r4Z1Qlj6KTkaGFCkTzZyDdxCgKgjn1FYOShBJHcc1z4ytQbx1dm6wnraDwJywCtohMgd73PK9xuQOVcfwOf5bJC8g358wTThgAmnotZMs4rSNHhmzuMZJA/N/A4+1uFRoyNFEzaz/t+cMXT3LbhRx8/PIudSy3Nqr3hsh1vRwSsZlQkzNHy4=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1518793540

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

%REPLACES%
coq-nox

