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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
41817684

%ISIZE%
207842304

%MD5SUM%
7e5ee6f847d7d9dcd9ccc82dbb1fec7b

%SHA256SUM%
4c73f7e2bac7d4db83efd5291c338f1d84084822503bbd6e8e1ad896fd3f20a5

%PGPSIG%
iQIyBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG96sACgkQdxk/FSvb5qb2dA/2I117UUVlD3O/IlEbd/zr6e2QoBjeh70y19D6vE6opqUjl73cAF5b2GFYjvvjGOiUegki4+K08JYLcya55aVFdEVhqB6L4YBQxdwpJSYGFaSqDoEUwUWLEPj+Zpi4EVaCF1EkQW1k/TEEzItUhc3r6RI7d0oP6bA91Uyiya7mjOihe4xmfh4DN9wbZqCV++YtR3JmUkKZQNXJTnPgTHn3PoPEAHfqoiw7lAjUvkyF3h43RM49ZkfeTfYEK9vzFVjGuGqG2mPyVgvdpeJk/m0Ahnc5yHJbwCBnUqW9G1SFiBcIkJWe/1mlrKl5S0WyLJ4hAR+50A1qr+j6V8XwtjzhKl4ESNWb9T32shot1TmlORH2W6omyngxJ2DILhlAA/7hFEgFov8Vsg7PkDch2LodOnrSjsVbB1UndIjtJF7Dxbakvq99gNhj4IeCKCsI9sKpEqg2c/0Fs3f6Ol48dAsr/Vme2JT+zSSjO4iTz8bAZBdaHf8kiBnvr9ZyqR3He74m3rP9tivpoad4m2K1Hq/VvrzSsP80gHaIvWqtU3xiw9yQr2kKN8B1O7rvukdNxG2PM31HUc1Mq35R5XBAizmBaOyGsmUxnZvp0SFK7nRdvNUbom4hgqwp8Cuoid40WKj5MWoCIevNbSFfOjMD1zB0C4dpOXNUYxqy67O4ZrMbsQ==

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518794336

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

%REPLACES%
coq-nox

