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

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
171014080

%ISIZE%
662418481

%MD5SUM%
f94eb14bcb23d5d73ddb9367adfebc09

%SHA256SUM%
80604291dc068d3ff9f38c931ce9566fccf69d3ddaf2cf856891a426dd425209

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiCUACgkQdxk/FSvb5qYZuw/+NAuiOsc12QsdsEqCKvquH/4qYRnM1rS2QUsP/yPOSNodyvvNU5ekGgGBN103A6q7ZiZK+vzE3gqD+5Pk5SjbG/htJ7M/w4JRgJCi8nn4fqPu3rvUnzWXoecykMwUrkjiRcc3JFb/0SPR6n7PaUm6Y9hMxKm09djIvxtE9XhmooFRaG//IF2XcHv6P22h5s28a4g3BYDtGiigYEdtyeBofxeyC16JHIQ1Xq2fExrQWdK/oAzRxdfc8jgQv0TeEmbT32l2gaQLZJqctuA3+cJtnG9XUHSxyoFucNwFzG0+vWSFq25PNiF1lQPu2PmcUaBxnLNQ8gbCpDWGeZtsZ661WMBQlnXeEtrmo4G4h5HjEU8PgynJWEfwZEE8bv3JilPclaWY9d0R9hfTNE8RdPmOf79T8g7kc1rbSkrrXZ6NttCe6xBuVCQM4qtt4L9cEsYRNPcCEyGAsFlIhSLLQH41d2/QMEGyt7q5FwPCUiYvHCFyyhx4wyIA6kccAvSxc8uSHgp5SvjgwjsL2QuLZNoPZswh79WfbWM+PzBO0ehPf8kPXtoQlT1jdtypGRh6W29Z7qu+qEGyw1gmCZvnHTjcS5h60Qk36LAvm0nSiigf1MFOFeIjbpmdKd5E3LRltE0S4gGnSW2yVYdj7SUAw7v2q92R6JlJza51UneYYI+45mE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1642756844

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

%REPLACES%
coq-nox

