%FILENAME%
coqide-8.7.2-1-armv7h.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%
1685036

%ISIZE%
7008256

%MD5SUM%
ee1de8f45fdfa57eae015c0e389ed3b5

%SHA256SUM%
cd191d3858cbe06af5a9f88a2ff5beea799925b50c73318b8bffe72c2de2d341

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAlqG96sACgkQdxk/FSvb5qZ9MA//QWXEdU6kU9AqAKPv/osV7VacrUzYLO3UJAfspBB/HlY13EluH9fARHlTjaB4184iopmUHufalHJsB5HFtGEVRj1z2GY35sY+0kyKOG6BeRYOX2YzjkUWFC824rYZTka79TnTtXN3b1JXLkIcw7QAaBXimvCcepIAkdplzCXbtTslqeHA+ffWuMleKwbOXFX8V47l30ni+9pOZnsgj69q3YpUpqOf1Q9W1MADZ0+FfaTI+toFtZ9hgrJp2LpJw9PrQUUyHtiEuzseQwQw0mXI4Tuhi7wm+e9TtsHA5S9hQf01p1GPdyLcT8wkxFu2oxh19BTMtwvbJxlIsDeHHpShwClQkRNm5ubioCGu7PkNqcEOhe8gz1H/tIKBQmEeZqrl9G4psTLDUO1u829h7H1ZozimmGhDe0JJt7Kiy0MOXChs7kDflmln2/xcZsdOfchbKVhbhlg0QEUzMXIFCrulMr8aPB621tldP0Ui/lO8ZQysRU5acS4oA/7K/QDmQ+DehmeOHcFTNAmPdkcZ4lQbQY0dDhsBm7qMyrVD/XBrcSazeGzQu1JWGtYskJwfUGZH5+U4mU5tv7QfiHA/SOxguiosXnhE0TTK4TN3dkbYJ1FzSTKIe8LCyFlRQZUxhkJG//gbHp2vHacMkTJEBImgySwkN4szjD4mKafpZzxYdLM=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1518794574

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

