%FILENAME%
coqide-8.13.0-1-armv7h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.13.0-1

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

%GROUPS%
coq

%CSIZE%
1962384

%ISIZE%
8298660

%MD5SUM%
0c3c235c61cb854af06622acb558d46a

%SHA256SUM%
0f8c25cef0775a7ee34f9e7d5e4e2e695ed7b60f7302fc8492d245cc0dcc0b9f

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmAFj38ACgkQdxk/FSvb5qbIcRAAsaV9XMlU8mvY2RXYzKcRjzEWSgvxRh6rY567JenwZl4vEl+Adn/tZpRspr9BlGfTrZ5NZVG01VELPINHf4c+4SeD0UZ+n7SpNlEPhyeMVSLRMWp8gPKA4D97xATmIC1o0H1RXf93RFAFUryMtk7D/GGG4Oyd6PpO1SVkFJ+FBZqrjMNtzGAZ9yYaw5N+6Ca82PHrmnd8Z1Px7geNQsykcoiFXMYPohPuGDS++AJerIly0h+OrXW5/TYUQXiG69i0+PU+evByDJ3Cd/LMVRBLUzanbcnofDohjrertwyQTltstBF0odjJLTx14f8hlhcK9pr/PhoS0hkBMTm6yqs5IfjexzGApDSwnGM61/GzZoYG9cj/FXLLOuyknVnxHCfMOdKJvH8Aj5i4hofX/9LRQiRXePEgxA3e4AiRGY9Sj9xrXJfz+MDMGZMGzivA1Vfri35dyZEqi4oxzJ83tNmMWL4uqck92wlaYJtaA6MvFw1neAJLjCFIr7P/HFDSQZaP1Np7SYXIe3y1/hcvVpC2O8S5q8a86t148fh9BS7GCLoSwbVVQanDg0SCvRvACxHUtupx8okfv/LAYT9Xpyjb9d3m9sP5gUcJrZexrmRTa8y+WwB+Z4EHS/BaXuuhEi8rU6RcKIZyi4I/Rqtvz6EgFNVo4amA8IRUsnhlVz5F8eE=

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

%LICENSE%
GPL

%ARCH%
armv7h

%BUILDDATE%
1610974515

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

