%FILENAME%
coq-8.15.0-3-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
183322092

%ISIZE%
782188337

%MD5SUM%
215628a1207c901c9593aec8a2b2bdaa

%SHA256SUM%
b80723f76ef0f68655b560a2a052dcf9c0857b9b36c2e1d4fc345ebba15c53dc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmLzGF4ACgkQdxk/FSvb5qa2iRAAheTEp0FDCfJEjTuSEY+644W9oo+PsbwOU+woKUjyBGREwoR+AGkUbHXd7xloLF4r8lX0QmatjK++XeMYhUSmtMnJ4SiV7bytRC/3U+iElecpbMYDlIGZ3MQY5yoDKq2Oo48ZYDXAhKX3MXNG22Rw2V0Zxh3MOXCNJb021iWryO81HojtAhlXDlCoDCERHw/KIhVp3blsTXAt49zf1a4PQQIsUrh+NFplOoiTfre8TL5Sa076PoJT0axen5J6Z/7zM7RQc7ST1rY6s+U5GUp/hPu6g5eyvTksz5CNZguYY+hviOKsxUTKbOy9AvWQZOQ/kwWUF6wdUjy88GwKFTQbYb3WCaH1HXXltW9ckX78+6ggjWWcIwJl1m4Tfn6v83qck+j0i4t1XiN64lkoXW3DSrEg4G2YqQdz1n+EDeeTDeYAn2CBjCGBaZHpExZisgecn/Ta9qSDr+58t9HFJZtsZUFLMAdV8CloNh+kY9ty9tatbKfdGfNVurpr2eI5rdTLsTDmE1LraeO8g7e0ehuWdVVbAYKhi6QGj0ijk3cmSb1AdBKDIyxksSV7J7IikWRkNI+YxwvnqyFCyAiAPnToiZdj+rQSzYF85WNWacvdeM+FFDCCEvxBmAV6L/1HkAQgGJouClLh2Z04fU5B1FCkKSBz+qg7dKVsjY3YZhnkrMA=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1660096744

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

%REPLACES%
coq-nox

