%FILENAME%
coqide-8.14.1-2-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.14.1-2

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

%GROUPS%
coq

%CSIZE%
1730424

%ISIZE%
7131476

%MD5SUM%
63116a369961f525d4b7301cd58b38e1

%SHA256SUM%
3146ba080fc5db062154e22f587446683633fd1be761731b7add02a50e221a24

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmG1b10ACgkQdxk/FSvb5qbs2g//VzWMB4+lrIb/wCJuTCPS+yiKhw1LaPTN0zOOfyrN3WKDyncnGrjMa9BBu4ELN9V+N9/u4VW66bhA4csbj7gBfBjpkQTowLDyeWPjD2hHM30AD+RAhzniq055Jfk7L91qLZVz2gP5qEeKMlTlK4R8Mt0G/7BStTfV2wTxPQz8FE9OqFSv8I40UBrCTIMF+wFbG6vWSpCnXXSPMaQGD/mZD95O/XJjrM/W3x2t/6zlZXhiNc/STlsMG94Sf1IK6qBIlMwHq5WjOyS7MO/NzPO72yux2TAd4M3xbmLywuZODwPlv/FDHfx0LcoM6hA9Bg7ZJN2qSY6eZgHqGue1GHkix0BLsWf1+20c4zWVln4Fg+263YZjOTVYCyHFF37YXTKA4Dv7PqVYZr/IEnXW0inYERu3GSiW7qEN3mssRXHEgYZJDfkZZk8H0vwvVDyPMShqv/Z3itLVztfDnLAN1lHZ9BoOmfbL6IQHvCh9iHSl34PtXEIlpnjYbMkPRvx1OSEkYyZky5suRPoOzN0fIo7ottv2J3ehLL27fQdHcYpqQcf6dL2Y6jiBE5EloZx3Wi0pQqjg9tKeeDQJdnlZqOky73hpLPY3ufyka0ZhcWn8lLuXsfX1+wcl3mW0QvDicCwe92TlLYrde3KCI3VSxTjFMkXdspHWiY13Qw3WFCdjJvQ=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1639276912

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

