%FILENAME%
coqide-8.12.0-1-aarch64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.12.0-1

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

%GROUPS%
coq

%CSIZE%
2387672

%ISIZE%
14061719

%MD5SUM%
41b7b1e81940b35820c1c1474ea03f07

%SHA256SUM%
1ae4a05f0c58a1a215c00606cf432eb6d2ac891a6e50e679da27af5cf46b83cb

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAl8cbAUACgkQdxk/FSvb5qbKPg//b9S4diseXrw8uHEr02a+frMbnHYI2dl//c1xBpQxMj3bR9a51DBBdKpHmClMdQ6QDrVaAcA2NEND4UcClDu7EX8jSd3uG3cJ1xy9Dfs0hPHS1M3U4IiMqd9lVK9MN+V+GnOigmZCa3Mb+9LTb3NDPfKRh4Bldyis/vwyaQci9bVWA/zgnP3Vzy47Lu1Ts5DCbPBBdKfIyAR9nx3W4cRra8dgEGHqGhSzShZmYpZb4y88W1Rw4lOpbORMRkqe7vhR2QJp2waJHW6Xb2/ysh9s2MwQBjyTYCjOegzacxzNI/lprXVievr5Y6FEuwBpbrssaW5Qs2Saja1DLecINqljwao1o+JTJwX/ktSMgvsYFEHL2JGAtUL8q0PC+RjSyvFWtbXuq+c6/18gQPIBIhYXeT3aNTYmujBAnp3MaoCv25WeRuCKG7LrG6F+xlqhE4LdcpsdCWa0IXQNp8exlHyN/a8l7710IhvsVoF/tU7lPB0PPVhB6/BfomMSwp5J+lDl30Re8ymofF4gszDVu/pDdLVbsax9VIDlcpC5vTwtNRHx94qrgXLJZyAY7HyR/dWI+pLqGqA/en2KqeoY4Vf6yaFyEf+3Qd7kTnXs23StxeXgJHX0Z0qAkGdOWr1SXu69eHHC2VVUaaz/JjlT9UeE2tqo29wSWwCq9e0Lio7LrZ4=

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

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1595696482

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

