%FILENAME%
rocq-9.1.0-4-aarch64.pkg.tar.xz

%NAME%
rocq

%BASE%
rocq

%VERSION%
9.1.0-4

%DESC%
Interactive theorem prover, or proof assistant

%CSIZE%
151438108

%ISIZE%
421934151

%MD5SUM%
eabd6bf1059d02d2d661d7a30950b2fd

%SHA256SUM%
b8bacd09994ac076ce31d862d4a96d228f9d292b873bd5af39bc2d3c095e520a

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmkaXi8ACgkQdxk/FSvb5qZrlQ//ahnm0M6SgA3T+Ven5yfWEvQ+MOdw2S1h31dqNTfhdYe5WidTgFEUFyEuL4epLOSRooQrEy2FKOJzknyVZ7+m4V3k5Uh3C6IM8hKzR3loPj9yiITUA0JBAX+a03edPh0FAxg8DcRBPUPjviPJMWyu5NHN1qZA65YDB27jqWg87ZnWdOVzbHZJvJWhyKb6PduOqYfIPI0BM3wpBSLF+cqcN32rmS9qbo+4wLBh139ZkCPvA8pFSDTrQJluE4DYU6mX4kZd9tkojTDiYTkcT7o61pbMeWim3N+zOhB+78IZ0v72Tg9RVFfwf9azmGdkueYFbblNU5PEGCcs41YGYLEjTVn3FbDMcBYoQhkNeco+7UYmu1XKGeRl51e+sTEMjMyyPNqFprux/ofQr8p4t35FPiq/7XZwwF1IX0IfzOydb0JlGW+ZTJMXM4yGfKCY1zz67RQUhoKWSXEcNSXDuCjuGa3cT9wZtY3xcNhEgtPpIdE44utCidW3XqiC/hlGn79E02gTiMF3wla3h2fRCrwqp+nmnDFFA7hKXi2j7y57M6SWctWTgs6ll/068I4ACfZ8qxSkKq9ZZzLPakxUG2UdSuPYOiYASy/uQ/aY6dXhhkN6sq+Ddp6fx6N2vJGSX3QgPTtPDqVdxC/i/CpFTS2+FKkyOCphfic/qa7Jo55YaQQ=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1763335449

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

%REPLACES%
coq

