%FILENAME%
coqide-8.10.2-1-x86_64.pkg.tar.xz

%NAME%
coqide

%BASE%
coq

%VERSION%
8.10.2-1

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

%GROUPS%
coq

%CSIZE%
2457144

%ISIZE%
14057076

%SHA256SUM%
649b137035ef55f5a958d5f3e75595018625eb3e66c7420f70acfad2b1bb85f3

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4D+ocACgkQeGxj8zDXy5JJNg//YclfAO4UnKMbSCXybv1a89ZOCN+O78XGUA+qTxV+XeKhwjroq8/PnSfmIGYTuLAqp/+08zPyGZPIdn4xWzkyd8VfXUdyUJZzhLpcTe3Gt+pNmE0Hen//ZuG3StKfyQtoTJPA79A1XhJg5lljI5Ih2Lsa0MXsEg7N6kJnX6H8AvZUK93flyxAKUs03fC4LGivajz4I/g66cxL79y6EEhX8e5U93E1Q1bg3F4x6bl/lAn5phxN7ToVQVn+qd9mXPaRtmoj1Qm4hyke1Lsi5UUzqStjlryqdJOR9KzpYuOg+LtHkadPM2v5xS3QI+yN2uv/RWR7iWVvCZaxkoMMSDGy6l/PmEqXvfF2l9RIOd/CVO139KBVXzq83JrwnngTLLc/O4qBC2WP98KLKX/ppu5PCj0/Pq6hW6Bo7u60f6YoOqqBts26NxeCVmfjw5mNG57ceKSUviKOk0Jl5s4YGtTzuLgwdNHifWZyXMGcYiDwzErrdvNT8wKIV81VvPIZXePwZPTAJ4EWBNbiKjIT64d/JS9PnzPPJ9a6HvJB7KTPkPVH/lYpUgyvwop92I/fHHEOgt7a+oJqwhr6KLhigvNNZnTJ2buFB7ensKir21sKdn/c8CZyt0zp0K8P3TaDuFI9z8r41ORmQ+uYYIfZ12pBS+p3FN9h0+Ra6gU7YnYTTJY=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1577317499

%PACKAGER%
Felix Yan <felixonmars@archlinux.org>

%DEPENDS%
coq
ocaml
gtk3
gtksourceview3

%MAKEDEPENDS%
ocaml-findlib
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

