format = 1
pkgname = coqide
pkgbase = coq
pkgver = 8.8.1-3
pkgarch = arm
pkgbuild_sha256sum = c00547f3f49bfdd5d0b7812eb7ed3e0a3bc252ff5ec1e9f701f571d38e97bdf0
packager = Arch Linux ARM Build System <builder+xu2@archlinuxarm.org>
builddate = 1534277035
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-arm
installed = archlinuxarm-keyring-20140119-1-any
installed = argon2-20171227-3-arm
installed = atk-2.28.1-1-arm
installed = attr-2.4.48-1-arm
installed = autoconf-2.69-4-any
installed = automake-1.15.1-1-any
installed = avahi-0.7+16+g1cc2b8e-2-arm
installed = bash-4.4.023-1-arm
installed = bc-1.07.1-1-arm
installed = binutils-2.31.1-1-arm
installed = bison-3.0.5-1-arm
installed = bzip2-1.0.6-7-arm
installed = ca-certificates-20170307-1-any
installed = ca-certificates-cacert-20140824-4-any
installed = ca-certificates-mozilla-3.38-1-arm
installed = ca-certificates-utils-20170307-1-any
installed = cairo-1.15.12-1-arm
installed = camlp5-7.06-2-arm
installed = coreutils-8.29-1-arm
installed = cracklib-2.9.6-1-arm
installed = cryptsetup-2.0.4-1-arm
installed = curl-7.61.0-2-arm
installed = db-5.3.28-4-arm
installed = dbus-1.12.10-1-arm
installed = desktop-file-utils-0.23+4+g92af410-1-arm
installed = device-mapper-2.02.181-1-arm
installed = diffutils-3.6-1-arm
installed = distcc-3.3-3-arm
installed = e2fsprogs-1.44.3-1-arm
installed = expat-2.2.5-1-arm
installed = fakeroot-1.23-1-arm
installed = fig2dev-3.2.7-1-arm
installed = file-5.33-3-arm
installed = filesystem-2018.1-2-arm
installed = findutils-4.6.0-2-arm
installed = flex-2.6.4-1-arm
installed = fontconfig-2.13.0+10+g58f5285-1-arm
installed = freetype2-2.9.1-1-arm
installed = fribidi-1.0.5-1-arm
installed = gawk-4.2.1-1-arm
installed = gc-7.6.6-1-arm
installed = gcc-8.2.0-2-arm
installed = gcc-libs-8.2.0-2-arm
installed = gd-2.2.5-1-arm
installed = gdbm-1.17-1-arm
installed = gdk-pixbuf2-2.36.12-1-arm
installed = gendesk-0.7-2-arm
installed = gettext-0.19.8.1-2-arm
installed = ghostscript-9.23-2-arm
installed = giflib-5.1.4-1-arm
installed = glib2-2.56.1-1-arm
installed = glibc-2.28-1-arm
installed = gmp-6.1.2-1-arm
installed = gnupg-2.2.9-1-arm
installed = gnutls-3.5.19-1-arm
installed = gpgme-1.11.1-2-arm
installed = graphite-1:1.3.11-1-arm
installed = grep-3.1-1-arm
installed = groff-1.22.3-7-arm
installed = gtk-update-icon-cache-3.22.30-1-arm
installed = gtk2-2.24.32-1-arm
installed = gtksourceview2-2.10.5-4-arm
installed = guile-2.2.4-1-arm
installed = gzip-1.9-1-arm
installed = harfbuzz-1.8.7-1-arm
installed = harfbuzz-icu-1.8.7-1-arm
installed = hevea-2.31-1-arm
installed = hicolor-icon-theme-0.17-1-any
installed = hwids-20180518-1-any
installed = iana-etc-20180221-1-any
installed = icu-62.1-1-arm
installed = ijs-0.35-1-arm
installed = imagemagick-7.0.8.8-2-arm
installed = iptables-1.6.2-2-arm
installed = jasper-2.0.14-1-arm
installed = jbig2dec-0.14-1-arm
installed = json-c-0.13.1-1-arm
installed = kbd-2.0.4-1-arm
installed = keyutils-1.5.10-2-arm
installed = kmod-25-1-arm
installed = krb5-1.16.1-1-arm
installed = lablgtk2-2.18.6-2-arm
installed = lcms2-2.9-1-arm
installed = less-530-1-arm
installed = libarchive-3.3.2-2-arm
installed = libassuan-2.5.1-1-arm
installed = libatomic_ops-7.6.6-1-arm
installed = libcap-2.25-1-arm
installed = libcap-ng-0.7.9-1-arm
installed = libcroco-0.6.12+4+g9ad7287-1-arm
installed = libcups-2.2.8-3-arm
installed = libdaemon-0.14-4-arm
installed = libdatrie-0.2.12-1-arm
installed = libelf-0.171-1-arm
installed = libffi-3.2.1-2-arm
installed = libgcrypt-1.8.3-1-arm
installed = libgpg-error-1.32-1-arm
installed = libice-1.0.9-2-arm
installed = libidn-1.34-2-arm
installed = libidn2-2.0.5-1-arm
installed = libjpeg-turbo-1.5.3-1-arm
installed = libksba-1.3.5-1-arm
installed = libldap-2.4.46-2-arm
installed = liblqr-0.4.2-2-arm
installed = libmagick-7.0.8.8-2-arm
installed = libmnl-1.0.4-1-arm
installed = libmpc-1.1.0-1-arm
installed = libnftnl-1.1.1-1-arm
installed = libnghttp2-1.32.0-1-arm
installed = libnl-3.4.0-1-arm
installed = libnsl-1.2.0-1-arm
installed = libpaper-1.1.24-10-arm
installed = libpcap-1.9.0-1-arm
installed = libpng-1.6.34-2-arm
installed = libpsl-0.20.2-1-arm
installed = libraqm-0.5.0-1-arm
installed = librsvg2.40-2:2.40.20-1-arm
installed = libsasl-2.1.26-13-arm
installed = libseccomp-2.3.3-1-arm
installed = libsecret-0.18.6-1-arm
installed = libsigsegv-2.12-1-arm
installed = libsm-1.2.2-3-arm
installed = libssh2-1.8.0-2-arm
installed = libsynctex-2018.47465-3-arm
installed = libsystemd-239.0-2-arm
installed = libtasn1-4.13-1-arm
installed = libthai-0.1.27-1-arm
installed = libtiff-4.0.9-2-arm
installed = libtirpc-1.0.3-2-arm
installed = libtool-2.4.6+42+gb88cebd5-1-arm
installed = libunistring-0.9.10-1-arm
installed = libusb-1.0.22-1-arm
installed = libutil-linux-2.32.1-2-arm
installed = libwebp-1.0.0-1-arm
installed = libx11-1.6.5-1-arm
installed = libxau-1.0.8-3-arm
installed = libxaw-1.0.13-2-arm
installed = libxcb-1.13-1-arm
installed = libxcomposite-0.4.4-3-arm
installed = libxcursor-1.1.15-1-arm
installed = libxdamage-1.1.4-3-arm
installed = libxdmcp-1.1.2-2-arm
installed = libxext-1.3.3-2-arm
installed = libxfixes-5.0.3-2-arm
installed = libxft-2.3.2-2-arm
installed = libxi-1.7.9-1-arm
installed = libxinerama-1.1.4-1-arm
installed = libxml2-2.9.8-4-arm
installed = libxmu-1.1.2-2-arm
installed = libxpm-3.5.12-1-arm
installed = libxrandr-1.5.1-2-arm
installed = libxrender-0.9.10-1-arm
installed = libxt-1.1.5-2-arm
installed = libyaml-0.1.7-1-arm
installed = linux-api-headers-4.17.11-1-any
installed = lz4-1:1.8.2-2-arm
installed = lzo-2.10-1-arm
installed = m4-1.4.18-1-arm
installed = make-4.2.1-2-arm
installed = mpfr-4.0.1-1-arm
installed = ncurses-6.1-3-arm
installed = netpbm-10.73.18-1-arm
installed = nettle-3.4-1-arm
installed = npth-1.6-1-arm
installed = nspr-4.19-1-arm
installed = nss-3.38-1-arm
installed = ocaml-4.07.0-1-arm
installed = ocaml-compiler-libs-4.07.0-1-arm
installed = ocaml-findlib-1.8.0-2-arm
installed = ocaml-num-1.1-2-arm
installed = openjpeg2-2.3.0-3-arm
installed = openssl-1.1.0.h-1-arm
installed = p11-kit-0.23.12-1-arm
installed = pacman-5.1.1-1-arm
installed = pacman-mirrorlist-20180722-1-any
installed = pam-1.3.1-1-arm
installed = pambase-20171006-1-any
installed = pango-1.42.3-1-arm
installed = patch-2.7.6-1-arm
installed = pcre-8.42-1-arm
installed = pcre2-10.31-1-arm
installed = perl-5.28.0-1-arm
installed = perl-file-which-1.22-2-any
installed = pinentry-1.1.0-4-arm
installed = pixman-0.34.0-1-arm
installed = pkgconf-1.5.3-1-arm
installed = poppler-0.67.0-1-arm
installed = popt-1.16-9-arm
installed = potrace-1.15-1-arm
installed = python-3.7.0-3-arm
installed = python-antlr4-4.7.1-2-any
installed = python-appdirs-1.4.3-2-any
installed = python-babel-2.6.0-2-any
installed = python-beautifulsoup4-4.6.3-1-any
installed = python-chardet-3.0.4-2-any
installed = python-docutils-0.14-2-any
installed = python-idna-2.7-3-any
installed = python-imagesize-1.0.0-2-any
installed = python-jinja-2.10-2-any
installed = python-latexcodec-1.0.5-2-any
installed = python-markupsafe-1.0-2-arm
installed = python-oset-0.1.3-2-any
installed = python-packaging-17.1-2-any
installed = python-pexpect-4.6.0-2-any
installed = python-ptyprocess-0.6.0-2-any
installed = python-pybtex-0.21-4-any
installed = python-pybtex-docutils-0.2.1-2-any
installed = python-pygments-2.2.0-2-any
installed = python-pyparsing-2.2.0-2-any
installed = python-pytz-2018.5-2-any
installed = python-requests-2.19.1-2-any
installed = python-setuptools-1:39.2.0-3-any
installed = python-six-1.11.0-3-any
installed = python-snowballstemmer-1.2.1-3-any
installed = python-sphinx-1.7.6-2-any
installed = python-sphinx-alabaster-theme-0.7.11-2-any
installed = python-sphinx_rtd_theme-0.4.0-2-any
installed = python-sphinxcontrib-bibtex-0.4.0-2-any
installed = python-sphinxcontrib-websupport-1.1.0-2-any
installed = python-sqlalchemy-1.2.10-1-arm
installed = python-urllib3-1.23-2-any
installed = python-whoosh-2.7.4-3-any
installed = python-yaml-3.13-2-arm
installed = readline-7.0.005-1-arm
installed = run-parts-4.8.6-1-arm
installed = sed-4.5-1-arm
installed = shadow-4.5-4-arm
installed = shared-mime-info-1.10-1-arm
installed = sqlite-3.24.0-1-arm
installed = sudo-1.8.23-2-arm
installed = systemd-239.0-2-arm
installed = t1lib-5.1.2-6-arm
installed = tar-1.30-1-arm
installed = texinfo-6.5-1-arm
installed = texlive-bin-2018.47465-3-arm
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.1-2-arm
installed = which-2.21-2-arm
installed = xcb-proto-1.13-2-any
installed = xorgproto-2018.4-1-any
installed = xz-5.2.4-1-arm
installed = zlib-1:1.2.11-3-arm
installed = zziplib-0.13.69-1-arm
