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

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
42316740

%ISIZE%
210437120

%MD5SUM%
10c09a7f84d513670a4a995d5c56051b

%SHA256SUM%
4361d3feea0126fde9e6ef9febd05cf479748f70bda941f88e546b88e729ee07

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlrXcO0ACgkQdxk/FSvb5qYjFRAAwCaiWOyNoGiXMnbN+tpCLOUgRdeOmvxR2yNa9P5bZJdYZIPmzWd4KAEoK7HLc7GjSO60dTpDbH2Drt1oPhbZOkSQzM6C20H6a8XjnXg493dF0cfQ0rhgVVi6OusbH6mdWda8pQYS2Q9DGM63orhNAM6RK9KMPey8vkN4ZccbSfSXqw50swR4aD/vGu0O6UC/BJrmj7uR+P1+OKa6DOW/7HBBXgup35NtOXI5hS7t5qgx67/pXl+sTfXtAArlWUYW+QW2q8T7kwhhnELre050rY08k+O75r3cugEAHh+oBgDrtu54d1ehRkz9W9DOqnuK2lauJY7AV5a1uJqqT2ktcNemJNBnBzPUKY0Yf3hGWYyoz1Ff4teKtSXwE8w0wosxrgmuo4IThPzrySvT0iw9TXXW+2oZ36MxvAOpzYhFv3QkYPh/WnFJWoJrdZBYfImR+8XY1ykaR6Qmo3LuAb55hV7/W6P6g+zActJhq5k/f2+AJX8Dn2vHDLODuoXLjUd9lTSt1C2yZ1F+/a07NuCC66KoC6FdsmgpMsQuHO0QyNdlMUVjNMdOFj8dlqRufpEQbmLMmJKa4N5IqbsbHpVFIKznkSdj36Pl6xwIw4XIU0itdZJ3k//cYisNr+rxjaHTcjmU1OI1sSnvO0DWwcWMIk7x67p0X0CxsJ2jEBD73Qw=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1524068221

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

%REPLACES%
coq-nox

