%FILENAME%
coqide-8.7.1-2-arm.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.1-2

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

%GROUPS%
coq

%CSIZE%
1646336

%ISIZE%
7671808

%MD5SUM%
ebb334d18897eb8ef5f252c45c587e5d

%SHA256SUM%
352f4e2140c2ef5ca96ec5a0833253eb7d50bc2cfe15bee2c1e8c5291af67cfc

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlppqPEACgkQdxk/FSvb5qa9iRAAmyJu4ISIUDQeXYUltdI7MHbxn8mtXlHfIr8o8ALC1VFnIhI1njKIuMPWb7X3jpSQ6zRPasTgNMyv/y040M6Y6BhurJBeXMyAGRNLTCAc5LETQIKuotwOE9NH8Qk3AITJf+3gfNhBQ8EwG/iZQvnjK0tDRT50jJHJ4oEK9rhRwqGnxw6vxw3mo6CrdjJTpt0/4JfgYFA/CKoloRVry/M8Yj1F7oCcTmZV0LSulvAJU04Yc6uF3gwfzJDLLFUTe4MkgGZwgjMmY9g2d8L0fe1pEPtmBjrgd4gxbegoML+0PIcIxsBaGX26Yrrk40yRhB/UPpE7oZYnezngEsRpSmk+cpY6Q0X/hIgHIdCwhL+KZqEDrV/QKAJB4fyFcPz7e4czWbaZRzv9h7Lyd3mqcNnxyQzExV0JgvmaW2o3sTIEkOlkA0ocY7HcP9BmECxrpnhdEZYZi2CGAMoSjZ6JM6rveIn6G1vb9h1mEF+kp/f6DLgsP5fwCXKPDPMGjPhcHQmWQtTv9XYV/dag7KDbVbwlnczAtLzhgT9l9uweBTzl2d+71jOxws+t3X8e38T8OTiq+azeer6A3d4rGTmHGoJMinTWruivoKC8/rCbGcmSLilq2s+05zaxWgfSHL4qCdppG7R9nviTDE71d5zSGHWGeAlMQnWd7vrf+MeI2OVLmkE=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1516873881

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

