%FILENAME%
rocq-9.1.1-2-aarch64.pkg.tar.xz

%NAME%
rocq

%BASE%
rocq

%VERSION%
9.1.1-2

%DESC%
Interactive theorem prover, or proof assistant

%CSIZE%
159053712

%ISIZE%
440530002

%MD5SUM%
02089e46e5b6afca8a445f5cbd95cf28

%SHA256SUM%
41e78526b3a6397452ae74ddb4c39fdf49dfff14e7d4af05dfd579ec999947c2

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmo59P0ACgkQdxk/FSvb5qaOgRAAsNUryrg+FGWWAQa6XYT3AwHZ/b6qtwSppoKsBMQTjdHjV/fskB4w5Z4efEHpWCBpsn1Qgai4JbXuudrb81No3HNRtI7oxfZYZzh2TplCsPH9iFQvVVQReP50OkO4ksoygBBLT2fu8EIj6Gd7a3Nz45cvrxIzjTirgbln/Ysq9XHITgIKWCJOBImCAAZzLx/GTfY41aGeEKmYmMOR5QJbaVmEkzLT1md0NyJinEmyzJl0NlLsI2+GwiShoG74VBuJnCxXPkDglUs8E9+hVkPPu84vddzPK6ySvbiI9estGSJwo6RDO+dCnAJQsQP2I6nOoNe5mMw3fUP7u6tvUqoMsvSgu13aU3E7O8OX81+rS5tUsXmjckj7275CDYCp3eBLvUbQoJ/4azsAH+eFAnJH1XPKL5hmazEpICgjKyrOPDYgJOBuizqC8ATOCnzv4iO4JqCJi+dS3KekpUOgc6pu8CXSr3SQgOJl5kPYS0DsQXCcxW9hJYmbL01WUHD+AxJruJ7Q6fFggKw2NhjBu9IH3FjB4NvGh1llAmQ73+ec8g/DTaC3SpQjtpjTs8l9QHYXQPxPR44jdAqRQe2YBP2XH+CnVp2lP3Q6uYaC4Jrf7zdOk4ctsYmCfjobvibs3h9r0FCvJaxOb9ftgYDaGelbD0qfSaROvaqHYoj+ws5lz+M=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1782182674

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

%REPLACES%
coq

