%FILENAME%
coqide-8.15.0-2-x86_64.pkg.tar.zst

%NAME%
coqide

%BASE%
coq

%VERSION%
8.15.0-2

%DESC%
GTK-based graphical interface for the Coq proof assistant

%GROUPS%
coq

%CSIZE%
2646307

%ISIZE%
12525668

%MD5SUM%
82866c872be523752600dd841dd04fee

%SHA256SUM%
e9e5d15b48cc2fdbfd9e8ff46a834a49fa23c1613fd83c6886f4e5f36b59466b

%PGPSIG%
iQJIBAABCAAyFiEE6HyevZCe8oInuRJWULwdtYO3lwYFAmNhMeUUHGFzbWVyb25AdWJsaW51eC5jb20ACgkQULwdtYO3lwaiVA/9FqT9w76ea+363LmK7q6Y9WivzbiXH7Ii48mii6yja75qMXj8qir82DxcqLaGfwyxrW0RBvOeqxb+bmXjmekM/6S1nkwghbNSt6jUXY+0PWtW/flfe9yz99lefXMi4IWyx1//nDDKq2PX8Z1FE0usA+shir8cT1XS53+G7WVN5rmZBtLj0YjH1C6U+vn8UYhQY0oX1mqR7/me0e7lYcm/V7thqTlfplqRxCnmPq/qXmusqxzPCsFS7V23edYOTNBTRZabpmi+FS48d+hgjaRLXvGpIrMaLkSBXuHWxd7t2e6qS8FF7B77QjihwRAfOiv3/akq0v2nOIHi339PX7y18GKSRDq4r69UQkf1+rW9ZAcJ+HWE25l7w5k9n/vnVnBRDDsAyo+aNNJcKJySAYRnHVDo8O9oIiS9ayUQ/AaX/oPjKjya5DcfAfYmFfEGWyrCrPGfR8v5vgzMIJz/VqZd4uHN8degSt4ci+MoK6C/dhlbhNQNgv2CgUf6uIqxQVO/IApIGK19f3Kddx8liyyFPhdb6+dTFrw5gfMC6D2ymBsgYP1uUsDHy+m4KFe4SzevT092MfZCyYwbGqf6HFiDcKFaLC3iKW5eH1sJtVb/z7Nkc8t6qe6c/0w8ouvLiy98726n+4WJaVQy9GXa8w4J/yFPaCj+TzsosQFyoq9JZ/w=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1646749050

%PACKAGER%
Konstantin Gizdov <arch@kge.pw>

%DEPENDS%
ocaml>=4.13.1
coq
gtk3
gtksourceview3

%MAKEDEPENDS%
ocaml-findlib
ocaml-num
ocaml-zarith
gtk3
gtksourceview3
dune
git
lablgtk3
gendesk
texlive-bin
texlive-latexextra
texlive-pictures
texlive-fontsextra
texlive-science
fig2dev
imagemagick
hevea
ghostscript
python
python-sphinx
python-sphinx_rtd_theme
python-pexpect
python-beautifulsoup4
python-sphinxcontrib-bibtex
python-antlr4

