%FILENAME%
coq-8.15.0-1-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.15.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
181674848

%ISIZE%
775191254

%MD5SUM%
34162ddb65ea54041a2a31b003a0f832

%SHA256SUM%
b098fbbac8ebd0eb425d8384c930a0bc8631536285df7a5bc1ba19794eb2b7b3

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqg90ACgkQdxk/FSvb5qZtMA/+JLBjhvDJ2vTg7MZKkdqEbydYSa0X/t7C7pdn8VU2k2qfOc8Ofg3yAHPYqLf4TZ5nS9JTP9ktLUgBP19bmopEiYXSbY+YvMXzV5RVJ9xMlhSRYngotoqnOjSULw4WcSyKeO7phYvkqNW29TVqLlq8ow1h9RM8ri9PbsnP+w56VoRjmlxZKLkebK8liP0y0Mc37cLIuKFAgecaOANmeNOLHjxZxw0MycFotps+teNo/uQMejdU5w675M1O+r+OzAFBpxh/cE2y8yI0aoCaAO8xZRTpfjf4vVkWkT0gscL3ztEFr0MhbmHW6B/7AM8DkrKJV87tvrDRRMAwgR+RBgs6JXnS1M+gb3xDJUR/xjXtIzBQ8Zc+4n3dZiXKY0JEfBVMsflXcy8ibsm42qumy4dEayI+96Ztbd9nOsMKPbKILRqnDTfyJRi+m1nSOwX68e6vzuuhoL4nvbDb5EHxSPOG5WcqyfZX/TcTYxItgEnlkj2hS6fu2t1W030WyceIZrka12lqrk13FWrLe9weVz2/9KGW1SAFJNRiZ2Q9v4uce1nqmR01V8mJbrb5ofwvj41tltB8V6B/Uku7+DyXUfd0Ztt4pZNd6zBTnriowix6q/5OzFnM26j2T9aY4GO7BWQM24xHxiYeMebHbpdC9Pn9cEzf+whyr4wZhfIgy8cbG7I=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1642756809

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

%REPLACES%
coq-nox

