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

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.0-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
187154356

%ISIZE%
718270527

%MD5SUM%
b6d001a8d63a7d7f44506911b352194a

%SHA256SUM%
e5f0b33dd4d6d2637166bda6864f6e20b997c7bf4d7a11391829cb2670b555e8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYehYACgkQdxk/FSvb5qbiFBAAwIP+hDjZ20peWK7ZviLLBCOL9L6Sb/z/txTlxUXN5lNMPoreo3ztAtFtsiuFi36UMIKoOK9McK8K9ez39KQS5sBGHLAvptGwy2w+vtdp2IedGrMXGkE+FCIFvxx4nH/jkgG4F70vENoYF5Y9R3j8Mt4PGtZKaZo70F21stfWio//2ywyGjceqNsZ/A5CxjdfDfYqxGQ2QEIR7sSOS0RSmnCWRRjzd95DwoCjQnPQw1n5jDrwtmqhgOG9RCK8fpKC7Uv60zWTsX8AiWcPHqSnzXmWMSynMuXygAvmnQDNVgCAoF+5VhsKHGiQSPxtR/5zpkk8y2WtzCPGlkSRrh/YWBHwJpoQMtZJv1UYEZS1G4hgR8q7KMNlFzZauPg4h4lPYWyNIp1QVrjQWygJvmKHVUGeW1vEC0YOowZcaE8rNeq64o3vaoJHv+kl/67b87ONXj148n+rwkvNuNhj8KNulkNwW91rQeybxlZG0mJncWJLcgH2Xj7HORA8mhKUC6gxNVi1uN01c8fCD91HVxup9PJzRzA3r9ZbXcde7LJZDCNJP7V3VB2IIjSnXDVJECjFyaS6nj1yN/TW7GyayN4l3YQ7fk+xNsoQEA9VzmBrsgpnJQ6qye0hRbiGdvX+CZhuvCL2K1ZyuiDDlMcN9eGeovjUmvOIcYs1lEItZ4Aoako=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1662545315

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

%REPLACES%
coq-nox

