format = 1
pkgname = coq-doc
pkgbase = coq
pkgver = 8.13.0-1
pkgarch = aarch64
pkgbuild_sha256sum = 293a3cb8d79f0e9ee9eb3292814959c3c3a5f4bfe3dea0f6730aa3ca62a2b78d
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
builddate = 1610974497
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-3-aarch64
installed = adobe-source-code-pro-fonts-2.038ro+1.058it+1.018var-1-any
installed = adwaita-icon-theme-3.38.0-1-any
installed = alsa-lib-1.2.4-3-aarch64
installed = alsa-topology-conf-1.2.4-2-any
installed = alsa-ucm-conf-1.2.4-2-any
installed = archlinuxarm-keyring-20140119-1-any
installed = argon2-20190702-3-aarch64
installed = at-spi2-atk-2.38.0-1-aarch64
installed = at-spi2-core-2.38.0-1-aarch64
installed = atk-2.36.0-1-aarch64
installed = attr-2.4.48-3-aarch64
installed = audit-2.8.5-9-aarch64
installed = autoconf-2.70-1-any
installed = automake-1.16.2-3-any
installed = avahi-0.8+15+ge8a3dd0-3-aarch64
installed = bash-5.1.004-1-aarch64
installed = bc-1.07.1-4-aarch64
installed = binutils-2.35-1-aarch64
installed = bison-3.7.2-1-aarch64
installed = brotli-1.0.9-4-aarch64
installed = bzip2-1.0.8-4-aarch64
installed = ca-certificates-20181109-4-any
installed = ca-certificates-mozilla-3.60.1-1-aarch64
installed = ca-certificates-utils-20181109-4-any
installed = cairo-1.17.4-3-aarch64
installed = cantarell-fonts-1:0.301-1-any
installed = colord-1.4.5-1-aarch64
installed = coreutils-8.32-1-aarch64
installed = cracklib-2.9.7-2-aarch64
installed = cryptsetup-2.3.4-1-aarch64
installed = curl-7.74.0-1-aarch64
installed = db-5.3.28-5-aarch64
installed = dbus-1.12.20-1-aarch64
installed = dconf-0.38.0-1-aarch64
installed = desktop-file-utils-0.26-1-aarch64
installed = device-mapper-2.02.187-3-aarch64
installed = diffutils-3.7-3-aarch64
installed = distcc-3.3.5-2-aarch64
installed = e2fsprogs-1.45.6-3-aarch64
installed = elfutils-0.182-1-aarch64
installed = enchant-2.2.13-2-aarch64
installed = expat-2.2.10-2-aarch64
installed = fakeroot-1.25.3-1-aarch64
installed = fig2dev-3.2.8-1-aarch64
installed = file-5.39-1-aarch64
installed = filesystem-2020.09.03-1-aarch64
installed = findutils-4.7.0-2-aarch64
installed = flex-2.6.4-3-aarch64
installed = fontconfig-2:2.13.91+48+gfcb0420-2-aarch64
installed = freetype2-2.10.4-1-aarch64
installed = fribidi-1.0.10-1-aarch64
installed = gawk-5.1.0-1-aarch64
installed = gc-8.0.4-4-aarch64
installed = gcc-10.2.0-1-aarch64
installed = gcc-libs-10.2.0-1-aarch64
installed = gd-2.3.0-1-aarch64
installed = gdbm-1.19-1-aarch64
installed = gdk-pixbuf2-2.42.2-1-aarch64
installed = gendesk-1.0.6-1-aarch64
installed = gettext-0.21-1-aarch64
installed = ghostscript-9.53.3-2-aarch64
installed = giflib-5.2.1-2-aarch64
installed = glib-networking-2.66.0-1-aarch64
installed = glib2-2.66.4-2-aarch64
installed = glibc-2.32-2-aarch64
installed = gmp-6.2.1-1-aarch64
installed = gnupg-2.2.26-1-aarch64
installed = gnutls-3.7.0-1-aarch64
installed = gpgme-1.15.1-1-aarch64
installed = graphite-1:1.3.14-1-aarch64
installed = grep-3.6-1-aarch64
installed = groff-1.22.4-3-aarch64
installed = gsettings-desktop-schemas-3.38.0-1-any
installed = gtk-update-icon-cache-1:4.0.1-2-aarch64
installed = gtk2-2.24.33-1-aarch64
installed = gtk3-1:3.24.24-2-aarch64
installed = gtksourceview2-2.10.5-5-aarch64
installed = gtksourceview3-3.24.11+28+g73e57b57-1-aarch64
installed = gtkspell3-3.0.10-2-aarch64
installed = guile-2.2.6-2-aarch64
installed = gzip-1.10-3-aarch64
installed = harfbuzz-2.7.4-1-aarch64
installed = harfbuzz-icu-2.7.4-1-aarch64
installed = hevea-2.35-1-aarch64
installed = hicolor-icon-theme-0.17-2-any
installed = hwids-20200813.1-1-any
installed = iana-etc-20201229-1-any
installed = icu-68.2-1-aarch64
installed = ijs-0.35-3-aarch64
installed = imagemagick-7.0.10.58-1-aarch64
installed = iptables-1:1.8.6-1-aarch64
installed = iso-codes-4.5.0-1-any
installed = jbig2dec-0.19-1-aarch64
installed = js78-78.6.0-1-aarch64
installed = json-c-0.15-1-aarch64
installed = json-glib-1.6.0-1-aarch64
installed = kbd-2.3.0-2-aarch64
installed = keyutils-1.6.3-1-aarch64
installed = kmod-28-1-aarch64
installed = krb5-1.18.2-1-aarch64
installed = lablgtk2-2.18.11-2-aarch64
installed = lablgtk3-3.1.1-2-aarch64
installed = lcms2-2.11-2-aarch64
installed = less-563-1-aarch64
installed = libarchive-3.5.1-1-aarch64
installed = libassuan-2.5.4-1-aarch64
installed = libatomic_ops-7.6.10-2-aarch64
installed = libcanberra-0.30+2+gc0620e4-3-aarch64
installed = libcap-2.46-1-aarch64
installed = libcap-ng-0.8.2-1-aarch64
installed = libcloudproviders-0.3.1-2-aarch64
installed = libcroco-0.6.13-2-aarch64
installed = libcups-1:2.3.3op1-1-aarch64
installed = libdaemon-0.14-5-aarch64
installed = libdatrie-0.2.12-2-aarch64
installed = libdrm-2.4.104-1-aarch64
installed = libedit-20191231_3.1-2-aarch64
installed = libelf-0.182-1-aarch64
installed = libepoxy-1.5.5-1-aarch64
installed = libffi-3.3-4-aarch64
installed = libgcrypt-1.8.7-1-aarch64
installed = libglvnd-1.3.2-1-aarch64
installed = libgpg-error-1.41-1-aarch64
installed = libgudev-234-1-aarch64
installed = libgusb-0.3.5-1-aarch64
installed = libice-1.0.10-3-aarch64
installed = libidn-1.36-1-aarch64
installed = libidn2-2.3.0-1-aarch64
installed = libjpeg-turbo-2.0.6-1-aarch64
installed = libksba-1.4.0-2-aarch64
installed = libldap-2.4.56-1-aarch64
installed = liblqr-0.4.2-3-aarch64
installed = libmicrohttpd-0.9.72-1-aarch64
installed = libmnl-1.0.4-3-aarch64
installed = libmpc-1.2.1-1-aarch64
installed = libnetfilter_conntrack-1.0.8-1-aarch64
installed = libnfnetlink-1.0.1-4-aarch64
installed = libnftnl-1.1.8-1-aarch64
installed = libnghttp2-1.41.0-1-aarch64
installed = libnl-3.5.0-2-aarch64
installed = libnsl-1.3.0-1-aarch64
installed = libogg-1.3.4-2-aarch64
installed = libomxil-bellagio-0.9.3-3-aarch64
installed = libp11-kit-0.23.22-1-aarch64
installed = libpaper-1.1.28-1-aarch64
installed = libpcap-1.10.0-1-aarch64
installed = libpciaccess-0.16-2-aarch64
installed = libpng-1.6.37-3-aarch64
installed = libproxy-0.4.17-1-aarch64
installed = libpsl-0.21.1-1-aarch64
installed = libraqm-0.7.1-1-aarch64
installed = librsvg-2:2.50.2-1-aarch64
installed = libsasl-2.1.27-3-aarch64
installed = libseccomp-2.5.1-2-aarch64
installed = libsecret-0.20.4-1-aarch64
installed = libsigsegv-2.12-2-aarch64
installed = libsm-1.2.3-2-aarch64
installed = libsoup-2.72.0+5+g0b094bff-3-aarch64
installed = libssh2-1.9.0-2-aarch64
installed = libstemmer-0+713-2-aarch64
installed = libsynctex-2020.54586-9-aarch64
installed = libtasn1-4.16.0-1-aarch64
installed = libthai-0.1.28-2-aarch64
installed = libtiff-4.1.0-2-aarch64
installed = libtirpc-1.3.1-1-aarch64
installed = libtool-2.4.6+44+gb9b44533-14-aarch64
installed = libunistring-0.9.10-3-aarch64
installed = libunwind-1.3.1-2-aarch64
installed = libusb-1.0.24-2-aarch64
installed = libvorbis-1.3.7-2-aarch64
installed = libwebp-1.1.0-1-aarch64
installed = libx11-1.7.0-3-aarch64
installed = libxau-1.0.9-3-aarch64
installed = libxaw-1.0.13-3-aarch64
installed = libxcb-1.14-1-aarch64
installed = libxcomposite-0.4.5-3-aarch64
installed = libxcrypt-4.4.17-1-aarch64
installed = libxcursor-1.2.0-2-aarch64
installed = libxdamage-1.1.5-3-aarch64
installed = libxdmcp-1.1.3-3-aarch64
installed = libxext-1.3.4-3-aarch64
installed = libxfixes-5.0.3-4-aarch64
installed = libxft-2.3.3-2-aarch64
installed = libxi-1.7.10-3-aarch64
installed = libxinerama-1.1.4-3-aarch64
installed = libxkbcommon-1.0.3-1-aarch64
installed = libxml2-2.9.10-8-aarch64
installed = libxmu-1.1.3-2-aarch64
installed = libxpm-3.5.13-2-aarch64
installed = libxrandr-1.5.2-3-aarch64
installed = libxrender-0.9.10-4-aarch64
installed = libxshmfence-1.3-2-aarch64
installed = libxt-1.2.0-2-aarch64
installed = libxtst-1.2.3-4-aarch64
installed = libxxf86vm-1.1.4-4-aarch64
installed = libyaml-0.2.5-1-aarch64
installed = linux-api-headers-5.8-1-any
installed = llvm-libs-11.0.1-1-aarch64
installed = lm_sensors-3.6.0-2-aarch64
installed = lz4-1:1.9.3-1-aarch64
installed = lzo-2.10-3-aarch64
installed = m4-1.4.18-3-aarch64
installed = make-4.3-3-aarch64
installed = mesa-20.3.3-1-aarch64
installed = mpfr-4.1.0-1-aarch64
installed = ncurses-6.2-1-aarch64
installed = netpbm-10.73.33-1-aarch64
installed = nettle-3.7-1-aarch64
installed = npth-1.6-2-aarch64
installed = nspr-4.29-1-aarch64
installed = nss-3.60.1-1-aarch64
installed = ocaml-4.11.1-1-aarch64
installed = ocaml-cairo-0.6.2-1-aarch64
installed = ocaml-compiler-libs-4.11.1-1-aarch64
installed = ocaml-findlib-1.8.1-8-aarch64
installed = ocaml-num-1.4-1-aarch64
installed = ocaml-zarith-1.11-1-aarch64
installed = openjpeg2-2.4.0-1-aarch64
installed = openssl-1.1.1.i-2-aarch64
installed = p11-kit-0.23.22-1-aarch64
installed = pacman-5.2.2-1-aarch64
installed = pacman-mirrorlist-20200808-1-any
installed = pam-1.5.0-2-aarch64
installed = pambase-20200721.1-2-any
installed = pango-1:1.48.0-1-aarch64
installed = patch-2.7.6-8-aarch64
installed = pcre-8.44-1-aarch64
installed = pcre2-10.36-1-aarch64
installed = perl-5.32.0-3-aarch64
installed = perl-file-which-1.23-4-any
installed = pinentry-1.1.0-5-aarch64
installed = pixman-0.40.0-1-aarch64
installed = pkgconf-1.7.3-1-aarch64
installed = polkit-0.118-1-aarch64
installed = poppler-21.01.0-1-aarch64
installed = popt-1.18-1-aarch64
installed = potrace-1.16-2-aarch64
installed = python-3.9.1-1-aarch64
installed = python-antlr4-4.9.1-1-any
installed = python-appdirs-1.4.4-3-any
installed = python-babel-2.9.0-1-any
installed = python-beautifulsoup4-4.9.3-3-any
installed = python-chardet-3.0.4-7-any
installed = python-docutils-0.16-4-any
installed = python-idna-2.10-3-any
installed = python-imagesize-1.2.0-4-any
installed = python-jinja-2.11.2-4-any
installed = python-latexcodec-2.0.1-3-any
installed = python-markupsafe-1.1.1-6-aarch64
installed = python-ordered-set-4.0.2-3-any
installed = python-oset-0.1.3-7-any
installed = python-packaging-20.8-2-any
installed = python-pexpect-4.8.0-3-any
installed = python-ptyprocess-0.7.0-1-any
installed = python-pybtex-0.23.0-1-any
installed = python-pybtex-docutils-0.2.2-4-any
installed = python-pygments-2.7.4-1-any
installed = python-pyparsing-2.4.7-3-any
installed = python-pytz-2020.5-1-any
installed = python-requests-2.25.1-1-any
installed = python-setuptools-1:51.2.0-1-any
installed = python-six-1.15.0-3-any
installed = python-snowballstemmer-2.0.0-6-any
installed = python-soupsieve-2.1.0-1-any
installed = python-sphinx-3.4.3-1-any
installed = python-sphinx-alabaster-theme-0.7.12-6-any
installed = python-sphinx_rtd_theme-0.5.1-1-any
installed = python-sphinxcontrib-applehelp-1.0.2-3-any
installed = python-sphinxcontrib-bibtex-1.0.0-3-any
installed = python-sphinxcontrib-devhelp-1.0.2-3-any
installed = python-sphinxcontrib-htmlhelp-1.0.3-3-any
installed = python-sphinxcontrib-jsmath-1.0.1-6-any
installed = python-sphinxcontrib-qthelp-1.0.3-3-any
installed = python-sphinxcontrib-serializinghtml-1.1.4-3-any
installed = python-urllib3-1.26.1-1-any
installed = python-yaml-5.3.1-4-aarch64
installed = readline-8.1.0-2-aarch64
installed = rest-0.8.1-3-aarch64
installed = run-parts-4.8.6.1-2-aarch64
installed = sed-4.8-1-aarch64
installed = shadow-4.8.1-4-aarch64
installed = shared-mime-info-2.0+57+gc1d1c70-1-aarch64
installed = sound-theme-freedesktop-0.8-4-any
installed = sqlite-3.34.0-1-aarch64
installed = sudo-1.9.4.p2-2-aarch64
installed = systemd-247.2-1-aarch64
installed = systemd-libs-247.2-1-aarch64
installed = t1lib-5.1.2-8-aarch64
installed = tar-1.32-3-aarch64
installed = tdb-1.4.3-4-aarch64
installed = texinfo-6.7-3-aarch64
installed = texlive-bin-2020.54586-9-aarch64
installed = texlive-core-2020.57066-1-any
installed = texlive-fontsextra-2020.57042-1-any
installed = texlive-latexextra-2020.57067-1-any
installed = texlive-pictures-2020.57065-1-any
installed = texlive-science-2020.57068-1-any
installed = tracker3-3.0.3-1-aarch64
installed = tzdata-2020f-1-aarch64
installed = util-linux-2.36.1-4-aarch64
installed = util-linux-libs-2.36.1-4-aarch64
installed = vulkan-icd-loader-1.2.166-1-aarch64
installed = wayland-1.18.0-2-aarch64
installed = wayland-protocols-1.20-1-any
installed = which-2.21-5-aarch64
installed = xcb-proto-1.14.1-3-any
installed = xkeyboard-config-2.31-1-any
installed = xorgproto-2020.1-1-any
installed = xz-5.2.5-1-aarch64
installed = zlib-1:1.2.11-4-aarch64
installed = zstd-1.4.5-1-aarch64
installed = zziplib-0.13.72-1-aarch64
