%FILENAME%
coq-8.8.1-3-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.8.1-3

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
45618332

%ISIZE%
282852352

%MD5SUM%
d954cef2d0390c222de74c5719e9deff

%SHA256SUM%
3afa09d0cc60736a8c7da6410a9c11c34988387ce4788f1f9277cff2b68c8136

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAltzMDQACgkQdxk/FSvb5qYbvBAAimJbRwgpaHkVLnpreRr1p13xV+gHWC5NpZ2TDVxfudN6i7SFv1zE3HRdqRdHpKkluEzVUZjAVhswjh3NgDDFSRywvHH1cW3Mbee8FsiPbYG+ngZDofcw46XyX65A+No/HGlnZwCiqho4AFOpPqpLn4P3POnUyOvAH2TkdlqIrUrWFx5AP4LUr0cOmwWDhoboWk8N7VwzF48Jd1WYu9aDzf7BzFuU0ZvVclPn5hvkTMrwW0+4trlhq8UKaCSdCaOAZy9ce+rSHNkwOv7A70Fyel9N8p2KhOZ0UU9HGmw82K2JCD/SWnQD8Ld9+AcLXSlRymNd3KO6eJOM8y6EJCnCisqDRB2p6R1xRnc3aRzCMAc3W9FQmBYduBaQu8HdAjQq/R0SIKfrFjz4ZAyUTRVnbIyYXGrwynGY5QG+tvjVdBDBmcXouJgpi54EOWkzE1NXDykAG1tmGmDlYVR6vD+Vu5IY0PNaOlENGFn5kY5YQgcBhjNh3JcltEowtc4o9D2ebETWIccmoZqRP0iR9i6+kq4hLZOIJqosTbgo/TMVlJI3X3YBEpDHA7sR6Z22bR2urO+GzXjylh1vyRLUigtgw6ev2822ohGrAbQVGTP2QIsowyu0YSE+Ypt/SYGM/Yydt+ASPNiglELF4pZ8D4YsYZ2ISXMBpVgyfxzWAV7WEAE=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1534274518

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

%REPLACES%
coq-nox

