%FILENAME%
coqide-8.8.1-2-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.8.1-2

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

%GROUPS%
coq

%CSIZE%
1691172

%ISIZE%
7031808

%MD5SUM%
4604c12a883704ab99d30b96732b03cf

%SHA256SUM%
7c715aba0363c92ed4ca2cee2256baaacafbe231dc5d723f7166f94483bfa6ff

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAls93yMACgkQdxk/FSvb5qYqWw/+PLeWQNrmju1jVoV2UF+CQWSG7xiD8l0kLVBZrDUQc/ndBl7p2H02ioG8Gl1jEvjyyhRVPEZwYr3JBf1dph0PjADyATefm0byALLHy0hZ3PMbHXxceoQvx+SKFF+AMSeOR55/Tx3nCEduiIDPITI0SI2gK7siql/g03OsZIXYOiNvNmxdMll9Oy4O4nO8+NyJ7OTVcxt75iJmUrJAaNQA/9peD1hbg7fnpyotCywobCEDkKkmJCegYwoEhhTEDysQPN1VFPgcM0dvx6lTEM6vyGpd3i9uw/fwqG3I0Re/C7tHucW8yssaCcApz2YqMwd3jhv5DlxWIA0gX1fik54HhvlfFXx89GUzY5bWHuYktjYVxF6zEnr94wPLF+x6fAwpkrsWZ312Dlyeakg94RhXbAcaiQoriC6WLvtRRreEEewn7mKTcbXigePfBglP/btgMuBQ79FVDTsxEcoULDvJSbx3D82A4LDp3RfA6z0dwBfWKlCLnrJu6dP+77YZGdJ6G6L8t3+tTCUDRtKRov53Mr77EHMy3Drg2eUf6Pl64vWQ87dMwP0HF5ODO2sDdg11QUdARjBTi3VxfJWv6QokRtQdXgjBvZW++NfaXbi5ApDZlIemYYCjQb/mtXS321Ne4ashGjmDs1BGhSGspDMFH7WC9TaKcSMkkj9PBXNID1A=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1530779728

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

