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

%NAME%
rocq

%BASE%
rocq

%VERSION%
9.3.0-1

%DESC%
Interactive theorem prover, or proof assistant

%CSIZE%
168118484

%ISIZE%
466452551

%MD5SUM%
cfd907e5c53f47379c336b5396e677c1

%SHA256SUM%
b2080c5bebc817d34e090013b21cd1e4fd984a9736fef83d6f3ed13a731dbe49

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrOIYsACgkQdxk/FSvb5qZkMw/+NEI2N4z3/9eiI3sC6ORiwToCGT/bpnoV04wfoS7TSj6x1G9IKGzwQ/zY/8M/clFwBiN8xTYy2dsAt42S+ctkPa8j6Na4924Jz9JD4B+KDsquvtXjyjRcD41JVitdVFP1L2fK58iAtRXPaKxK8Pu1q26bTY8TKq95xP5w+gfs+MhsWe/RTBEUU9RqT/FvUuHCYnEOV5krrv+O350f/7haFNKMj6IQlcHtNlPkUb5CxqChE14zQzM8uF9oD8gXVLc7t+8+zoXFWnoVpYpztOmMvDIy8cy7KOW0qLF0HS+iA2KyR/VdAVuBu57V08S9n1X/lXOh2Td6BxQ8pluAXGLNwueGDXGZIQVksxyO91FqOsQAQ//MVmjnjtQywSiEoe+FqefEmG6sytf7UXo9EN4xIy47H+NDnd0KfILsQzhdZqXVT2dKMhHR34EiiE8x2rtkLWfBm0moP80YsSY8E0VJXvdJY67xpQuqKRUlXJh4atvHQIqGjbOF8yzderpjpaeP6lFm3kK5sSQiBMXXYh/G3gcWc5Yk1xKbB+PaC0zBDW/XDvWcOzctH5WvVWsozzbD9DQPzrp4qzlVkNxyg58aGYlc9DvF2WoC8xLRv6nxluZGLalzNX80IlNSqzR5E9op21E8IvICYOsDYcCMdU2hvimbDOHKbTl6tW0TLpErYFU=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1791893445

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

%REPLACES%
coq

