%FILENAME%
coqide-8.16.0-2-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.16.0-2

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

%GROUPS%
coq

%CSIZE%
2851372

%ISIZE%
14339335

%MD5SUM%
666ea805beb7d9f184c894efeeabdea2

%SHA256SUM%
c29ca4f4be54be53aba21bd29b3fce5036e5486451df13f2071d2d224620c5f9

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmMYdWQACgkQdxk/FSvb5qYDHRAAmsXw3j4QshxK3cNRVRPKkG+yB+AQUGY41WyU2YA9JO2Z0VP5DuyzUK8QnX/GKWiKLVfq624xO/1nmlXIuBuc4cOwCd5s5P8rYe7VLG+RV+vNiuUZ05wNEICVH9kCBtX+b7TypwTv2XALIppEwH54MX/NBh6/7AJMZ1Jvzko2ap4UteeUM/kZNWsotVfmaXTNbPboJhURN6So0v7Hv9ZfURqorHknwkzl/RR1qgSY+a7n2kT3R6Ncfy9I2IK2uK9HptFm/BUFgKU9zeX0b2303pZHVxZKvB7+bNZRncJkAX2ECc34mA2FcOPB06jOT8PeCjMaV5f9bUwORxSUhcxHb5B6Kj1tE3WPuDXtrRK4lWreZCWBTvy9cc7Qjx0j12766MSuGekVJjCebv113JcI8YXkT25DzYBt1Lvf2LmkmDclLU9XGXBm95HjKJoK/1H/y+SRxscovGg7V+CY9kO4G+NKzddytXA5623Bqxpx5SjHEeg77B0zBLOhOr42ZZhJ4QcN6LzSw7FEquEoa3n7kym0heo9++I5xkbDig4HMK3Atf87BEV0UXMrakzasA24/duL9jwPsIC2O3kr4O2WeB7om9ID+zobBOPNSeWOPpBYIjl6sDw7vuh7EvsGF6WMa+rSKrQtHS8dBMonUkLzMJrny1BLvqNW7FIaP3R6M9U=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1662545282

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

