%FILENAME%
coq-doc-8.13.0-1-armv7h.pkg.tar.xz

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.13.0-1

%DESC%
HTML and PDF documentation for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
14167236

%ISIZE%
114850285

%MD5SUM%
b20a20fdd40a8bb0ab707a3db4da649b

%SHA256SUM%
aef7d0f23dd129f2788a176383e1f7cd5e7d7a0ebe73385895126a8d04ea4025

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmAFj38ACgkQdxk/FSvb5qY6YQ//RMKd8/MLTs1KYXX2b/PCCN5euFa0Ba/A97CVpTYhC2c5N/NqEmCZt3ewOGf/idk6tnEmenJ9eGVc6eAnzTKMzqtir65dUciHaLJps/GV+ch1woib/97jh6l033sJAmwtuFhJmnP3IZ3tDFkCXj51e00WU3DnxO1bECvR/PfaasBPB9HCEtpH9NXtCbWMsyM6roEVHKneltWc1hxmmyl5ysHvLL2W2PV0C9S6/sF8dDmCqK34aW7v5GLCMFK+FRgSqlfOSMR+4J011h/ie38aes8S05uq9hgx+RhtAqxdJC8R3IT3E/t4oC2cMhnFdE7tcsX7XhaucdMDEgqV5j0XmDQSOCavxhRrOvVBpTx1VuykpQzZZC2B89UpqbVpB4LFunxQlu7Fv4T3gZRYr619AwyEBijiAwcgl/l0fQXwOmFt2pTYNkRG4WvkHEkMuFQdRRCHCPr9A/WXVQneuKPf3epXxR69+bHmc2/zWZw509OjnJeCzzn5WI479qLSj7sFYeduUZArOMOAceCUFbjj4CMCXRhCM7I8UMTJqzZcTQfxl+xlfdPls6GSLhChuW9HJNONVVL/WWpMVL8S8EQQkR4AhOjsZwSESO99s7EljeeGcS9ijNmLB/f1CzTth5djhIVxHaIYWyP2wyFj+j9bN8N/X2LyA2XZxOoQROKWt+Y=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1610974515

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

