format = 1
pkgname = coq
pkgbase = coq
pkgver = 8.8.1-2
pkgarch = aarch64
pkgbuild_sha256sum = 991aa70da0fd6ed3fb3294c2ac9ebf73cfb3da6eef3beec257bd4e8670aae3c5
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
builddate = 1530779701
builddir = /build
buildenv = distcc
buildenv = color
buildenv = !ccache
buildenv = check
buildenv = !sign
options = strip
options = docs
options = !libtool
options = !staticlibs
options = emptydirs
options = zipman
options = purge
options = !upx
options = !debug
installed = acl-2.2.53-1-aarch64
installed = archlinuxarm-keyring-20140119-1-any
installed = argon2-20171227-3-aarch64
installed = atk-2.28.1-1-aarch64
installed = attr-2.4.48-1-aarch64
installed = autoconf-2.69-4-any
installed = automake-1.15.1-1-any
installed = avahi-0.7+4+gd8d8c67-1-aarch64
installed = bash-4.4.023-1-aarch64
installed = bc-1.07.1-1-aarch64
installed = binutils-2.30-5-aarch64
installed = bison-3.0.5-1-aarch64
installed = bzip2-1.0.6-7-aarch64
installed = ca-certificates-20170307-1-any
installed = ca-certificates-cacert-20140824-4-any
installed = ca-certificates-mozilla-3.38-1-aarch64
installed = ca-certificates-utils-20170307-1-any
installed = cairo-1.15.12-1-aarch64
installed = camlp5-7.06-1-aarch64
installed = coreutils-8.29-1-aarch64
installed = cracklib-2.9.6-1-aarch64
installed = cryptsetup-2.0.3-2-aarch64
installed = curl-7.60.0-1-aarch64
installed = db-5.3.28-4-aarch64
installed = dbus-1.12.8-1-aarch64
installed = desktop-file-utils-0.23+4+g92af410-1-aarch64
installed = device-mapper-2.02.177-5-aarch64
installed = diffutils-3.6-1-aarch64
installed = distcc-3.3-2-aarch64
installed = e2fsprogs-1.44.2-1-aarch64
installed = expat-2.2.5-1-aarch64
installed = fakeroot-1.22-1-aarch64
installed = fig2dev-3.2.7-1-aarch64
installed = file-5.33-3-aarch64
installed = filesystem-2018.1-2-aarch64
installed = findutils-4.6.0-2-aarch64
installed = flex-2.6.4-1-aarch64
installed = fontconfig-2.13.0+10+g58f5285-1-aarch64
installed = freetype2-2.9.1-1-aarch64
installed = fribidi-1.0.4-1-aarch64
installed = gawk-4.2.1-1-aarch64
installed = gc-7.6.6-1-aarch64
installed = gcc-8.1.1+20180531-1-aarch64
installed = gcc-libs-8.1.1+20180531-1-aarch64
installed = gd-2.2.5-1-aarch64
installed = gdbm-1.14.1-1-aarch64
installed = gdk-pixbuf2-2.36.12-1-aarch64
installed = gendesk-0.7-2-aarch64
installed = gettext-0.19.8.1-2-aarch64
installed = ghostscript-9.23-1-aarch64
installed = giflib-5.1.4-1-aarch64
installed = glib2-2.56.1-1-aarch64
installed = glibc-2.27-3-aarch64
installed = gmp-6.1.2-1-aarch64
installed = gnupg-2.2.8-1-aarch64
installed = gnutls-3.5.18-1-aarch64
installed = gpgme-1.11.1-1-aarch64
installed = graphite-1:1.3.11-1-aarch64
installed = grep-3.1-1-aarch64
installed = groff-1.22.3-7-aarch64
installed = gtk-update-icon-cache-3.22.30-1-aarch64
installed = gtk2-2.24.32-1-aarch64
installed = gtksourceview2-2.10.5-4-aarch64
installed = guile-2.2.4-1-aarch64
installed = gzip-1.9-1-aarch64
installed = harfbuzz-1.8.2-1-aarch64
installed = harfbuzz-icu-1.8.2-1-aarch64
installed = hevea-2.31-1-aarch64
installed = hicolor-icon-theme-0.17-1-any
installed = hwids-20180518-1-any
installed = iana-etc-20180221-1-any
installed = icu-61.1-1-aarch64
installed = ijs-0.35-1-aarch64
installed = imagemagick-7.0.8.4-1-aarch64
installed = iptables-1.6.2-2-aarch64
installed = jasper-2.0.14-1-aarch64
installed = jbig2dec-0.14-1-aarch64
installed = json-c-0.13.1-1-aarch64
installed = kbd-2.0.4-1-aarch64
installed = keyutils-1.5.10-2-aarch64
installed = kmod-25-1-aarch64
installed = krb5-1.16.1-1-aarch64
installed = lablgtk2-2.18.6-1-aarch64
installed = lcms2-2.9-1-aarch64
installed = less-530-1-aarch64
installed = libarchive-3.3.2-2-aarch64
installed = libassuan-2.5.1-1-aarch64
installed = libatomic_ops-7.6.4-1-aarch64
installed = libcap-2.25-1-aarch64
installed = libcap-ng-0.7.9-1-aarch64
installed = libcroco-0.6.12+4+g9ad7287-1-aarch64
installed = libcups-2.2.8-3-aarch64
installed = libdaemon-0.14-4-aarch64
installed = libdatrie-0.2.12-1-aarch64
installed = libelf-0.171-1-aarch64
installed = libffi-3.2.1-2-aarch64
installed = libgcrypt-1.8.3-1-aarch64
installed = libgpg-error-1.31-1-aarch64
installed = libice-1.0.9-2-aarch64
installed = libidn-1.34-2-aarch64
installed = libidn2-2.0.5-1-aarch64
installed = libjpeg-turbo-1.5.3-1-aarch64
installed = libksba-1.3.5-1-aarch64
installed = libldap-2.4.46-1-aarch64
installed = liblqr-0.4.2-2-aarch64
installed = libmagick-7.0.8.4-1-aarch64
installed = libmnl-1.0.4-1-aarch64
installed = libmpc-1.1.0-1-aarch64
installed = libnftnl-1.1.0-1-aarch64
installed = libnghttp2-1.32.0-1-aarch64
installed = libnl-3.4.0-1-aarch64
installed = libnsl-1.2.0-1-aarch64
installed = libpaper-1.1.24-10-aarch64
installed = libpcap-1.8.1-2-aarch64
installed = libpng-1.6.34-2-aarch64
installed = libpsl-0.20.2-1-aarch64
installed = libraqm-0.5.0-1-aarch64
installed = librsvg-2:2.42.5-1-aarch64
installed = libsasl-2.1.26-12-aarch64
installed = libseccomp-2.3.3-1-aarch64
installed = libsecret-0.18.6-1-aarch64
installed = libsigsegv-2.12-1-aarch64
installed = libsm-1.2.2-3-aarch64
installed = libssh2-1.8.0-2-aarch64
installed = libsynctex-2018.47465-2-aarch64
installed = libsystemd-238.133-4-aarch64
installed = libtasn1-4.13-1-aarch64
installed = libthai-0.1.27-1-aarch64
installed = libtiff-4.0.9-1-aarch64
installed = libtirpc-1.0.3-2-aarch64
installed = libtool-2.4.6+40+g6ca5e224-6-aarch64
installed = libunistring-0.9.10-1-aarch64
installed = libusb-1.0.22-1-aarch64
installed = libutil-linux-2.32-3-aarch64
installed = libwebp-1.0.0-1-aarch64
installed = libx11-1.6.5-1-aarch64
installed = libxau-1.0.8-3-aarch64
installed = libxaw-1.0.13-2-aarch64
installed = libxcb-1.13-1-aarch64
installed = libxcomposite-0.4.4-3-aarch64
installed = libxcursor-1.1.15-1-aarch64
installed = libxdamage-1.1.4-3-aarch64
installed = libxdmcp-1.1.2-2-aarch64
installed = libxext-1.3.3-2-aarch64
installed = libxfixes-5.0.3-2-aarch64
installed = libxft-2.3.2-2-aarch64
installed = libxi-1.7.9-1-aarch64
installed = libxinerama-1.1.3-3-aarch64
installed = libxml2-2.9.8-2-aarch64
installed = libxmu-1.1.2-2-aarch64
installed = libxpm-3.5.12-1-aarch64
installed = libxrandr-1.5.1-2-aarch64
installed = libxrender-0.9.10-1-aarch64
installed = libxt-1.1.5-2-aarch64
installed = libyaml-0.1.7-1-aarch64
installed = linux-api-headers-4.16.1-1-any
installed = lz4-1:1.8.2-2-aarch64
installed = lzo-2.10-1-aarch64
installed = m4-1.4.18-1-aarch64
installed = make-4.2.1-2-aarch64
installed = mpfr-4.0.1-1-aarch64
installed = ncurses-6.1-3-aarch64
installed = netpbm-10.73.18-1-aarch64
installed = nettle-3.4-1-aarch64
installed = npth-1.5-1-aarch64
installed = nspr-4.19-1-aarch64
installed = nss-3.38-1-aarch64
installed = ocaml-4.06.0-2-aarch64
installed = ocaml-compiler-libs-4.06.0-2-aarch64
installed = ocaml-findlib-1.8.0-1-aarch64
installed = ocaml-num-1.1-1-aarch64
installed = openjpeg2-2.3.0-2-aarch64
installed = openssl-1.1.0.h-1-aarch64
installed = p11-kit-0.23.12-1-aarch64
installed = pacman-5.1.0-2-aarch64
installed = pacman-mirrorlist-20180323-1-any
installed = pam-1.3.1-1-aarch64
installed = pambase-20171006-1-any
installed = pango-1.42.1-1-aarch64
installed = patch-2.7.6-1-aarch64
installed = pcre-8.42-1-aarch64
installed = pcre2-10.31-1-aarch64
installed = perl-5.26.2-1-aarch64
installed = perl-file-which-1.22-1-any
installed = pinentry-1.1.0-4-aarch64
installed = pixman-0.34.0-1-aarch64
installed = pkgconf-1.5.1-1-aarch64
installed = poppler-0.64.0-1-aarch64
installed = popt-1.16-9-aarch64
installed = potrace-1.15-1-aarch64
installed = python-3.6.5-3-aarch64
installed = python-antlr4-4.7.1-1-any
installed = python-appdirs-1.4.3-1-any
installed = python-babel-2.6.0-1-any
installed = python-beautifulsoup4-4.6.0-1-any
installed = python-chardet-3.0.4-1-any
installed = python-docutils-0.14-1-any
installed = python-idna-2.7-2-any
installed = python-imagesize-1.0.0-1-any
installed = python-jinja-2.10-1-any
installed = python-latexcodec-1.0.5-1-any
installed = python-markupsafe-1.0-1-aarch64
installed = python-oset-0.1.3-1-any
installed = python-packaging-17.1-1-any
installed = python-pexpect-4.6.0-1-any
installed = python-ptyprocess-0.5.2-1-any
installed = python-pybtex-0.21-3-any
installed = python-pybtex-docutils-0.2.1-1-any
installed = python-pygments-2.2.0-1-any
installed = python-pyparsing-2.2.0-1-any
installed = python-pytz-2018.5-1-any
installed = python-requests-2.19.1-1-any
installed = python-setuptools-1:39.2.0-2-any
installed = python-six-1.11.0-1-any
installed = python-snowballstemmer-1.2.1-2-any
installed = python-sphinx-1.7.5-1-any
installed = python-sphinx-alabaster-theme-0.7.11-1-any
installed = python-sphinx_rtd_theme-0.4.0-1-any
installed = python-sphinxcontrib-bibtex-0.4.0-1-any
installed = python-sphinxcontrib-websupport-1.1.0-1-any
installed = python-sqlalchemy-1.2.9-1-aarch64
installed = python-urllib3-1.23-1-any
installed = python-whoosh-2.7.4-2-any
installed = python-yaml-3.12-3-aarch64
installed = readline-7.0.005-1-aarch64
installed = run-parts-4.8.6-1-aarch64
installed = sed-4.5-1-aarch64
installed = shadow-4.5-4-aarch64
installed = shared-mime-info-1.9-1-aarch64
installed = sqlite-3.24.0-1-aarch64
installed = sudo-1.8.23-2-aarch64
installed = systemd-238.133-4-aarch64
installed = t1lib-5.1.2-6-aarch64
installed = tar-1.30-1-aarch64
installed = texinfo-6.5-1-aarch64
installed = texlive-bin-2018.47465-2-aarch64
installed = texlive-core-2018.47471-1-any
installed = texlive-fontsextra-2018.47288-1-any
installed = texlive-latexextra-2018.47410-1-any
installed = texlive-pictures-2018.47373-1-any
installed = texlive-science-2018.47412-1-any
installed = tzdata-2018e-1-any
installed = util-linux-2.32-3-aarch64
installed = which-2.21-2-aarch64
installed = xcb-proto-1.13-1-any
installed = xorgproto-2018.4-1-any
installed = xz-5.2.4-1-aarch64
installed = zlib-1:1.2.11-2-aarch64
installed = zziplib-0.13.69-1-aarch64
