%FILENAME%
coqide-8.15.0-1-aarch64.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%
2817832

%ISIZE%
14176390

%MD5SUM%
a3eca11f9ac3efcaafd2d063915b3357

%SHA256SUM%
2e15d3e603f44cab108a7857d47e2cd12bbebac4c2d6e655a145fa6ec2f350c0

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmHqg94ACgkQdxk/FSvb5qY8cw/8DBPbgcEZ88GfyM1u01rYTDbhWG5TTTceqyU3u3Y99VLPTVm6sqZYne/xWLgUH7Ocb3TNZ+iaArafj1pyVdezVApupIeO2reHsJGYshWa/SG70lImVNTVoSLHaL4fZtR2icVVI6xRb8UsS5Gxf7i7IhC2J3gvNqO3XfOVxcwo6gsOLR+wo8/TTdZ4GEphJzFu333NMdK0tAU501aRIdNlW0Rkjf+AnbAuKFhAR8vTYkS0Wln5lWEFbX2E5jnp+YWuSR7rA9ufolWbnMnTqsMaC/ozDKyG1+gh25QyMSs7Km9qSdvzJtQkMNjWOtD4PVBrlLckQ53iwzozTc9b8p6huSLBONXPun0yr8k21Egq0GWcpm04EYs+PXTTgVNngHFN+Nv9YLfTpNNUguYir5YZz11d3Vaxh4KvmMj8zGNg3QbDvDZ3JVCGD70f37WNpLED4gSbmXSctAonuphJwZdDb8wPxpam46CVhQNCM5rwz8q9QnzhVnhGwCKZKhqpIYLhv0MN0c9zI36zu5mny3I0XLn+YW6iuwnECQmdrGJaLwJUMcHzfsC7zDTgMUBepdok3KVvSqrt6gSZJOSoi2ySP3QWro5BZIOn13chchOvq/K/UT2dJvEpUqjLspLUqGlo5BHwX3aPtOAnc9igQURnOLUbWgnn4JR05J2V6sgdhAQ=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1642756809

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

