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

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
200069680

%ISIZE%
852971245

%MD5SUM%
fbd14f444e04a8f0f503c875d69bd8bf

%SHA256SUM%
8a016c2b2cb139a4d784bef74cc40fad4efb6fdc421b98bf83e95baed0aacd11

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYdWQACgkQdxk/FSvb5qYNFA/+LepfCYC80ulp8x7OjnuZuD8FJWugrh1n9kZpeehP/1tsFy4lEr8GmKRUEFQZX6G4UqMv7RgP2ADzHXYQXQHNHlufgFJN4aytsvj99luY+zVFvMWbROLk7SS0BMxEkikvLePnaZWgOWdLRsrzb+QciFl44CDx3CTrGaMxH80w2D4MVSIP3SyV1S2OlVnbH93dSaSmm+u1Iid1++OXGav8fl2WRlZj4zpSQouy9lhKALGYZnUKtIGCXoPj2fwrqJJGXGniQ/drzaDBNxURYwK0BIKBdmdsEa0vEB6ValrcA4mnEgX4twxwL4jONXkfERHi/jKGR2qqIsahCx0vuwGCjFRolRNOOrTiFlf39ktLyvuFxtlVHY5W/dBJ4DinXIQub0l3ZXVLN+7I0EyANAe4pSv3a9NFaKs53qAML7P205EbdmBUqLQLYgd+ZBIqDWbliQA9ya7707tz9AUUXiJoFq8VH4iGmU80pxSkLD3JXzj/IIaajcK+uGC7ZR/kQwoKsCCtrDfdE2gRvyakjlbCxKifB1Le1LGkjBlIpcaax9Q2n/SqBtr5EePceVTHb4jREwXcVSGIZZuxmduxovIwJfr4s+0awlfUufxWa3uElc8UMmo+G5bae1tK5OkjL0RIjQVPe8HUy6zawqr3hKGE3RcIC7x31+DvcBuTiLLvkFc=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1662545282

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

%REPLACES%
coq-nox

