%FILENAME%
coqide-8.7.2-1-arm.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.7.2-1

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

%GROUPS%
coq

%CSIZE%
1649864

%ISIZE%
7676928

%MD5SUM%
c508f775632eae6188274b58b259425d

%SHA256SUM%
cc0edce5a9745053f457bd81ebcb209a235ff7378c647dac6c3bd93b89c8b2e9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG/VsACgkQdxk/FSvb5qbgeg/9FE+O+PNFpNkaYLMHhaNRvTOXGzVr1gha3p9wGJ8UZpUIKcylMADr6EuVNeNuD1t7cFE6yfwMswfcEpD+935Xw45HBJjCkdyEDJwAMdjykeDrDdxWC98i0dri3Tw7Mxmicca0R/VSs1uAUefvSyb7ixYjthwKZCdBkUkRBq2U2mMFP61p676kIxVZxNPv6w66XS0YHu5XYx0ubg7UjgGX5axv18TGwIVvueZhoje+3ZH/23uGoEXZ0dSJ8+WoYf/p+G9fzfUHB7T0Md7AtHtWFcPJPGgLjQGaWvhmFLhmRiM4muy8oJonM/lxaJN2ip0N2dUtFRcgE7oUyEj+kE2SlnARDZ3MNpfsVr+RO3gH3pSdEaGLJHJsL3cvTTmt787cN/FN5MQ7ArIQ1YVQfe5J25xRY207c7LL64e2viYcI/r+xa0Drt+aUe6ikUBpvno3EkxPJ3f1ijRL73SDQJGYme18WZjbK8QWPaHezNQR5otMIGq4SUH4iNR87P52JZD2ZRXIfqsn9larc4bzUh92kN3qbLTxveaZ7qGuNlMQqfvW9VoCA2uDK6kqVl6jTTNClFG80ZM7NaV8bAJpnBNR0O4wzusjX3u+PQhXTEje/C6AHBNVUJls5aqQ9j/+p0Zu9riD1ecGRsxUwvhM8tztJs1z1vXU7PqUTLul2D4kCRs=

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

%LICENSE%
GPL

%ARCH%
arm

%BUILDDATE%
1518796036

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

