%FILENAME%
coq-8.13.2-2-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.13.2-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
79062164

%ISIZE%
370185098

%MD5SUM%
c6eff0c6ddc8614a7f3c9415485e58b0

%SHA256SUM%
c5e80d20705358a9ac06b9b4db1245799aee03faf4a3673761e0eeb1666343c6

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmEAwm8ACgkQdxk/FSvb5qYD8RAAhptl1BdMpdm+TCZWdKqDLdWMF1wJdurXHNnpVoxnX36lnoW/Askn9JfMkQrgUwV5PrLSVmN9IeZnc/w2Yv5Vezf/YmrAjofkqs1465fvwg3451N2syD0PLzdDetq8JScaXVcxx4LzQkq9BNwMVxV7X8r0XbseeYdZoanu/ikOyBctYeaurb8NNofhMXGED+AGA96DgD+IT/WXWsgvbXRzctV3EXjnlEcW0tMkUFNQT2DTyJx0FcCt7Bn2pIMfSV5GtEv/15nEMb3eb034i+u+RuAOLjYP+L6uJzTeZpRLUec7Y1O7T8t3OFAtPdm8ThPNDm2282k4PGexKMhjfO5oHOLSbArfwpAdWiBwvUsYnxyIm5J9hCsrkyk+PvaH5e9/LpdZdoGZv1T+pqNQK10OYRe4qmOrH4vtC1oekMavLZ450YlPHUIZT204xRwpsJWzK4Bcl00JQBT+prTuovcBpucqlkf/pSjge/RCCUT6BGJHsjgb3aCH91HLaB3bp6EJCk6ODQMyVxo4VEuEK3TKMVEc8QXD6fvrmhengbIsIJk3KjEnw+QL6mMr2YlG2kTlB8hEs/l4NIsHyb2TS3zhsqc+vhrRpbx3+PjdItAY9rGd2mrCdxiz8uuf+sf5VGhAY3/JCD6AAVs2+slIUWgidE0xtjxde3JgFhIjQQgAIQ=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1627437863

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

%REPLACES%
coq-nox

