%FILENAME%
rocqide-9.1.1-1-aarch64.pkg.tar.xz

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.1.1-1

%DESC%
Interactive theorem prover, or proof assistant (GTK-based GUI)

%CSIZE%
9083504

%ISIZE%
37365912

%MD5SUM%
e20c39598b7489f951ac02e0fbc5d18a

%SHA256SUM%
7ad01db7e13cdac192891d672fe4ba86417d3b7d405a9a4e900a45c78cadfe6f

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmQ8YMACgkQdxk/FSvb5qYxoA//YACs4x7YRuHzgq/4d93Yl84ef5CTUm39wLBhlmD9Lxq5IFkA2vAClaRbp5rHCp4KYtY2Ns1GOdITOpv5remKtfU3uqXOt8AHL0w3so0tz40kvmIcUSvNMbR9ZCEULm250yHd7MgWVWs7sKWF+cyK877NlCjUsP5r3y9exmSKQq/MHb0wbINUAUQndzMjwE7O6Ezxxy+yS3YusywSlUCcHyuUvPb9uUjReJmJqKHYfKzPrv2Ihz6FN/EmJGS2abV+Nw+a2uc2kjzCC0dnTB8SnMF6zar7LXzSLZdRLExFTTLpoMJLvgnVfb77TI02Wp02ObNS3byWb6VA3QBz0wQaCzSB9p17g+goJoWS+NALp23EEqKW2/RroFC+XBLy9KY3rRsn9kKVwDNjHi+TD5sN8JChgz+lpR7xr+xBMCbhwqQqyGjUNSsIztqBrEMuKyuizeIkhXtdG4o/xe3LdYdaI4KnscmkeVgrumwN6VntP7yEYLaVpDOxE7ZxwJLSDFojDaR/HeAwMXyIPF7uNbhatTva6DjfaHxdgxvWuX0ezuVqATg2lMWRUJVzSm3iZB7e1QZvWGioM6J141wSaDJoqc/7d3cG9lGLtY5BBz/BRFick8afhQb03tCGwYA7NfOwGh235Vm3GfkyHZhea87MzR7YAtBsoiZwbtZKs/0dlQw=

%URL%
https://rocq-prover.org/

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1771106209

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

%REPLACES%
coqide

