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

%NAME%
coq-doc

%BASE%
coq

%VERSION%
8.8.0-1

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

%GROUPS%
coq

%CSIZE%
9407444

%ISIZE%
105666560

%MD5SUM%
a0c5d5a823e1b043bbef206c2fd4df3b

%SHA256SUM%
812c5706726387a98d40eadd75b0e1a6387e4da535afff9060a829685a0820c2

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrXcO4ACgkQdxk/FSvb5qZNdw//QNRnbfK9NZH0SLQ5HEjCkiwYrM+knlazjlAdhvB0kxkiNdta3R/yvAR3AZVlSeOfSJz7nCwTe7mUWtn+wybbHDQbEuROpu38wpilsS68YbcBRsFJuvOFc0Vaz7A8Hv/ZK94EOG9VOEQkX3MxR7OcgXFL70NyC4DLirvSNSgAbTW3vOpyCz/Brr+TCCdLcf3GC44aIbRHN9OrjOo3ecJvN757YYp2zHZ26fKgEipIW5Umd65+2CyAq9bBjw2YLQ5mUUo4iyYpnoNfNchSZ6dPdi+8DhGkvyL3rLFDcKmxFAtDyY+7udQDU3xM2buDAQv6J1oQi06sorXVMQhZBFmRDZNXNDyTxZtRd0FgVbGUpldi6hN5bofChl25DIs3HuZ1wq7c/1NdFzYMJv/zghnrzVcErQZ3J2aGaJNlijgrRFtEEkH0EWBmgejHA/ufhAq39NrnaqD1Py8M3020BYnoAXkdhVMZ85FBWcF+y8etkXLT5uRRZtBXZHrCM9zfqW7tFbDUeYEID6CqhQVhghdF2FeQIGxXS0XmSfgC6q+gAePnoqwYWTON64KmjdZ5WiRpVcjQ1arWTZ7R0ODoFMyA4dahZPAOdhc8xNt1J7HsM8Cgu/ODxJD784B5Er57LWYgCa9PakPKRCdIUh+pXCpbjhkaG7IBrcTBC5isKfDX/OU=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1524068504

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

