%FILENAME%
coqide-8.15.0-1-armv6h.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.15.0-1

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

%GROUPS%
coq

%CSIZE%
2063012

%ISIZE%
9755062

%MD5SUM%
65892a3f8aab5543b1d68a9b3110a2ee

%SHA256SUM%
eadbd276b70258abf42fadd18f290d55c58313e17145232f289393ca98d9540b

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqiSMACgkQdxk/FSvb5qYVIg/7BUbAuSV6CQwkPTusinRV4zux7ZmVl8iWw7E4jmCivbcd5NdSN6X3UiEvWaAKZNK7F1uIvNHvGKW4rtYOJ1+ONiN1/UENsLacyzeN+9xxO/B7UJeIqOKX2uYh6uRpe/2bMO4Fc38TKzrTuN+2jPu/DN4SguTQ0V1c9CNHl2otVRXhXPufRNxyAMaLpiScyoNPUNnnNnmJBLYei/7lSRbGk4piWuV9EkmHE5MDPSteywAQ1aljU7czL3ZXOmiSptETU2C5Smluon5VuflfpdTG8NBmr4x0xOEXproqkk9Om+8bybbQnDWcaPN+emPdieMmRTRwUOEkLcxYG/qIADyIelBCPZvx6JDHuPGnqhPVbm1jo4Crp9NNFN5KcYhqBrl06wqa2UBaxrQcpVeRbD24tsOkE60IF9bDPKluvANFF6CtAkQ2jSx5clVMC10qjQTWO1RFsw6e9qb62VSKMVaC7CccY9ig9bXq3S3t57egJkgZijApWf+/9h0dUIuu8VjTvHM1HbA19puFLHuVH1CqqcsaOcx2C2VJLHf2GoA+mKo9M40a5M11a54cxi24HiNAfpjJ7hajgBSuOp43jiWMRqw7tXlK393eO/tgE5H9B2NBXrV9GfN13rxhggvMTHauOMN0N6DoGuRzIHIfppteJSKB4vtTtNKBzZJJX46v1hM=

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

%LICENSE%
GPL

%ARCH%
armv6h

%BUILDDATE%
1642756845

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

