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

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
170126748

%ISIZE%
682005741

%MD5SUM%
5505eb99b0fd5b40d9bcad4b7d9c59f9

%SHA256SUM%
24ebacd1762923e0ff0d5ecec74d9970717698b22180a506b08bede5df53b005

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiSMACgkQdxk/FSvb5qZYKQ//UMJyaebOPPefoT9fMIFAAGYiksoz+auBzpzc0BdVNTGJIas2YNsq+9cMBL8Rvwc+p1r2g8G5SRSexZpwACovq001wxO1IP7E/EGp9dECjmUTg41JJK0TKOOzNEPSa8qCp4pmGvVG63FVhZEST96Oil+EZt2PgL5oCWfWm9tMlZb1wreoOMK+ZBVIzYZ1NInUMOCT1wPyqU+x/MioLmq4czcruwX/i7JbwfJniD//l/QEF4Cu5XT2VXleU4AVrliaeTgJL1Nqs3mX2qnC57J8DT1M0IdyX5XUdrrRSq2oJ8rDtaJhBiCuvt6kSzBDmiEDf7OLFpFyIxQ+ZZlbT+FdlqwJMjV+r3DyDDoxY/ADB1s8Mb8dlFZwl5JXEXWMv8jDfJsqSbDgYPvgUQD9utZYijpycs6TPGBfnPgfHkonWFN2v82+P8akHktJIJM+t7yt5EKFsRbpl0vDX6EV3yICuk/2K/yZayNcXV2xzfwGQp2h3DQMFdZ8ySloOce4GLd5pymfeEzzNav4l9oIEuOy8nTtxiCpi1qlz3OvGCoLqYMt7T2CPJTFdfGr64DhadTJxjlX7DxzoT0UhCCWmvVNCLbf6k3JMXV9ejVuj66oZLR7P4a58OtNo+TZMVB3RKA7jJAeVv5PWBc83xEJO1xUWnozw9l6r6MycTX4qY9ZaF8=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1642756845

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

%REPLACES%
coq-nox

