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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
41804196

%ISIZE%
207858688

%MD5SUM%
fb042d772c940fa7d49e1927bd35b8e6

%SHA256SUM%
a051d3852cf24345376679fe8277eb3dd028cac70fa46e7fac07d89b16e9e2c8

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG+RgACgkQdxk/FSvb5qYDYxAApOLVgclFecWEG8hyJ+wssKpT8OXwr4zw+0mWW5Tj9mW67CbKogMy42+nsRCLfStbXyV9lFDu4ZgqlN6DeHqDLYbjYNn3pfL2JrVnWKeqhPz8X+Wko2ii+dDrS9GBzDHFztuyKQ3uEn8jWlzu8EXIAdJsixQswpzF6Tg5UKJiRHf2kqSafmEOja2ceYYOKuO5N4bDrIptXhHD5AawrUmCV7ce0ByYUv6nWSvV0Gw1yzSz2mGOqpCD5ZLy4unEuV/DOf2txpMWVdG9Fu9Qy4oufAZSlbXoNwhXkOBlG7DlUFWLeAom+0WObJfBI82wR8Z4LHCjApNogsWY9K8LxUGQn0dpIYFVSeQwQ5/kP+SWjqODVZtU5AAF1Xg4XcBLx7FoaR9dQ9O5CdCxaRUYihkAY/Cyp7QS8a+E68Us/x3hu7F9wuOHAmAXmNX9s9tGhmoNVRiRiHFXmLv14qWNjI9N0yBSIvDoMEXdlNw7ccBDhO5D3wHVsDAX6ABqmwyEvlE51Q5vlGyhEOMa5zkqt+OlgAj+g1O4ie+bjClxUWVETycNIswtP7/fpg7s/0WCEbqpqNzlOKWgFbMxF4YPvmyCqayQ57VgxGNXNCWCNLYIn7wbdGtxhDKVrYVsWm0O8zIRIz9Mcn2TrOLjiPhtIS3AW7ywf6FJ3IwPS/XwaUt5cLk=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1518794699

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

%REPLACES%
coq-nox

