%FILENAME%
coq-8.18.0-1-aarch64.pkg.tar.xz

%NAME%
coq

%BASE%
coq

%VERSION%
8.18.0-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
202679808

%ISIZE%
683567341

%MD5SUM%
f84f1800491a20f4dc3c54a0f940e18f

%SHA256SUM%
8468cb412696fc2ef2c45a642590d5e051c3cb59eb7ffed46635cb1c8be79093

%PGPSIG%
iQIzBAABCAAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmV5EL4ACgkQdxk/FSvb5qZxMQ/9EZ0WD/OByhOhdOaFE/Aphg44s3jyVzk/ZgMjdUebZAOSz8ZeZzpqgj9IpfVvQBd0dKTIu1eN5g6WoRQBL57j6WcZtqa1oTAoWuAgpGfUHcZ2huuUu0rWxctpOLIz5vGH0xuMffWfZu4VcLiE1bsuy4P8nKEkE94AN5TkK7lvgBtAi4/oDkPMpV4VuyLTzfTzdaMY9bvK2vLXt+BvUgC64yBVr79Hh2jvFWJjewq1GAbahLfnEhmo8+uDl0t548G1ZxyUUCYCg+Z2H0QcUiPf5ojZ7gSZNHuHy6w5KmN70BBLt51R2Ok86antNrICjvOkiRbUYf0Mt88IOzbeoth8ce3vwTgO2saSiIio55/rvL8FXyqhIfSFoU5W6naVK1Yh1CgYH4ah9mk5abmT/8QKMjnDZSASCAUQRZJMoPG4sIEQqrBh3TCrhmK7P7gbzrynfZkfLVevfw6GqTmZPKrJn/JBAYNJZ/0Zy2Nm3BeGN6Juhcv4HU18rypvO5DdOoRlH7FtruuiKopj+BjELwjMEQIhduY7ceVreSh1w6+i/5BEzZggQSoAzI6Lp4cDWe4LqJJFbrzGxfQnPvifyqZZovp2WlMOPFfEqLnf/4lUBQO0/8/S1X5cJ0XND+PJD3BVtSF3O4GWGm9UtPdxN8VNxgmttZEGmLEKmTcl4mg4WUc=

%URL%
https://coq.inria.fr/

%LICENSE%
GPL

%ARCH%
aarch64

%BUILDDATE%
1702431166

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

%REPLACES%
coq-nox

