%FILENAME%
rocq-9.2.0-1-aarch64.pkg.tar.xz

%NAME%
rocq

%BASE%
rocq

%VERSION%
9.2.0-1

%DESC%
Interactive theorem prover, or proof assistant

%CSIZE%
163249008

%ISIZE%
451868249

%MD5SUM%
06935ba02a29293312c496dc4d0b107f

%SHA256SUM%
fc93b39f7c65972f5161281a83888824be39e74c1ab678b4709c90b56b3118b7

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrBFkkACgkQdxk/FSvb5qbFcw//RzCXjTSBxDxg1V6RIHsa0rTG6sdDu91WssLOi9XACttrEk+S9QPsB9ww3hYPDP8lJaPdfHdzihofYEZxmKBhVl9ZvHv75w5MYkQwb9skTLrbjHUfyxONlEYX5ggxMUwBlGJGAqmHFtdH7onboDHH/5oQf7KRgEJ801HTi8ft71xVY5uEEikaw/TLM+LftYkQdMaciVe7jNBCmkssYtRjasyLv/xP29yfXFRtrOr+jUux+syV00j27QL0XFgdvedrSY0uuYx5AQuBBg9BRudYV73GJ9F7/XIpLa6vf60cbioahaWKw0LrI17SDnVh/Xl5U4ppBAHJnp5nplDe9AGJYLucXIamDGbFIyhjnBPRwTwQx0CgJpdwOlfEgT7dAwUI5DD+UBSNKUkNwZmM8GHZUYt1w2IQY7YmC70HdPyO6no4r0JUv1hcVnYNW8190Bm4iQ0Vh5jfROG0QLBFTrxvD74rR4vCzmeGw8b8rYdtjx6M0gr+OdC+XnCZIKMHqX9eVIGc0UUkDu1rxOCfpuVRjcepU8QbfJcJeyO/1G5bUHvw0RyQJRav698BJEftEwXQ6vp97naRuJ/yy0f4gPQDR8EHFDsRVYGvEoZSofgm6UQ3oVRbci3ly+LOzuasHHSXA5cJhymkVXa/+Mdm6rpzza7KEC0fhRdxj6m798Z0/Zs=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1791038540

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

%REPLACES%
coq

