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

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.2.0-1

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

%CSIZE%
9365912

%ISIZE%
38615553

%MD5SUM%
49091dd18c2adc748ffc5aaedfc2cfcb

%SHA256SUM%
90fdd1297292018339c7d12baca99c2ea135da02680dbdf5ad175dae97e69453

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrBFkkACgkQdxk/FSvb5qYNORAAptsrfS2Kh2nfYhZGOrI5dDvM0VujO89LLhin33ljX7gMEKdg1cSTS2YJQs+25gZT9zF4VcYkRl/aml+KJbv4ibEMy5A38ouGVngdNO4ZMN5N9T9M4eAk1yO0J131zTqPtKMvYBerrwGfAIUkKwxJf5SSEX3Kg7QjF3RnOAk/s4cxOamnxujx+ejAhirjkYIBCtii2UOYyYn3zWqxr7MpsIsbnyg4es4y6raoX6bBV5aWRrHwqlfyk15CZwF5ZqdjKajZCjOxP9cfEUuq67vLUdIUP0eb6xrlXG2LxD8woWwqDPrDmVNnjATqXE4kW6ALrjsM152WnNsU+HdTsk+74o7AnK9PEV6PsYMb91hjByZCoV4rE1JinhPDSktDWzGRmUFrax9CrFQo00QZFXi22WjdKCFos+VCGTdXg4zQbfivmxeLQ1yfG8rwE6YUCigwhIWa2ivYKwAn9oYYzP4mtMisEP7dACJn9te5druj1ZZMwLF18kTW2jTJ94cicyHM34KwZvk00KtkR0pkXV4nlsFZYdKLI9OR41QwzHuNAUqSTuN9j3JdSY8qu+LysUSQ2ykdtnJA8jkY4Vtah14GhH4j9IIojUR3XYlnZbDfWJ6Rj5zATzn8ZJjs5g3E6aC9Pc0Lhoe/Ghii9glktVeKWaw8ZciYW51TStchI281IRA=

%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%
coqide

