Format: 1.0 Source: acl2 Binary: acl2 acl2-source acl2-emacs acl2-infix acl2-infix-source acl2-books acl2-books-source acl2-books-certs acl2-doc Architecture: kfreebsd-amd64 Version: 8.1dfsg-1 Checksums-Md5: 66a11d0793c9aa41f6864fb9f77375ae 163418600 acl2-books_8.1dfsg-1_kfreebsd-amd64.deb 52b91c54b4b004404166846442a5411e 490796 acl2-infix_8.1dfsg-1_kfreebsd-amd64.deb 23b325047b305e4e50b2e6bfb1513355 20295780 acl2_8.1dfsg-1_kfreebsd-amd64.deb Checksums-Sha1: d2832442855f8c620076b34c9cee9d2bc8b2b3fd 163418600 acl2-books_8.1dfsg-1_kfreebsd-amd64.deb 5fac6a30d6d5a908e47fd68ad52164f03baa3a99 490796 acl2-infix_8.1dfsg-1_kfreebsd-amd64.deb eae0ee93b1be6b7b6eb9f7d76e79420e1902aaca 20295780 acl2_8.1dfsg-1_kfreebsd-amd64.deb Checksums-Sha256: 16563e5799e6a751ef30ecd44f0886c4d986b110da737113c5d988eab641b83f 163418600 acl2-books_8.1dfsg-1_kfreebsd-amd64.deb c78701156869fde62c07abda4b11b332e0798471f7a5144bef773f0e49d28f0d 490796 acl2-infix_8.1dfsg-1_kfreebsd-amd64.deb a2f5a8d41f41f785db381f6021db8ca53e00d05ddd074d142fecf0bbc354f88b 20295780 acl2_8.1dfsg-1_kfreebsd-amd64.deb Build-Origin: Debian Build-Architecture: kfreebsd-amd64 Build-Date: Mon, 04 Mar 2019 15:42:03 +0000 Build-Path: /build/acl2-n3pPld/acl2-8.1dfsg Build-Tainted-By: usr-local-has-programs Installed-Build-Depends: adduser (= 3.118), adwaita-icon-theme (= 3.30.1-1), autoconf (= 2.69-11), automake (= 1:1.16.1-4), autopoint (= 0.19.8.1-9), autotools-dev (= 20180224.1), base-files (= 10.1), base-passwd (= 3.5.46), bash (= 5.0-2), binutils (= 2.31.1-15), binutils-common (= 2.31.1-15), binutils-x86-64-kfreebsd-gnu (= 2.31.1-15), bsdmainutils (= 11.1.2+b1), bsdutils (= 1:2.33.1-0.1), build-essential (= 12.5), bzip2 (= 1.0.6-9), coreutils (= 8.28-1), cpp (= 4:8.2.0-2), cpp-8 (= 8.3.0-2), dash (= 0.5.10.2-5), dbus (= 1.12.10-1), dbus-x11 (= 1.12.10-1), dconf-gsettings-backend (= 0.30.1-2), dconf-service (= 0.30.1-2), debconf (= 1.5.71), debhelper (= 12.1.1), debianutils (= 4.8.6.1), dh-autoreconf (= 19), dh-strip-nondeterminism (= 1.1.1-1), diffutils (= 1:3.7-2), dpkg (= 1.19.5), dpkg-dev (= 1.19.5), dwz (= 0.12-3), emacs-bin-common (= 1:25.2+1-11), emacs-common (= 1:25.2+1-11), emacs-gtk (= 1:25.2+1-11), emacs24 (= 1:25.2+1-11), emacs25 (= 1:25.2+1-11), emacsen-common (= 3.0.4), fdisk (= 2.33.1-0.1), file (= 1:5.35-4), findutils (= 4.6.0+git+20190105-2), fontconfig (= 2.13.1-2), fontconfig-config (= 2.13.1-2), fonts-dejavu-core (= 2.37-1), fonts-lmodern (= 2.004.5-6), freebsd-utils (= 10.3~svn296373-4), g++ (= 4:8.2.0-2), g++-8 (= 8.3.0-2), gcc (= 4:8.2.0-2), gcc-8 (= 8.3.0-2), gcc-8-base (= 8.3.0-2), gcl (= 2.6.12-83), gettext (= 0.19.8.1-9), gettext-base (= 0.19.8.1-9), glib-networking (= 2.58.0-2), glib-networking-common (= 2.58.0-2), glib-networking-services (= 2.58.0-2), grep (= 3.1-2), groff-base (= 1.22.4-3), gsettings-desktop-schemas (= 3.28.1-1), gtk-update-icon-cache (= 3.24.5-1), gzip (= 1.9-3), hicolor-icon-theme (= 0.17-2), hostname (= 3.21), imagemagick-6-common (= 8:6.9.10.23+dfsg-2), init-system-helpers (= 1.56+nmu1), install-info (= 6.5.0.dfsg.1-4+b1), intltool-debian (= 0.35.0+20060710.5), kfreebsd-kernel-headers (= 10.3~8), libacl1 (= 2.2.52-5), libarchive-zip-perl (= 1.64-1), libatk-bridge2.0-0 (= 2.30.0-5), libatk1.0-0 (= 2.30.0-2), libatk1.0-data (= 2.30.0-2), libatomic1 (= 8.3.0-2), libatspi2.0-0 (= 2.30.0-7), libattr1 (= 1:2.4.48-1), libavahi-client3 (= 0.7-3.1), libavahi-common-data (= 0.7-3.1), libavahi-common3 (= 0.7-3.1), libbinutils (= 2.31.1-15), libblkid1 (= 2.33.1-0.1), libbrotli1 (= 1.0.7-2), libbsd0 (= 0.9.1-2), libbz2-1.0 (= 1.0.6-9), libc-bin (= 2.25-2), libc-dev-bin (= 2.25-2), libc0.1 (= 2.25-2), libc0.1-dev (= 2.25-2), libcairo-gobject2 (= 1.16.0-3), libcairo2 (= 1.16.0-3), libcam6 (= 10.3~svn296373-10), libcc1-0 (= 8.3.0-2), libcolord2 (= 1.3.3-2), libcom-err2 (= 1.44.5-1), libcroco3 (= 0.6.12-3), libcups2 (= 2.1.3-5+b1), libcupsfilters1 (= 1.11.6-3), libcupsimage2 (= 2.1.3-5+b1), libdatrie1 (= 0.2.12-2), libdb5.3 (= 5.3.28+dfsg1-0.5), libdbus-1-3 (= 1.12.10-1), libdconf1 (= 0.30.1-2), libde265-0 (= 1.0.3-1), libdebconfclient0 (= 0.247), libdpkg-perl (= 1.19.5), libelf1 (= 0.170-0.5), libepoxy0 (= 1.5.3-0.1), libexpat1 (= 2.2.6-1), libfdisk1 (= 2.33.1-0.1), libffi6 (= 3.2.1-9), libfftw3-double3 (= 3.3.8-2), libfile-stripnondeterminism-perl (= 1.1.1-1), libfontconfig1 (= 2.13.1-2), libfreebsd-glue-0 (= 0.2.22), libfreetype6 (= 2.9.1-3), libfribidi0 (= 1.0.5-3.1), libgcc-8-dev (= 8.3.0-2), libgcc1 (= 1:8.3.0-2), libgd3 (= 2.2.5-5.1), libgdbm-compat4 (= 1.18.1-3), libgdbm6 (= 1.18.1-3), libgdk-pixbuf2.0-0 (= 2.38.0+dfsg-7), libgdk-pixbuf2.0-common (= 2.38.0+dfsg-7), libgeom1 (= 10.3~svn296373-10), libgif7 (= 5.1.4-3), libglib2.0-0 (= 2.56.1-2), libgmp-dev (= 2:6.1.2+dfsg-4), libgmp10 (= 2:6.1.2+dfsg-4), libgmp3-dev (= 2:6.1.2+dfsg-4), libgmpxx4ldbl (= 2:6.1.2+dfsg-4), libgnutls30 (= 3.5.6-4), libgomp1 (= 8.3.0-2), libgraphite2-3 (= 1.3.13-7), libgs9 (= 9.26a~dfsg-2), libgs9-common (= 9.26a~dfsg-2), libgssapi-krb5-2 (= 1.17-2), libgtk-3-0 (= 3.24.5-1), libgtk-3-common (= 3.24.5-1), libharfbuzz-icu0 (= 1.9.0-1), libharfbuzz0b (= 1.9.0-1), libheif1 (= 1.3.2-1+b1), libhogweed4 (= 3.4.1-1), libice-dev (= 2:1.0.9-2), libice6 (= 2:1.0.9-2), libicu57 (= 57.1-9), libicu63 (= 63.1-6), libidn11 (= 1.33-2.2), libijs-0.35 (= 0.35-13), libisl19 (= 0.20-2), libjail1 (= 10.3~svn296373-10), libjbig0 (= 2.1-3.1+b2), libjbig2dec0 (= 0.15-2), libjpeg62-turbo (= 1:1.5.2-2+b1), libjson-glib-1.0-0 (= 1.4.4-2), libjson-glib-1.0-common (= 1.4.4-2), libk5crypto3 (= 1.17-2), libkiconv4 (= 10.3~svn296373-10), libkpathsea6 (= 2018.20181218.49446-2), libkrb5-3 (= 1.17-2), libkrb5support0 (= 1.17-2), libkvm6 (= 10.3~svn296373-10), liblcms2-2 (= 2.9-3), libldap-2.4-2 (= 2.4.47+dfsg-3), libldap-common (= 2.4.47+dfsg-3), liblockfile-bin (= 1.14-1.1), liblockfile1 (= 1.14-1.1), liblqr-1-0 (= 0.4.2-2.1), libltdl7 (= 2.4.6-10), liblzma5 (= 5.2.4-1), libm17n-0 (= 1.8.0-2), libmagic-mgc (= 1:5.35-4), libmagic1 (= 1:5.35-4), libmagickcore-6.q16-6 (= 8:6.9.10.23+dfsg-2), libmagickwand-6.q16-6 (= 8:6.9.10.23+dfsg-2), libmount1 (= 2.33.1-0.1), libmpc3 (= 1.1.0-1+b1), libmpfr6 (= 4.0.2-1), libncurses-dev (= 6.1+20181013-2), libncurses6 (= 6.1+20181013-2), libncursesw6 (= 6.1+20181013-2), libnettle6 (= 3.4.1-1), libopenjp2-7 (= 2.3.0-1.1), liboss4-salsa2 (= 4.2-build2017-1), libotf0 (= 0.9.13-4), libp11-kit0 (= 0.23.9-2+b2), libpam-modules (= 1.3.1-5), libpam-modules-bin (= 1.3.1-5), libpam-runtime (= 1.3.1-5), libpam0g (= 1.3.1-5), libpango-1.0-0 (= 1.42.4-6), libpangocairo-1.0-0 (= 1.42.4-6), libpangoft2-1.0-0 (= 1.42.4-6), libpaper-utils (= 1.1.26), libpaper1 (= 1.1.26), libpcre3 (= 2:8.39-11), libperl5.28 (= 5.28.0-4), libpipeline1 (= 1.5.1-2), libpixman-1-0 (= 0.36.0-1), libpng16-16 (= 1.6.36-5), libpotrace0 (= 1.15-1), libproxy1v5 (= 0.4.15-5), libptexenc1 (= 2018.20181218.49446-2), libpthread-stubs0-dev (= 0.4-1), libquadmath0 (= 8.3.0-2), libreadline-dev (= 7.0-5), libreadline7 (= 7.0-5), librest-0.7-0 (= 0.8.1-1), librsvg2-2 (= 2.40.20-3), librsvg2-common (= 2.40.20-3), libsasl2-2 (= 2.1.27+dfsg-1), libsasl2-modules-db (= 2.1.27+dfsg-1), libsbuf6 (= 10.3~svn296373-10), libsigsegv2 (= 2.12-2), libsm-dev (= 2:1.2.3-1), libsm6 (= 2:1.2.3-1), libsmartcols1 (= 2.33.1-0.1), libsoup-gnome2.4-1 (= 2.60.2-1), libsoup2.4-1 (= 2.60.2-1), libsqlite3-0 (= 3.27.2-1), libssl1.1 (= 1.1.1a-1), libstdc++-8-dev (= 8.3.0-2), libstdc++6 (= 8.3.0-2), libsynctex2 (= 2018.20181218.49446-2), libtasn1-6 (= 4.13-3), libtcl8.6 (= 8.6.9+dfsg-2), libteckit0 (= 2.5.8+ds2-5), libtexlua52 (= 2018.20181218.49446-2), libtexlua53 (= 2018.20181218.49446-2), libtexluajit2 (= 2018.20181218.49446-2), libtext-unidecode-perl (= 1.30-1), libthai-data (= 0.1.28-2), libthai0 (= 0.1.28-2), libtiff5 (= 4.0.10-4), libtinfo6 (= 6.1+20181013-2), libtirpc-common (= 1.1.4-0.4), libtirpc3 (= 1.1.4-0.4), libtk8.6 (= 8.6.9-2), libtool (= 2.4.6-10), libuchardet0 (= 0.0.6-2), libunistring2 (= 0.9.10-1), libutil-freebsd-9 (= 10.3~svn296373-10), libuuid1 (= 2.33.1-0.1), libwebp6 (= 0.6.1-2), libwebpmux3 (= 0.6.1-2), libwoff1 (= 1.0.2-1), libx11-6 (= 2:1.6.7-1), libx11-data (= 2:1.6.7-1), libx11-dev (= 2:1.6.7-1), libx265-165 (= 2.9-4), libxau-dev (= 1:1.0.8-1+b2), libxau6 (= 1:1.0.8-1+b2), libxaw7 (= 2:1.0.13-1+b2), libxaw7-dev (= 2:1.0.13-1+b2), libxcb-render0 (= 1.13.1-2), libxcb-shm0 (= 1.13.1-2), libxcb1 (= 1.13.1-2), libxcb1-dev (= 1.13.1-2), libxcomposite1 (= 1:0.4.4-2), libxcursor1 (= 1:1.1.15-2), libxdamage1 (= 1:1.1.4-3), libxdmcp-dev (= 1:1.1.2-3), libxdmcp6 (= 1:1.1.2-3), libxext-dev (= 2:1.3.3-1+b2), libxext6 (= 2:1.3.3-1+b2), libxfixes3 (= 1:5.0.3-1), libxft2 (= 2.3.2-2), libxi6 (= 2:1.7.9-1), libxinerama1 (= 2:1.1.4-2), libxml-libxml-perl (= 2.0134+dfsg-1), libxml-namespacesupport-perl (= 1.12-1), libxml-sax-base-perl (= 1.09-1), libxml-sax-perl (= 1.00+dfsg-1), libxml2 (= 2.9.4+dfsg1-7+b3), libxmu-dev (= 2:1.1.2-2), libxmu-headers (= 2:1.1.2-2), libxmu6 (= 2:1.1.2-2), libxpm-dev (= 1:3.5.12-1), libxpm4 (= 1:3.5.12-1), libxrandr2 (= 2:1.5.1-1), libxrender1 (= 1:0.9.10-1), libxss1 (= 1:1.2.3-1), libxt-dev (= 1:1.1.5-1), libxt6 (= 1:1.1.5-1), libxxhash0 (= 0.6.5-3), libzstd1 (= 1.3.8+dfsg-3), libzzip-0-13 (= 0.13.62-3.1), login (= 1:4.5-1.1), lsb-base (= 10.2018112800), m17n-db (= 1.8.0-1), m4 (= 1.4.18-2), make (= 4.1-9), man-db (= 2.8.4-3), mawk (= 1.3.3-17+b3), ncurses-base (= 6.1+20181013-2), ncurses-bin (= 6.1+20181013-2), passwd (= 1:4.5-1.1), patch (= 2.7.6-3), perl (= 5.28.0-4), perl-base (= 5.28.0-4), perl-modules-5.28 (= 5.28.0-4), po-debconf (= 1.0.21), poppler-data (= 0.4.9-2), readline-common (= 7.0-5), sed (= 4.5-2), sensible-utils (= 0.0.12), shared-mime-info (= 1.10-1), sysvinit-utils (= 2.88dsf-59.11), t1utils (= 1.41-3), tar (= 1.28-2.2), tex-common (= 6.11), texinfo (= 6.5.0.dfsg.1-4+b1), texlive-base (= 2018.20190227-2), texlive-binaries (= 2018.20181218.49446-2), texlive-latex-base (= 2018.20190227-2), texlive-latex-recommended (= 2018.20190227-2), time (= 1.7-25.1+b1), tzdata (= 2018i-2), ucf (= 3.0038+nmu1), util-linux (= 2.33.1-0.1), x11-common (= 1:7.7+19), x11proto-core-dev (= 2018.4-4), x11proto-dev (= 2018.4-4), x11proto-xext-dev (= 2018.4-4), xdg-utils (= 1.1.3-1), xorg-sgml-doctools (= 1:1.11-1), xtrans-dev (= 1.3.5-1), xz-utils (= 5.2.4-1), zlib1g (= 1:1.2.11.dfsg-1) Environment: DEB_BUILD_OPTIONS="parallel=2" LC_ALL="C.UTF-8" SOURCE_DATE_EPOCH="1551376739"