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

%NAME%
rocqide

%BASE%
rocq

%VERSION%
9.3.0-1

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

%CSIZE%
9444400

%ISIZE%
38974923

%MD5SUM%
fb02c4a8663014227901789a744f846d

%SHA256SUM%
5dbafe64526ae179e3ec15c774f477e61d7ea1a9ec90b8995cc67edf84db01b0

%PGPSIG%
iQIzBAABCgAdFiEEaLNTfzmjE7PldNBndxk/FSvb5qYFAmrOIYsACgkQdxk/FSvb5qa8ZBAAyONZbIqWrwHaal7DceXOA0ItzMlKickB8h/NwbMcIPJfEmMFcseZGUIeOMkfFZV8d6++qI8g77t0tNP5zbuEl4k8rG2Igdntbejbf19EF92brSfxU/wcLwWsv38wiOfLmhB1l7w6JSzCsj8by2GArJoeqk7di+r+32DCo4qh8AxxcX9g5Q0OWSPVkwVHp1nMmrvE25Xh0qW9E/X+3+5Hnf7FN+2EqilvNrI+LHse7tNj6/uM5OKOoQRcqRowqbrFwRrWptm5TPkDS1j//busEDfmri6pBB/VKI2A69KyoKhgpjt9Kp3t+CAAnUIUjFOxIv+B1geOxLMn5z/M490paBsrcpAJLvuOe3V72eUhPSFXDHN7qoH47at0J808pxXHp6PpgtEr34i8xhyCZ6D3ZHLaPuThsWzphHaHLfVKjqhOBAh3UhHj2NSg8S+BKXTgRx+iD9WkYQgVPUy8F+AF5nAwEVi51xs1yOa8Qajvfy9jo+nVZgYJZcowaW2KPeMluvtROQTfcFno6g8C8slt2B2ziOUj93gqOQ26SVxbN+wMwdgtOzcoYxAtM2EUjxibclyv5MF4H+/jbL1IC7+k2fS31a+4H3hPJr2EM+fBcA8l0l45qjtOq4+pwH6dD4iUn/sBTko+lPUs0TJHAZG198wC4hqDk941gHez7OTBDIo=

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

