%FILENAME%
coqide-8.6-5-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.6-5

%DESC%
GTK-based graphical interface for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
1545532

%ISIZE%
7049216

%MD5SUM%
b125ffc156c859254322cdaf00abb811

%SHA256SUM%
dc8f5bbff8f9a4b109e69de543e9e00a38ace8ce340927c7f7209ca37043e67d

%PGPSIG%
iQIcBAABCAAGBQJYreuCAAoJEHcZPxUr2+amRnQP/jkguEAwLkdsed10jSLhvgR6ZTo2DJozzzA97PQGh1cO8m2lyFO5K7AQs1wMPTo/bJZe0jD/CGSkvKBP6zicDP03yt9f0FWby5jVNR2wkwcc8oSLBBcU/FSSakVYA94tLG+Yulv9wCPKmta+D2iaXVWKNPiQS75AnLcJuzU3eXXwUfF/zAfoX/bjF2KWazWRVtN+Ab024B6VV/f9xda6sI/GolAjHGEoMtIinxo1ev+5W6s8SqgodK+7VunF+Eo6yXGpBUDtw5ycm8+G9D/I5vS3ED6nIEEWis3q6aZ6zEAxE7YoageAAVu/bwn8WcsC1ppdlkiq0p5TfJxvWvH26TUP3+ur/ChtpSQZ0GvLUJhfcSeXsqhD+UlCZVNDTqC3v2Ra00dIFnt215SFKiRBkQ+CNIXxsUBTx3QrAcqGnLTLyq4aQ8gJhmX1jz8mGowblJDqXyxNbkB384iyTmf28VZ/yfLdnn3dl/2bpcBzhAmi7OsmpPjy5G+iyyEU+czsmbg+bzQP76IjcgKlkL6fNHrwjmZYDg8tDyKIEl9KwdLKO/F5fnuyDFwYaOyrYQXcK0LBkkMrBMzIBUG9x2U5fA7c4toxJ58uWa/PNfXOr95kqBKD7xMfuYCFa0xjDxc322WUqHMhurnFR5PpPxPa432XxvZOQ4pAjHXM0KEzZovg

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1487792928

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

