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

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.1.0-4

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

%CSIZE%
9076564

%ISIZE%
37365912

%MD5SUM%
4ff8c44651a1940cc043faca735e17bf

%SHA256SUM%
298c6fa61ab8644c0cf14c132b99d0901a0af3175e7a5f65136a1218fb8f84e3

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmkaXi8ACgkQdxk/FSvb5qYTlA/9HNiIMj7+uIKHkSaHbGMWY/jsl7PCBy3KI3agkPbJM2Qw+Bf9PJmzlhQSx9IFS5ryjrJKyF6+IcqcfNCHnfzeNBJLjkAVT/jFoaR8tt4U160C8u2exhW5f3UNbh+Krj45k1jqt4DDLv4EK+kYO96RTqlEuwt4UvyyRd2LuflY3fo/eGtGABsn9dTmRHrDRmjGhCd9QhewzOBiHzFXg9ft+o8zle2AZLhspCXiHsEgW+TrEAxb6fbo4vORmkonhc+DoGZ5vY9y5GnJ0FYzZxpoSD8rkVlTBZCpbl+r2P8Qo25rKirz3CR6F6epQMPJygyECDP/LFCnuG0boD0JWuZ7ab/FLt+NZ5cqNKMTdewsTpxm+eOjdUtH3dO+u2C/vTM3R2tqtRZ3GKsQdplfMfMMEuVNrNufGHk7uJx0dWlq/qmuT2ciq5GM3j+z8vzqN9YVKDeiIERoJeLKJkNV/eJlT33nH8HqMgjhuZPUWgYw84eOpETyJXfSWq/sPptjSclkMAZdhZq8Hhv3FcyRHq7fppwvHWCGU6FW2Z4Drzr1OKiJdWzxiPrcmcE8fIKbL9ysd5nEYW8sFOgOTD2zSOUnjxLm6H48HxfvreEVmW18vq71rS3YJOfoIp116A73/zHd8xcIwwJaXW0xQfaSHjLV5+cRdiR5tidpUPuBuC964XY=

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

