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

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.1.1-2

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

%CSIZE%
9181428

%ISIZE%
37740017

%MD5SUM%
1540bd04b4607970deff5de877c24d01

%SHA256SUM%
19045a7343bbfa641119338474dceb97858ca2123bc6c9c240db2c062f68716a

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmo59P0ACgkQdxk/FSvb5qYlyg//ViGMT+AbmQoKHYJ7g9PeepCBllqFLjn5HW9p+7PvEGKa2msT8B2AOFNMDNUNouqTdKKqJiUWhR9uemLYCcdk62b+udyG9ybei56FntM8YZZYDUNDgRXJQKbvoupupmYeopkWETjLbY/1ePSKmcHLP2w3fFrOsAXKNL3YCjYxltYbin3ntHeoSsXLwKby36b0xFx/alknfGWUzOi6HQfu31ovqBDji7qZic9CWUoXXx1iZ7EdMemdF+Z8SJKwIZZE77P8yveRCvmhbbuzdNW4D6PW+jNsMfHPrVY+5eNUCZjbvL259qPw3/Ke9QG+UlnnkM8zogoy9RH6w1vEylm7yQYgA5Rs2q0fC64JAzd3SmK1wCW+KXwlrLQB/1vzf5pICMS7mg+GdszWoyldj0BIQaUHEkL67IsmDXveq4goNn1lerD84esIqHtCzwK1sM8o7sRE+fRT8q+02zoHMigj3/7L+9NPQ3Z0gSIVCN3ZKjVwLKswfBj60oU4hwusQhzdvrqNDS42ldbegAlyazMumIAgGHGOzXSsnpwYGbA0ckNL9jYJp/ly7kKMq+/JtwY9eJz/kXuynYsiTCA7kepDBfz35a5KQCxnsAjcY9HImTHMeCp8hsS3BGCG9wqJ0Y2rO9Mtlgu0DJRmaDM2QHuAfvmovzSf0Jpu4SAB7W37YCM=

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

