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

%NAME%
coq

%BASE%
coq

%VERSION%
8.7.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
38762452

%ISIZE%
190173184

%MD5SUM%
78d27f100a9b99ed0dcca5ee092ff664

%SHA256SUM%
aae8cfaeaf14b18e46a6b282f2b670132ce7365635687b7cc158472092c50638

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlnnr30ACgkQdxk/FSvb5qa4EQ/9EFkthWehFCJTOU4RDHJaArKaH0prUR1cGdKybibw/qTyE64r5f+ALZg5Pi+W3yazfyZAJi1EQ1cOMu7cgws9R03/yYwdDERrluoRrBlYJnDdRstzmgTArvagGIyJz0WVHVx91pnmnEQu4q1n2GUJUtV7sXNL4vYkJt1wvI3pr4diOxHFhhb2inhJdlwIm36bjCtg4Sian4s3MTG3/vdivrBh4W6n6ayxe8ndgvyhzOlsYBluVpNGR0M/KUMmVMsWBEm/SkkIPnTRXJ4p8hjmX0JkOH9Q/Fme51+swn41xGTz21ngg5J1CoVQ8uTp18u5D78QVtXVUbDQb9I0m2my35ukl6+SLedueYcLoI7dAouBsWYLSZekd7YyeaSWrD8d87A28mAGQZ6Cusnv0ME4ifIe1x/8KH2ZITyeq9pGjuiPS+B5uHBK3110zmu9+E5VzuPbHSPMB4iDmixtlYBbXbAkAgmEYBN4ra3W0cw0DqyZMQzqS3CV8FNg25SLdxt1Lp6rlU23ueuoyIJLpveD5dvzSSnKVSUOqMdmhnrqdFl6Pm+4xss5yhNZDbdjRjviat5x6cvRrLg3DoUBTeOwHD+svVh+4XOt64ibMb89OquHiL7kmGqaZ6pptkguel23FFisV2ugo5P5QaWUD6Oi0/v7dyscxWlKIO6DbFiQyZo=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1508336220

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

%REPLACES%
coq-nox

