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

%NAME%
rocq

%BASE%
rocq

%VERSION%
9.1.1-1

%DESC%
Interactive theorem prover, or proof assistant

%CSIZE%
151473744

%ISIZE%
421935165

%MD5SUM%
15a61075a0bc17e8214df6d6d3d1c949

%SHA256SUM%
5f45847a89795c9d405aba1d442c827d3ff44dbc5e15bd8d055d8bc79141745f

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmmQ8YMACgkQdxk/FSvb5qbRzxAAv3W6QTGkKjlclEq71D4yr6U2QKlOmyKEkXsBKNUHUVXGF19EJhwhQut13zQ1mcdHuEarKeHAUOsRKyvq9rfbqIGtxwS0RjKVpDvAJQMCUJP5KPGRLrzS7pqO+Y2BjawXlxnkFbeF0nb6/aajA341i5jU186V3/rtw/0JieQ52Rk4zih0e6RuvgEzOF19a3dFZMeTe/RsCs+mjUM5DqKKy56EcNyK3mzqtQV77FCFczncbXm1J1aBe5O3vi6syV9W9Qv08GdX6uFmXRuIJy3kZfF449+bN7ey12C85xu8e8TnmqCvod48GudLQZW6+p7/+85aW8SoSbTSm06cuTn5LYEIfzK3E7bZdKEpRsFiSJrbflhZRf0Vx+6YolLsLM4vC+lGrZDjve9ngH1TejfHLx//jU024cMmNz7nvGugiFGmmkdnJHJpH/eEKiVI3ojS23seQG+83Ewlx7vV307XcxTBvm9bBZRt52e+B+AOPzaDCVIABDbkMashx1g6pTTQnDvDivzX3RsPom4MklYxiMkQmjkhl/oXDGGTvTGQE0Y+ApsJGxAuD32isfKevClWdlxEd8Ee0H1Gz49uo6jvaOlwroapKdXJVA2lTRKZwJTfuMbxUW7NOyAYcx5ee5hbhnh5gw7a9kRrcGLZA5w8w0nW4FgnoyrcKVDiB04aAUw=

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

%LICENSE%
LGPL-2.1-only

%ARCH%
aarch64

%BUILDDATE%
1771106209

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

%REPLACES%
coq

