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

%NAME%
coq

%BASE%
coq

%VERSION%
8.16.1-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
200091712

%ISIZE%
852961030

%MD5SUM%
edb4d8a42bee036182dab2b600d7c328

%SHA256SUM%
2fa1342b3b0156c9c29dbe25fa637a901330eb7dbcbc5fd4caab1424d862ca06

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmOPVS8ACgkQdxk/FSvb5qZLOw/+MOh9LbPjv42b3eF5HSKNWLf6czD4axM+KKk27RbLILqap8baT2HacIYCv4EhbR1i9onQSj0IsL0rNOx/gzmWGqyBTHCDrhSrko3CChFzpIJ2nWJzIuUux75CQ0wYM6J+kCKJrBc3pFdPi9IFXYWINcRiTIoktOfbEWF6xosGLGZO+/DEaUmyyfMPWIprGlZvhsXn+mV+FarFOti0LVi/ZpmD/+WrTPVIOMF5hXw7RlbOjoJZ4oEO+gAAHS0uYfPzVF6tBLOZQoJ1ZjQ4MrL3Y7FA22kGq+ByHnkfNoJSHc/SM+oxxLh2XZjufLnIK8F0Q9heZwAWgENmjuNcTQC7BKtyZR/13CzguW7aS7jMnmzxPYbf+pAlBtsDdI0i+BXc0jNgH3pdf5/YdqgU1Q7P7jOosq+JqpyiTyU8Doy/lEeKISGJr2VInkU5rl95Dpm+FAMIzKNI/oqc3Ryw70wUMyUzX7110gy3DwBL7VMxOKkeMF8ITbh91BqgfXuGpjGs9sZBR/FsRW0U2vKXeSmSl/klknkVJKhfxG1d11Lk5cA2DTX8YvstzZaJgij9oRdFKSEbqOMKOJ7qEffrve+Gq/lUzcLVJFdNzcjrAO5KlVB0RZ2VZ1GGf/dvTXFZc/cnvIri62CMfEzGlrIrU4RIge9AP2jEgkQblrxAb4tjOHU=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1670335814

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

%REPLACES%
coq-nox

