format = 2
pkgname = coq
pkgbase = coq
pkgver = 8.16.1-1.1
pkgarch = i686
pkgbuild_sha256sum = 1968b41a169d35da3b79a85fece5fbb1256b0ea28c294baf18d5fcff5ba78030
packager = Andreas Baumann <mail@andreasbaumann.cc>
builddate = 1681201627
builddir = /build
startdir = /startdir
buildtool = devtools
buildtoolver = 6.0.2
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.1-3.0-i686
installed = adobe-source-code-pro-fonts-2.040u+1.060i+1.024vf-1.0-any
installed = adwaita-cursors-43-2.0-any
installed = adwaita-icon-theme-43-2.0-any
installed = antlr4-4.9.2-1.0-any
installed = aom-3.6.0-1.0-i686
installed = archlinux32-keyring-20230201-1.0-any
installed = argon2-20190702-4.0-i686
installed = at-spi2-core-2.48.0-2.0-i686
installed = attr-2.5.1-2.0-i686
installed = audit-3.1-1.0-i686
installed = autoconf-2.71-1.0-any
installed = automake-1.16.5-2.0-any
installed = avahi-0.8+22+gfd482a7-3.2-i686
installed = base-devel-1-1.0-any
installed = bash-5.1.016-3.0-i686
installed = bc-1.07.1-4.0-i686
installed = binutils-2.40-4.1-i686
installed = bison-3.8.2-4.0-i686
installed = brotli-1.0.9-10.1-i686
installed = bzip2-1.0.8-5.0-i686
installed = ca-certificates-20220905-1.0-any
installed = ca-certificates-mozilla-3.89-1.1-i686
installed = ca-certificates-utils-20220905-1.0-any
installed = cairo-1.17.8-2.1-i686
installed = cantarell-fonts-1:0.303.1-1.0-any
installed = coreutils-9.1-3.0-i686
installed = cryptsetup-2.6.1-3.0-i686
installed = curl-8.0.1-1.0-i686
installed = dav1d-1.1.0-1.0-i686
installed = db5.3-5.3.28-2.0-i686
installed = dbus-1.14.6-2.0-i686
installed = dconf-0.40.0-2.0-i686
installed = debugedit-5.0-5.0-i686
installed = default-cursors-2-1.0-any
installed = desktop-file-utils-0.26-2.0-i686
installed = device-mapper-2.03.20-1.0-i686
installed = diffutils-3.9-1.1-i686
installed = duktape-2.7.0-5.1-i686
installed = dune-3.7.0.post1-1.0-i686
installed = e2fsprogs-1.47.0-1.0-i686
installed = enchant-2.3.4-1.0-i686
installed = expat-2.5.0-1.0-i686
installed = fakeroot-1.31-2.2-i686
installed = ffcall-2.4-2.2-i686
installed = fig2dev-3.2.8-1.0-i686
installed = file-5.44-3.0-i686
installed = filesystem-2023.01.31-1.0-i686
installed = findutils-4.9.0-3.0-i686
installed = flex-2.6.4-5.0-i686
installed = fontconfig-2:2.14.2-1.1-i686
installed = freetype2-2.13.0-1.1-i686
installed = fribidi-1.0.12-1.0-i686
installed = gawk-5.2.1-2.0-i686
installed = gc-8.2.2-1.0-i686
installed = gcc-12.2.1-2.0-i686
installed = gcc-libs-12.2.1-2.0-i686
installed = gd-2.3.3-6.1-i686
installed = gdbm-1.23-2.0-i686
installed = gdk-pixbuf2-2.42.10-2.1-i686
installed = gendesk-1.0.9-3.0-i686
installed = gettext-0.21.1-5.0-i686
installed = ghostscript-10.01.1-1.0-i686
installed = giflib-5.2.1-2.0-i686
installed = git-2.40.0-1.0-i686
installed = glib-networking-1:2.76.0-1.0-i686
installed = glib2-2.76.1-1.1-i686
installed = glibc-2.37-2.1-i686
installed = gmp-6.2.1-2.0-i686
installed = gnupg-2.2.41-1.0-i686
installed = gnutls-3.8.0-1.0-i686
installed = gpgme-1.19.0-3.0-i686
installed = graphite-1:1.3.14-3.0-i686
installed = grep-3.9-1.0-i686
installed = groff-1.22.4-7.0-i686
installed = gsettings-desktop-schemas-44.0-1.0-any
installed = gtk-update-icon-cache-1:4.10.1-2.0-i686
installed = gtk2-2.24.33-2.12-i686
installed = gtk3-1:3.24.35-2.0-i686
installed = gtksourceview3-1:3.24.11+r28+g73e57b57-1.0-i686
installed = gtkspell3-3.0.10-2.1-i686
installed = guile-3.0.8-3.2-i686
installed = gzip-1.12-2.0-i686
installed = harfbuzz-7.1.0-1.0-i686
installed = harfbuzz-icu-7.1.0-1.0-i686
installed = hevea-2.36-1.0-i686
installed = hicolor-icon-theme-0.17-3.0-any
installed = http-parser-2.9.4-1.0-i686
installed = hwdata-0.369-1.0-any
installed = iana-etc-20230405-1.0-any
installed = icu-72.1-2.0-i686
installed = ijs-0.35-5.0-i686
installed = imagemagick-7.1.1.6-1.0-i686
installed = iptables-1:1.8.9-1.0-i686
installed = iso-codes-4.13.0-1.0-any
installed = jansson-2.14-2.2-i686
installed = java-environment-common-3-5.0-any
installed = java-runtime-common-3-5.0-any
installed = jbig2dec-0.19-1.1-i686
installed = jdk-openjdk-17.0.1.u12-1.0-i686
installed = jre-openjdk-17.0.1.u12-1.0-i686
installed = jre-openjdk-headless-17.0.1.u12-1.0-i686
installed = json-c-0.16-1.0-i686
installed = json-glib-1.6.6-2.0-i686
installed = kbd-2.5.1-1.1-i686
installed = keyutils-1.6.3-1.0-i686
installed = kmod-30-3.2-i686
installed = krb5-1.20.1-1.0-i686
installed = lablgtk2-2.18.12-2.0-i686
installed = lablgtk3-3.1.3-1.0-i686
installed = lcms2-2.15-1.0-i686
installed = less-1:608-2.0-i686
installed = libarchive-3.6.2-2.0-i686
installed = libassuan-2.5.5-1.0-i686
installed = libavif-0.11.1-1.2-i686
installed = libcap-2.68-1.1-i686
installed = libcap-ng-0.8.3-1.1-i686
installed = libcloudproviders-0.3.1+r8+g3a229ee-1.0-i686
installed = libcolord-1.4.6-1.2-i686
installed = libcups-1:2.4.2-6.0-i686
installed = libdaemon-0.14-5.1-i686
installed = libdatrie-0.2.13-2.0-i686
installed = libde265-1.0.11-2.0-i686
installed = libdrm-2.4.115-1.1-i686
installed = libedit-20221030_3.1-1.0-i686
installed = libelf-0.189-1.0-i686
installed = libepoxy-1.5.10-1.0-i686
installed = libevent-2.1.12-4.1-i686
installed = libffi-3.4.4-1.0-i686
installed = libgcrypt-1.10.1-2.0-i686
installed = libgit2-1:1.5.1-2.1-i686
installed = libglvnd-1.6.0-1.0-i686
installed = libgpg-error-1.46-2.0-i686
installed = libheif-1.15.2-1.0-i686
installed = libice-1.1.1-2.0-i686
installed = libidn-1.41-1.0-i686
installed = libidn2-2.3.4-3.1-i686
installed = libisl-0.25-1.0-i686
installed = libjpeg-turbo-2.1.5.1-1.0-i686
installed = libksba-1.6.3-1.0-i686
installed = libldap-2.6.4-1.0-i686
installed = liblqr-0.4.2-3.0-i686
installed = libmnl-1.0.5-1.0-i686
installed = libmpc-1.3.1-1.1-i686
installed = libnet-1:1.1.6-1.0-i686
installed = libnetfilter_conntrack-1.0.9-1.0-i686
installed = libnfnetlink-1.0.2-1.0-i686
installed = libnftnl-1.2.5-1.0-i686
installed = libnghttp2-1.52.0-2.0-i686
installed = libnl-3.7.0-3.0-i686
installed = libnsl-2.0.0-2.2-i686
installed = libomxil-bellagio-0.9.3-4.1-i686
installed = libp11-kit-0.24.1-1.0-i686
installed = libpaper-2.0.10-2.0-i686
installed = libpcap-1.10.3-1.0-i686
installed = libpciaccess-0.17-1.0-i686
installed = libpng-1.6.39-1.0-i686
installed = libproxy-0.4.18-2.1-i686
installed = libpsl-0.21.2-1.0-i686
installed = libraqm-0.10.0-1.0-i686
installed = librsvg-2:2.56.0-1.2-i686
installed = libsasl-2.1.28-4.0-i686
installed = libseccomp-2.5.4-1.2-i686
installed = libsecret-0.20.5-2.0-i686
installed = libsigsegv-2.14-1.0-i686
installed = libsm-1.2.4-1.1-i686
installed = libsoup3-3.4.0-1.0-i686
installed = libssh2-1.10.0-3.1-i686
installed = libstemmer-2.2.0-2.0-i686
installed = libsynctex-2022.62885-5.0-i686
installed = libsysprof-capture-3.48.0-1.0-i686
installed = libtasn1-4.19.0-1.0-i686
installed = libthai-0.1.29-2.0-i686
installed = libtiff-4.5.0-3.0-i686
installed = libtirpc-1.3.3-2.0-i686
installed = libtool-2.4.7+4+g1ec8fa28-2.0-i686
installed = libunistring-1.1-2.0-i686
installed = libunwind-1.6.2-2.0-i686
installed = libverto-0.3.2-4.5-i686
installed = libwebp-1.3.0-2.0-i686
installed = libx11-1.8.4-1.0-i686
installed = libxau-1.0.11-2.0-i686
installed = libxaw-1.0.15-1.0-i686
installed = libxcb-1.15-2.0-i686
installed = libxcomposite-0.4.6-1.0-i686
installed = libxcrypt-4.4.33-1.0-i686
installed = libxcursor-1.2.1-3.1-i686
installed = libxdamage-1.1.6-1.0-i686
installed = libxdmcp-1.1.4-2.0-i686
installed = libxext-1.3.5-1.0-i686
installed = libxfixes-6.0.1-1.0-i686
installed = libxft-2.3.7-1.2-i686
installed = libxi-1.8-3.0-i686
installed = libxinerama-1.1.5-1.0-i686
installed = libxkbcommon-1.5.0-1.0-i686
installed = libxml2-2.10.3-2.1-i686
installed = libxmu-1.1.4-1.0-i686
installed = libxpm-3.5.15-1.0-i686
installed = libxrandr-1.5.3-1.0-i686
installed = libxrender-0.9.11-1.0-i686
installed = libxshmfence-1.3.2-1.0-i686
installed = libxt-1.3.0-1.0-i686
installed = libxtst-1.2.4-1.0-i686
installed = libxxf86vm-1.1.5-1.0-i686
installed = libyuv-r2322+3aebf69d-1.0-i686
installed = linux-api-headers-6.1.9-1.0-any
installed = llvm-libs-15.0.7-2.1-i686
installed = lm_sensors-1:3.6.0.r41.g31d1f125-2.2-i686
installed = lz4-1:1.9.4-1.0-i686
installed = lzo-2.10-5.1-i686
installed = m4-1.4.19-3.0-i686
installed = make-4.4.1-2.0-i686
installed = mesa-23.0.2-2.0-i686
installed = mpfr-4.2.0-3.0-i686
installed = ncurses-6.4-1.0-i686
installed = netpbm-10.73.42-2.0-i686
installed = nettle-3.8.1-1.1-i686
installed = npth-1.6-3.0-i686
installed = nspr-4.35-1.0-i686
installed = nss-3.89-1.1-i686
installed = ocaml-4.14.0-1.2-i686
installed = ocaml-cairo-0.6.4-1.1-i686
installed = ocaml-compiler-libs-4.14.0-1.2-i686
installed = ocaml-findlib-1.9.6-1.1-i686
installed = ocaml-num-1.4-6.0-i686
installed = ocaml-zarith-1.12-5.0-i686
installed = openjpeg2-2.5.0-2.0-i686
installed = openssl-3.0.8-1.0-i686
installed = p11-kit-0.24.1-1.0-i686
installed = pacman-6.0.2-5.4-i686
installed = pacman-mirrorlist-20220318-1.9-any
installed = pam-1.5.2-1.0-i686
installed = pambase-20221020-1.0-any
installed = pango-1:1.50.14-1.1-i686
installed = patch-2.7.6-9.0-i686
installed = pcre2-10.42-2.0-i686
installed = perl-5.36.0-3.0-i686
installed = perl-error-0.17029-4.1-any
installed = perl-file-which-1.27-2.1-any
installed = perl-mailtools-2.21-6.1-any
installed = perl-timedate-2.33-4.1-any
installed = pinentry-1.2.1-1.1-i686
installed = pixman-0.42.2-1.0-i686
installed = pkgconf-1.8.0-1.0-i686
installed = poppler-23.03.0-1.1-i686
installed = poppler-data-0.4.12-1.0-any
installed = popt-1.19-1.0-i686
installed = potrace-1.16-2.0-i686
installed = python-3.10.10-1.0-i686
installed = python-antlr4-4.11.1-1.1-any
installed = python-beautifulsoup4-4.11.2-1.1-any
installed = python-pexpect-4.8.0-6.2-any
installed = python-ptyprocess-0.7.0-4.2-any
installed = python-soupsieve-2.4-1.1-any
installed = rav1e-0.6.3-1.1-i686
installed = readline-8.2.001-2.0-i686
installed = sed-4.9-3.0-i686
installed = shadow-4.13-2.1-i686
installed = shared-mime-info-2.2+13+ga2ffb28-1.0-i686
installed = sqlite-3.41.2-1.0-i686
installed = sudo-1.9.13.p3-1.0-i686
installed = systemd-253.3-1.1-i686
installed = systemd-libs-253.3-1.1-i686
installed = t1lib-5.1.2-8.0-i686
installed = tar-1.34-2.0-i686
installed = texinfo-7.0.3-1.0-i686
installed = texlive-bin-2022.62885-5.0-i686
installed = texlive-core-2022.63035-1.4-any
installed = texlive-fontsextra-2022.62977-1.0-any
installed = texlive-latexextra-2022.63034-1.0-any
installed = texlive-pictures-2022.62992-1.0-any
installed = texlive-science-2022.62977-1.0-any
installed = tpm2-tss-3.2.0-3.1-i686
installed = tracker3-3.5.0-1.1-i686
installed = tzdata-2022g-2.0-i686
installed = util-linux-2.38.1-3.0-i686
installed = util-linux-libs-2.38.1-3.0-i686
installed = vulkan-icd-loader-1.3.245-1.0-i686
installed = wayland-1.22.0-1.0-i686
installed = which-2.21-6.0-i686
installed = x265-3.5-3.1-i686
installed = xcb-proto-1.15.2-2.0-any
installed = xkeyboard-config-2.38-1.0-any
installed = xorgproto-2022.2-1.0-any
installed = xz-5.4.2-1.0-i686
installed = zlib-1:1.2.13-2.0-i686
installed = zstd-1.5.4-1.0-i686
installed = zziplib-0.13.72-1.0-i686
