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

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
187174820

%ISIZE%
718281679

%MD5SUM%
d656858a7046dd4990313bca9485bf32

%SHA256SUM%
8fc777ef6763d8ff5dcdbd826d9d855a85b72ca7a280030f2e00428c1907618f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPWb0ACgkQdxk/FSvb5qZHDg//YZ+2B08IXladUpwh6OPqDYU2QUHEx7LqDp0bZDBdgTrUlmOempLqBgq+R9cS3tntg48F8VWkktf8fB67mbKk6tAgP2WllujxTomOAA3D295ZvTGGHBsgUfunBPB0gnssTWRgzFz764Ae0pH+LzEj/+zbq2wauqCGShOPOq7vmQJudbnPE8qLweS+lapIJhRqfydwsYMcZlXUpqo4w6ZDxj4y9XvJF4CIorVfi9U1HczEeXxpzV7dASX1elr+HnBZL/7qzgmxS7O9rEYsfapQlDlxQW7MrPb76S7OXw1y/huVcZ+z8AnuVugfKj2U9phBuww8KFkB8BUJc3AEY4Kqv4Q3OqQwma/07vSkEjPA59Si8xAG0zb2mvnGuZuKf2Tacsqra9fW8MTzNM4IsWA1x6i55ZtjodauYaMBY60Vyl8g2L/m4Kpw2gzsFo457OOc0V8i9cKQP6iKMyDjNXb0ATlb7AKM83qoeJ8Qxlk3YN0DOXDJu47+gQunzlGJ0sy2qfYxBYqaqJxe3KO48aExtf0GaQnRXLZIKXGjY7kZyiydaOMOn3J+nSlVXpmmQmu/61jw0p6wo9ORxrbfGCXD/PTrQ3BoBrQuprF4Pbc0wviSYu6DCs8+UjkZ31cz8Ne07ZwAZGDVVBqAuzXWbx9upLZtFXb9M2xd6U+gge8RUCc=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1670335791

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

%REPLACES%
coq-nox

