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

%NAME%
coq

%BASE%
coq

%VERSION%
8.10.2-1

%DESC%
Formal proof management system

%GROUPS%
coq

%CSIZE%
76242856

%ISIZE%
420506376

%MD5SUM%
42fc0e0fc1a174eb362113b3c45069a2

%SHA256SUM%
84b3cae2bb5aafb3bef9c83e402137f9a5c1342e354bf00b7bf59b3a710f1567

%PGPSIG%
iQIzBAABCAAdFiEEtZcfLFwQqaCMYAMPeGxj8zDXy5IFAl4D+oYACgkQeGxj8zDXy5J0Iw//TOYhnxbMg386/QbCjZqUmq4D6hyfgr+X2yzGHRXbuc3savOaKQE34u6fkI2N8LTByEV4sD1ud3pY5oBCZt5h67U2KsOGq1Cb9szZZiJl8aRHbkTuzUf7AkQK4YwuwUvcLCO3wozhmMQ6xg5eaBlDnFYbvKVy84KmZxY9auDjthYi1fDNQPQp2k+S9tkZuk6OSzMJhUmS8ZLwHN7eRnb2pheKk10YGy58Asp0WLvK0qnADAwgWS2ar0V6y3Vjz6xoRUXFsiDgcIyS6tDIpOz1cMFzzk4F9+9/d1+J56n2lchFZKSvLQXGx+DEzYpPRMUXua4Cam2zGcCh0/qC4KBgX0WKwvZivWV2oDE/9CLpkIsr4F3oJtzzhvU67UYJ0QGLXFCS1QznL3GvFBdcgOzHu0AxJJtPnXim2HLqf1zDlrzOmiOpsNjDeJHvtV7zaErWY8tLuHOsJBxwfNkPoFsrtfT9rP8zTqTDkm2hKjDKdpOJ99pLtdGnCtbKrpNkleOOmYKKEl8LAU66IlVAFdQc+5v/J3JJV+YhkJNP+/s8Y4/sZsK/1orqpPUtFAOaBmFWY0yqC7kRj/yz5+SJD756joz00rdCJpTtO1Eu8qNKquX7U/t40LfniPv2UGMyCZQHv3r0FJeGGgGRbN6K7/SRDcrlF54CypDp+SRFbDGRdaI=

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

%LICENSE%
GPL

%ARCH%
x86_64

%BUILDDATE%
1577317499

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

%REPLACES%
coq-nox

%CONFLICTS%
coq-nox

%DEPENDS%
ocaml

%OPTDEPENDS%
coqide: graphical Coq IDE
coq-doc: offline documentation
coin-or-csdp: for psatz plugin

%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

