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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.1-2

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
44797684

%ISIZE%
274857984

%MD5SUM%
dd4c6e88350c134c1bf986a4cb5cc31c

%SHA256SUM%
fc83bf7a4fc26a966edc16d05eeef5ebad6b5c74af1f85768587d767275d4234

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppmoQACgkQdxk/FSvb5qYifRAAvhsOEoBPZyWoA7QxwCL+Zkk+p1UTAJV++S1yOcmumEv3d0mLN9CCeoyV2jqVJYJqSy8nQv8qV+Rkd69SwRHSUbg/f4irtMjOFhqpSdQS9cGMQW4q0zktp14y535YC8oYdSE5TLTQJ6TCzsOt0SvOuilO4tc/8csr+Tnu0dVgGDI7MLJceRJ3ryXOtzSMUry661bfv7CxAaOVNYiPkKDK+Hi5RAXTbJD4uGexcPR38mjYADqcfKlZ9mSmk1qVKk2ieAeRc5yHwq4/FH//4qwfzd6pjBVs9NMC7mWxVFg7IJjwZSuTMgWzQIiqN/M2VOtCnWzatVppAJRyLaj1pbRhqWGIUxuiVC1+yyKyfXPlazwSiaipFPrMnRk21N3+oRcSPj06f6ZTcSAI2D8B5zel3l/QH0i9k2Mh2cwsKa0GbD/EFICDz0uWfbe8RG/uQBS6LKsTZjgNCQQWmRAtquB87WcmhbiTofpvyrnIcVrxbnDikS/HTFvF0NHv1AfdJa/94mUWBMlUSLb3XkmJNDtUtr2MMsmgPp85K+vtP5eM020DllFb2lOLyNDBzE2ETt4ZZdBDGsbO51uYRY6ZBEf/jcNY8yizF/fm1XDcFkYoecjtMr4Lp3+12N+L725VArkB8r0ODffqBvXvFbrkTdwk/jI0AK0ac4fvuyiQs9pkQ18=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1516869955

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

%REPLACES%
coq-nox

