format = 2
pkgname = coq-doc
pkgbase = coq
pkgver = 8.20.1-1
pkgarch = aarch64
pkgbuild_sha256sum = f8c25e18cf0ad35466e25c953c90e1fe0b19e772bbeb4bdf8950f9b098869b42
packager = Arch Linux ARM Build System <builder+seattle@archlinuxarm.org>
builddate = 1737247326
builddir = /build
startdir = /startdir
buildtool = devtools
buildtoolver = 20220621-1-any
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 = !debug
options = !lto
installed = acl-2.3.2-1-aarch64
installed = adobe-source-code-pro-fonts-2.042u+1.062i+1.026vf-2-any
installed = adwaita-cursors-47.0-1-any
installed = adwaita-icon-theme-47.0-1-any
installed = adwaita-icon-theme-legacy-46.2-3-any
installed = antlr4-4.13.2-1-any
installed = aom-3.11.0-1-aarch64
installed = archlinuxarm-keyring-20240419-1-any
installed = argon2-20190702-6-aarch64
installed = at-spi2-core-2.54.1-1-aarch64
installed = attr-2.5.2-1-aarch64
installed = audit-4.0.3-1-aarch64
installed = autoconf-2.72-1-any
installed = automake-1.17-1-any
installed = avahi-1:0.8+r194+g3f79789-3-aarch64
installed = bash-5.2.037-1-aarch64
installed = bc-1.08.1-1-aarch64
installed = binutils-2.42+r91+g6224493e457-1-aarch64
installed = bison-3.8.2-8-aarch64
installed = brotli-1.1.0-3-aarch64
installed = bzip2-1.0.8-6-aarch64
installed = ca-certificates-20240618-1-any
installed = ca-certificates-mozilla-3.107-1-aarch64
installed = ca-certificates-utils-20240618-1-any
installed = cairo-1.18.2-2-aarch64
installed = cantarell-fonts-1:0.303.1-2-any
installed = coreutils-9.5-2-aarch64
installed = cryptsetup-2.7.5-2-aarch64
installed = curl-8.11.1-3-aarch64
installed = dav1d-1.5.0-1-aarch64
installed = db-6.2.32-1-aarch64
installed = db5.3-5.3.28-5-aarch64
installed = dbus-1.16.0-1-aarch64
installed = dbus-broker-36-4-aarch64
installed = dbus-broker-units-36-4-aarch64
installed = dbus-units-36-4-aarch64
installed = dconf-0.40.0-3-aarch64
installed = debugedit-5.1-1-aarch64
installed = default-cursors-3-1-any
installed = desktop-file-utils-0.28-1-aarch64
installed = device-mapper-2.03.30-1-aarch64
installed = diffutils-3.10-1-aarch64
installed = distcc-3.4-12-aarch64
installed = duktape-2.7.0-7-aarch64
installed = dune-3.17.1-1-aarch64
installed = dvisvgm-3.3-1-aarch64
installed = e2fsprogs-1.47.2-1-aarch64
installed = elfutils-0.192-2-aarch64
installed = enchant-2.8.2-1-aarch64
installed = expat-2.6.4-1-aarch64
installed = fakeroot-1.36.2-1-aarch64
installed = fftw-3.3.10-7-aarch64
installed = fig2dev-3.2.9-1-aarch64
installed = file-5.46-3-aarch64
installed = filesystem-2024.11.21-1-any
installed = findutils-4.10.0-2-aarch64
installed = flex-2.6.4-5-aarch64
installed = fontconfig-2:2.15.0-2-aarch64
installed = freetype2-2.13.3-1-aarch64
installed = fribidi-1.0.16-1-aarch64
installed = gawk-5.3.1-1-aarch64
installed = gc-8.2.8-2-aarch64
installed = gcc-14.1.1+r1+g43b730b9134-1-aarch64
installed = gcc-libs-14.1.1+r1+g43b730b9134-1-aarch64
installed = gd-2.3.3-8-aarch64
installed = gdbm-1.24-1-aarch64
installed = gdk-pixbuf2-2.42.12-2-aarch64
installed = gendesk-1.0.10-1-aarch64
installed = gettext-0.23.1-2-aarch64
installed = ghostscript-10.04.0-1-aarch64
installed = giflib-5.2.2-1-aarch64
installed = git-2.48.1-1-aarch64
installed = glib-networking-1:2.80.1-1-aarch64
installed = glib2-2.82.4-2-aarch64
installed = glibc-2.39+r52+gf8e4623421-1-aarch64
installed = gmp-6.3.0-2-aarch64
installed = gnulib-l10n-20241231-1-any
installed = gnupg-2.4.7-1-aarch64
installed = gnutls-3.8.8-1-aarch64
installed = gpgme-1.24.1-3-aarch64
installed = graphite-1:1.3.14-4-aarch64
installed = grep-3.11-1-aarch64
installed = groff-1.23.0-7-aarch64
installed = gsettings-desktop-schemas-47.1-1-any
installed = gsettings-system-schemas-47.1-1-any
installed = gtk-update-icon-cache-1:4.16.12-1-aarch64
installed = gtk3-1:3.24.43-4-aarch64
installed = gtksourceview3-1:3.24.11+r28+g73e57b57-2-aarch64
installed = gtkspell3-3.0.10-3-aarch64
installed = guile-3.0.10-1-aarch64
installed = gzip-1.13-4-aarch64
installed = harfbuzz-10.2.0-1-aarch64
installed = hevea-2.36-2-aarch64
installed = hicolor-icon-theme-0.18-1-any
installed = hwdata-0.391-1-any
installed = iana-etc-20241206-1-any
installed = icu-75.1-2-aarch64
installed = ijs-0.35-6-aarch64
installed = imagemagick-7.1.1.43-1-aarch64
installed = iso-codes-4.17.0-1-any
installed = jansson-2.14-4-aarch64
installed = java-environment-common-3-6-any
installed = java-runtime-common-3-6-any
installed = jbig2dec-0.20-1-aarch64
installed = jbigkit-2.1-8-aarch64
installed = jdk-openjdk-23.0.1.u0-2-aarch64
installed = json-c-0.18-1-aarch64
installed = json-glib-1.10.6-1-aarch64
installed = kbd-2.7.1-1-aarch64
installed = keyutils-1.6.3-3-aarch64
installed = kmod-33-3-aarch64
installed = krb5-1.21.3-1-aarch64
installed = lablgtk3-3.1.4-3-aarch64
installed = lcms2-2.16-1-aarch64
installed = less-1:668-1-aarch64
installed = libarchive-3.7.7-1-aarch64
installed = libassuan-3.0.0-1-aarch64
installed = libavif-1.1.1-2-aarch64
installed = libcap-2.71-1-aarch64
installed = libcap-ng-0.8.5-3-aarch64
installed = libcloudproviders-0.3.6-1-aarch64
installed = libcolord-1.4.7-2-aarch64
installed = libcroco-0.6.13-2-aarch64
installed = libcups-2:2.4.11-2-aarch64
installed = libdaemon-0.14-6-aarch64
installed = libdatrie-0.2.13-4-aarch64
installed = libde265-1.0.15-3-aarch64
installed = libdrm-2.4.124-1-aarch64
installed = libedit-20240808_3.1-1-aarch64
installed = libelf-0.192-2-aarch64
installed = libepoxy-1.5.10-3-aarch64
installed = libevent-2.1.12-4-aarch64
installed = libffi-3.4.6-1-aarch64
installed = libgcrypt-1.11.0-2-aarch64
installed = libglvnd-1.7.0-1-aarch64
installed = libgpg-error-1.51-1-aarch64
installed = libheif-1.19.5-1-aarch64
installed = libice-1.1.2-1-aarch64
installed = libidn-1.42-1-aarch64
installed = libidn2-2.3.7-1-aarch64
installed = libisl-0.27-1-aarch64
installed = libjpeg-turbo-3.1.0-1-aarch64
installed = libksba-1.6.7-1-aarch64
installed = libldap-2.6.9-1-aarch64
installed = liblqr-0.4.3-1-aarch64
installed = libmpc-1.3.1-2-aarch64
installed = libnet-2:1.3-1-aarch64
installed = libnghttp2-1.64.0-1-aarch64
installed = libnghttp3-1.7.0-1.1-aarch64
installed = libnsl-2.0.1-1-aarch64
installed = libp11-kit-0.25.5-1-aarch64
installed = libpaper-2.2.5-1-aarch64
installed = libpciaccess-0.18.1-2-aarch64
installed = libpng-1.6.45-1-aarch64
installed = libproxy-0.5.9-1-aarch64
installed = libpsl-0.21.5-2-aarch64
installed = libraqm-0.10.2-1-aarch64
installed = librsvg-2:2.59.2-1-aarch64
installed = libsasl-2.1.28-5-aarch64
installed = libseccomp-2.5.5-4.1-aarch64
installed = libsecret-0.21.4-1-aarch64
installed = libsigsegv-2.14-3-aarch64
installed = libsm-1.2.5-1-aarch64
installed = libsoup3-3.6.4-1-aarch64
installed = libssh2-1.11.1-1-aarch64
installed = libstemmer-2.2.0-2-aarch64
installed = libsynctex-2024.2-5-aarch64
installed = libsysprof-capture-47.2-1-aarch64
installed = libtasn1-4.19.0-2-aarch64
installed = libthai-0.1.29-3-aarch64
installed = libtiff-4.7.0-1-aarch64
installed = libtirpc-1.3.6-1-aarch64
installed = libtool-2.4.7+83+g7b091831-1-aarch64
installed = libunistring-1.3-1-aarch64
installed = libusb-1.0.27-1-aarch64
installed = libutempter-1.2.1-4-aarch64
installed = libverto-0.3.2-5-aarch64
installed = libwebp-1.5.0-1-aarch64
installed = libx11-1.8.10-1-aarch64
installed = libxau-1.0.12-1-aarch64
installed = libxaw-1.0.16-1-aarch64
installed = libxcb-1.17.0-1-aarch64
installed = libxcomposite-0.4.6-2-aarch64
installed = libxcrypt-4.4.38-1-aarch64
installed = libxcursor-1.2.3-1-aarch64
installed = libxdamage-1.1.6-2-aarch64
installed = libxdmcp-1.1.5-1.1-aarch64
installed = libxext-1.3.6-1-aarch64
installed = libxfixes-6.0.1-2-aarch64
installed = libxft-2.3.8-2-aarch64
installed = libxi-1.8.2-1-aarch64
installed = libxinerama-1.1.5-2-aarch64
installed = libxkbcommon-1.7.0-2-aarch64
installed = libxml2-2.13.5-2-aarch64
installed = libxmu-1.2.1-1-aarch64
installed = libxpm-3.5.17-2-aarch64
installed = libxrandr-1.5.4-1-aarch64
installed = libxrender-0.9.12-1-aarch64
installed = libxshmfence-1.3.3-1-aarch64
installed = libxt-1.3.1-1-aarch64
installed = libxtst-1.2.5-1-aarch64
installed = libxxf86vm-1.1.6-1-aarch64
installed = libyaml-0.2.5-3-aarch64
installed = libyuv-r2426+464c51a03-1-aarch64
installed = linux-api-headers-6.10-1-aarch64
installed = llvm-libs-19.1.7-1-aarch64
installed = lm_sensors-1:3.6.0.r41.g31d1f125-3-aarch64
installed = lmdb-0.9.33-1-aarch64
installed = lz4-1:1.10.0-2-aarch64
installed = lzo-2.10-5-aarch64
installed = m4-1.4.19-3-aarch64
installed = make-4.4.1-2-aarch64
installed = mesa-1:24.3.3-2-aarch64
installed = mpdecimal-4.0.0-2-aarch64
installed = mpfr-4.2.1-4-aarch64
installed = ncurses-6.5-3-aarch64
installed = netpbm-10.86.44-1-aarch64
installed = nettle-3.10.1-1-aarch64
installed = npth-1.8-1-aarch64
installed = nspr-4.36-1-aarch64
installed = nss-3.107-1-aarch64
installed = ocaml-5.2.1-1-aarch64
installed = ocaml-cairo-0.6.5-2-aarch64
installed = ocaml-compiler-libs-5.2.1-1-aarch64
installed = ocaml-findlib-1.9.8-3-aarch64
installed = ocaml-num-1.5-3-aarch64
installed = ocaml-zarith-1.14-2-aarch64
installed = openjpeg2-2.5.3-1-aarch64
installed = openssl-3.4.0-1-aarch64
installed = p11-kit-0.25.5-1-aarch64
installed = pacman-7.0.0.r6.gc685ae6-1-aarch64
installed = pacman-mirrorlist-20230206-1-any
installed = pam-1.7.0-1-aarch64
installed = pambase-20230918-2-any
installed = pango-1:1.54.0-1-aarch64
installed = patch-2.7.6-10-aarch64
installed = pcre-8.45-4-aarch64
installed = pcre2-10.44-1-aarch64
installed = perl-5.40.0-1-aarch64
installed = perl-error-0.17029-7-any
installed = perl-mailtools-2.22-1-any
installed = perl-timedate-2.33-7-any
installed = pinentry-1.3.1-5-aarch64
installed = pixman-0.44.2-1-aarch64
installed = pkgconf-2.3.0-1-aarch64
installed = poppler-data-0.4.12-2-any
installed = popt-1.19-2-aarch64
installed = potrace-1.16-3-aarch64
installed = python-3.13.1-1-aarch64
installed = python-autocommand-2.2.2-7-any
installed = python-babel-2.15.0-2-any
installed = python-beautifulsoup4-4.12.3-3-any
installed = python-charset-normalizer-3.4.1-1-any
installed = python-docutils-1:0.21.2-3-any
installed = python-idna-3.10-2-any
installed = python-imagesize-1.4.1-6-any
installed = python-jaraco.collections-5.1.0-1-any
installed = python-jaraco.context-6.0.1-1-any
installed = python-jaraco.functools-4.1.0-1-any
installed = python-jaraco.text-4.0.0-2-any
installed = python-jinja-1:3.1.5-1-any
installed = python-latexcodec-2.0.1-10-any
installed = python-markupsafe-2.1.5-3-aarch64
installed = python-more-itertools-10.5.0-1-any
installed = python-packaging-24.2-3-any
installed = python-pexpect-4.9.0-3-any
installed = python-platformdirs-4.3.6-2-any
installed = python-ptyprocess-0.7.0-7-any
installed = python-pybtex-0.24.0-7-any
installed = python-pybtex-docutils-1.0.2-4-any
installed = python-pygments-2.19.1-1-any
installed = python-pytz-2024.2-2-any
installed = python-requests-2.32.3-4-any
installed = python-setuptools-1:75.2.0-4-any
installed = python-six-1.17.0-1-any
installed = python-snowballstemmer-2.2.0-7-any
installed = python-soupsieve-2.6-2-any
installed = python-sphinx-8.1.3-2-any
installed = python-sphinx-alabaster-theme-1.0.0-4-any
installed = python-sphinx_rtd_theme-2.0.0-2-any
installed = python-sphinxcontrib-applehelp-2.0.0-3-any
installed = python-sphinxcontrib-bibtex-2.6.2-3-any
installed = python-sphinxcontrib-devhelp-2.0.0-4-any
installed = python-sphinxcontrib-htmlhelp-2.1.0-3-any
installed = python-sphinxcontrib-jquery-4.1-4-any
installed = python-sphinxcontrib-jsmath-1.0.1-19-any
installed = python-sphinxcontrib-qthelp-2.0.0-3-any
installed = python-sphinxcontrib-serializinghtml-2.0.0-3-any
installed = python-urllib3-2.3.0-1-any
installed = python-wheel-0.45.0-3-any
installed = python-yaml-6.0.2-2-aarch64
installed = rav1e-0.7.1-1-aarch64
installed = readline-8.2.013-1-aarch64
installed = sed-4.9-3-aarch64
installed = shadow-4.16.0-1-aarch64
installed = shared-mime-info-2.4-1-aarch64
installed = spirv-tools-2024.4.rc2-1-aarch64
installed = sqlite-3.48.0-2-aarch64
installed = sudo-1.9.16.p2-2.1-aarch64
installed = systemd-257.2-2-aarch64
installed = systemd-libs-257.2-2-aarch64
installed = tar-1.35-2-aarch64
installed = texinfo-7.1.1-1-aarch64
installed = texlive-basic-2024.2-4-any
installed = texlive-bin-2024.2-5-aarch64
installed = texlive-binextra-2024.2-4-any
installed = texlive-fontsextra-2024.2-4-any
installed = texlive-fontsrecommended-2024.2-4-any
installed = texlive-latex-2024.2-4-any
installed = texlive-latexextra-2024.2-4-any
installed = texlive-latexrecommended-2024.2-4-any
installed = texlive-mathscience-2024.2-4-any
installed = texlive-pictures-2024.2-4-any
installed = tinysparql-3.8.2-2-aarch64
installed = tpm2-tss-4.1.3-1-aarch64
installed = tzdata-2025a-1-aarch64
installed = util-linux-2.40.4-1-aarch64
installed = util-linux-libs-2.40.4-1-aarch64
installed = wayland-1.23.1-1-aarch64
installed = which-2.21-6-aarch64
installed = woff2-1.0.2-5-aarch64
installed = x265-4.0-1-aarch64
installed = xcb-proto-1.17.0-3-any
installed = xkeyboard-config-2.43-1-any
installed = xorg-xprop-1.2.8-1-aarch64
installed = xorgproto-2024.1-2-any
installed = xxhash-0.8.3-1-aarch64
installed = xz-5.6.3-1-aarch64
installed = zlib-1:1.3.1-2-aarch64
installed = zstd-1.5.6-1-aarch64
installed = zziplib-0.13.78-1-aarch64
