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

%NAME%
coq

%BASE%
coq

%VERSION%
8.13.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
69718808

%ISIZE%
269054613

%MD5SUM%
1aa18449bf023dc6cc98ef3d6a387aa7

%SHA256SUM%
ae1ba3b068747b80ed6559f8428770453fde563424420b69fd08003ca41704b4

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmCxJLUACgkQdxk/FSvb5qbeKw/+PFxrM4osYKUdDs3zI7lqWuilgPu1ULo1wYIhjkDjOxMolF470g113P4wsceLWXS7psiNjRClcAPGGl6Opc/VtrNPZA7ehYvoDEtQl6nP5Xvj4D3lUJpreq6XfPjox17BCgpz3aj7dWOo60yr80pZY8RVEupUdDlLKCRVWXZeZJzs1UuWo1edfrDijC1dSKt46Xa+Wk4/eDUr+8A4d/oqFsvz3WElZjyfx/qYzipI/oup2zytKR+dyVq2Zpf6RJNyIfh4DUXXgy0L2aOlXywBCSYxO8xdRU8yHLlHNrE1z3cC1V04f9e9YN23u+raz2fLGaK8mRzdz5LQJOX45f7b3Zoiv74mnH2MQ9mQjg6HUw33yWbw8oL47+Eaqu/GmVlBLBazi4NfqOKlG0Km0nURYOjrlKVslWQL8uz31MbiU8EG12BKdl7gS+rDaiK0U4LCDjb9rn5iVJF3F952rSDTdTYyoZ6kSiuuNcm3+t3Rvt+1q1TTdzE8hEA0MA3JVnmtjlZcyiYU8QzMjymvBSJHE2CVkbR0GvriOMAH+M3ftGQ0zkYCKa/UUb9S/c6LhFoiJ9mljZe4k2RIhyMkwsyj7Ob/mJXo+vs90bNg6bI57RvpydCPl/6CiDBOf4R9O7o3AGiPfkMwl/QHyFWbqHYyXxplOnqS8wuaGA6YzzHYXlw=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1622219265

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

%REPLACES%
coq-nox

