Format: 1.0
Source: sat4j
Binary: sat4j
Architecture: all
Version: 2.3.5-0.3
Checksums-Md5:
 f57331a9f8b92c35a8434eaca27e2443 567340 sat4j_2.3.5-0.3_all.deb
Checksums-Sha1:
 0231fcaccfaccbaacb1d790270034083790fd5ef 567340 sat4j_2.3.5-0.3_all.deb
Checksums-Sha256:
 af7c2bb99b26339d587430e32c08eb920f747d1ece2dab453fd9e1f76fde6e08 567340 sat4j_2.3.5-0.3_all.deb
Build-Origin: Debian
Build-Architecture: arm64
Build-Date: Mon, 18 Nov 2024 14:01:31 +0000
Build-Path: /build/sat4j-I8mZzw/sat4j-2.3.5
Build-Tainted-By:
 merged-usr-via-aliased-dirs
Installed-Build-Depends:
 adduser (= 3.137),
 adwaita-icon-theme (= 47.0-2),
 ant (= 1.10.15-1),
 ant-optional (= 1.10.15-1),
 at-spi2-common (= 2.54.0-1),
 autoconf (= 2.72-3),
 automake (= 1:1.16.5-1.3),
 autopoint (= 0.22.5-2),
 autotools-dev (= 20220109.1),
 base-files (= 13.5),
 base-passwd (= 3.6.5),
 bash (= 5.2.32-1+b2),
 binfmt-support (= 2.2.2-7+b1),
 binutils (= 2.43.1-5),
 binutils-aarch64-linux-gnu (= 2.43.1-5),
 binutils-common (= 2.43.1-5),
 bsdextrautils (= 2.40.2-11),
 bsdutils (= 1:2.40.2-11),
 build-essential (= 12.12),
 bzip2 (= 1.0.8-6),
 ca-certificates (= 20240203),
 ca-certificates-java (= 20240118),
 coreutils (= 9.5-1+b1),
 cpp (= 4:14.2.0-1),
 cpp-14 (= 14.2.0-8),
 cpp-14-aarch64-linux-gnu (= 14.2.0-8),
 cpp-aarch64-linux-gnu (= 4:14.2.0-1),
 dash (= 0.5.12-9+b1),
 dbus (= 1.14.10-6),
 dbus-bin (= 1.14.10-6),
 dbus-daemon (= 1.14.10-6),
 dbus-session-bus-common (= 1.14.10-6),
 dbus-system-bus-common (= 1.14.10-6),
 dbus-user-session (= 1.14.10-6),
 dconf-gsettings-backend (= 0.40.0-4+b3),
 dconf-service (= 0.40.0-4+b3),
 dctrl-tools (= 2.24-3+b1),
 debconf (= 1.5.87),
 debhelper (= 13.20),
 debianutils (= 5.21),
 default-jdk (= 2:1.21-76),
 default-jdk-headless (= 2:1.21-76),
 default-jre (= 2:1.21-76),
 default-jre-headless (= 2:1.21-76),
 devscripts (= 2.24.3),
 dh-autoreconf (= 20),
 dh-strip-nondeterminism (= 1.14.0-1),
 diffutils (= 1:3.10-1+b1),
 dirmngr (= 2.2.45-2),
 dpkg (= 1.22.12~1.gbp82cafd),
 dpkg-dev (= 1.22.12~1.gbp82cafd),
 dwz (= 0.15-1+b1),
 fastjar (= 2:0.98-7+b1),
 file (= 1:5.45-3+b1),
 findutils (= 4.10.0-3),
 fontconfig (= 2.15.0-1.1+b1),
 fontconfig-config (= 2.15.0-1.1+b1),
 fonts-dejavu-core (= 2.37-8),
 fonts-dejavu-mono (= 2.37-8),
 g++ (= 4:14.2.0-1),
 g++-14 (= 14.2.0-8),
 g++-14-aarch64-linux-gnu (= 14.2.0-8),
 g++-aarch64-linux-gnu (= 4:14.2.0-1),
 gcc (= 4:14.2.0-1),
 gcc-14 (= 14.2.0-8),
 gcc-14-aarch64-linux-gnu (= 14.2.0-8),
 gcc-14-base (= 14.2.0-8),
 gcc-aarch64-linux-gnu (= 4:14.2.0-1),
 gettext (= 0.22.5-2),
 gettext-base (= 0.22.5-2),
 gnupg (= 2.2.45-2),
 gnupg-l10n (= 2.2.45-2),
 gpg (= 2.2.45-2),
 gpg-agent (= 2.2.45-2),
 gpgconf (= 2.2.45-2),
 gpgsm (= 2.2.45-2),
 gpgv (= 2.2.45-2),
 grep (= 3.11-4+b1),
 groff-base (= 1.23.0-5),
 gtk-update-icon-cache (= 4.16.5+ds-2),
 gzip (= 1.12-1.1+b1),
 hicolor-icon-theme (= 0.18-1),
 hostname (= 3.25),
 init-system-helpers (= 1.67),
 intltool-debian (= 0.35.0+20060710.6),
 jarwrapper (= 0.80),
 java-common (= 0.76),
 javahelper (= 0.80),
 junit (= 3.8.2-10),
 junit4 (= 4.13.2-5),
 libacl1 (= 2.3.2-2+b1),
 libaopalliance-java (= 20070526-7),
 libapache-pom-java (= 33-2),
 libapparmor1 (= 3.1.7-1+b3),
 libarchive-zip-perl (= 1.68-1),
 libasan8 (= 14.2.0-8),
 libasm-java (= 9.7.1-1),
 libasound2-data (= 1.2.12-1),
 libasound2t64 (= 1.2.12-1+b1),
 libassuan9 (= 3.0.1-2),
 libatinject-jsr330-api-java (= 1.0+ds1-5),
 libatk-bridge2.0-0t64 (= 2.54.0-1),
 libatk1.0-0t64 (= 2.54.0-1),
 libatomic1 (= 14.2.0-8),
 libatspi2.0-0t64 (= 2.54.0-1),
 libattr1 (= 1:2.5.2-2),
 libaudit-common (= 1:4.0.2-2),
 libaudit1 (= 1:4.0.2-2),
 libavahi-client3 (= 0.8-13+b3),
 libavahi-common-data (= 0.8-13+b3),
 libavahi-common3 (= 0.8-13+b3),
 libb-hooks-op-check-perl (= 0.22-3+b2),
 libbinutils (= 2.43.1-5),
 libblkid1 (= 2.40.2-11),
 libbrotli1 (= 1.1.0-2+b6),
 libbsd0 (= 0.12.2-2),
 libbyte-buddy-java (= 1.14.19-1),
 libbz2-1.0 (= 1.0.8-6),
 libc-bin (= 2.40-3),
 libc-dev-bin (= 2.40-3),
 libc6 (= 2.40-3),
 libc6-dev (= 2.40-3),
 libcairo-gobject2 (= 1.18.2-2),
 libcairo2 (= 1.18.2-2),
 libcap-ng0 (= 0.8.5-3+b1),
 libcap2 (= 1:2.66-5+b1),
 libcc1-0 (= 14.2.0-8),
 libcdi-api-java (= 1.2-4),
 libcglib-nodep-java (= 3.3.0-1),
 libclass-method-modifiers-perl (= 2.15-1),
 libclass-xsaccessor-perl (= 1.19-4+b4),
 libclone-perl (= 0.47-1+b1),
 libcloudproviders0 (= 0.3.6-1+b1),
 libcolord2 (= 1.4.7-1+b2),
 libcom-err2 (= 1.47.1-1+b1),
 libcommons-beanutils-java (= 1.9.4-2),
 libcommons-cli-java (= 1.6.0-1),
 libcommons-collections3-java (= 3.2.2-3),
 libcommons-io-java (= 2.17.0-1),
 libcommons-lang3-java (= 3.17.0-1),
 libcommons-logging-java (= 1.3.0-1),
 libcommons-parent-java (= 56-1),
 libcrypt-dev (= 1:4.4.36-5),
 libcrypt1 (= 1:4.4.36-5),
 libctf-nobfd0 (= 2.43.1-5),
 libctf0 (= 2.43.1-5),
 libcups2t64 (= 2.4.10-2),
 libdatrie1 (= 0.2.13-3+b1),
 libdb5.3t64 (= 5.3.28+dfsg2-9),
 libdbus-1-3 (= 1.14.10-6),
 libdconf1 (= 0.40.0-4+b3),
 libdebconfclient0 (= 0.273),
 libdebhelper-perl (= 13.20),
 libdeflate0 (= 1.22-1),
 libdevel-callchecker-perl (= 0.009-1+b1),
 libdpkg-perl (= 1.22.12~1.gbp82cafd),
 libdrm-amdgpu1 (= 2.4.123-1),
 libdrm-common (= 2.4.123-1),
 libdrm-radeon1 (= 2.4.123-1),
 libdrm2 (= 2.4.123-1),
 libdynaloader-functions-perl (= 0.004-1),
 libedit2 (= 3.1-20240808-1),
 libelf1t64 (= 0.192-4),
 libencode-locale-perl (= 1.05-3),
 libepoxy0 (= 1.5.10-2),
 liberror-prone-java (= 2.18.0-1),
 libexpat1 (= 2.6.4-1),
 libffi8 (= 3.4.6-1),
 libfile-dirlist-perl (= 0.05-3),
 libfile-homedir-perl (= 1.006-2),
 libfile-listing-perl (= 6.16-1),
 libfile-stripnondeterminism-perl (= 1.14.0-1),
 libfile-touch-perl (= 0.12-2),
 libfile-which-perl (= 1.27-2),
 libfontconfig1 (= 2.15.0-1.1+b1),
 libfreetype6 (= 2.13.3+dfsg-1),
 libfribidi0 (= 1.0.15-1),
 libgbm1 (= 24.2.7-1),
 libgcc-14-dev (= 14.2.0-8),
 libgcc-s1 (= 14.2.0-8),
 libgcrypt20 (= 1.11.0-6),
 libgdbm-compat4t64 (= 1.24-2),
 libgdbm6t64 (= 1.24-2),
 libgdk-pixbuf-2.0-0 (= 2.42.12+dfsg-1+b1),
 libgdk-pixbuf2.0-common (= 2.42.12+dfsg-1),
 libgeronimo-annotation-1.3-spec-java (= 1.3-1),
 libgeronimo-interceptor-3.0-spec-java (= 1.0.1-4),
 libgif7 (= 5.2.2-1+b1),
 libgl1 (= 1.7.0-1+b2),
 libgl1-mesa-dri (= 24.2.7-1),
 libglapi-mesa (= 24.2.7-1),
 libglib2.0-0t64 (= 2.82.2-3),
 libglvnd0 (= 1.7.0-1+b2),
 libglx-mesa0 (= 24.2.7-1),
 libglx0 (= 1.7.0-1+b2),
 libgmp10 (= 2:6.3.0+dfsg-2+b2),
 libgnutls30t64 (= 3.8.8-2),
 libgomp1 (= 14.2.0-8),
 libgpg-error0 (= 1.50-4),
 libgprofng0 (= 2.43.1-5),
 libgraphite2-3 (= 1.3.14-2+b1),
 libgssapi-krb5-2 (= 1.21.3-3),
 libgtk-3-0t64 (= 3.24.43-4),
 libgtk-3-common (= 3.24.43-4),
 libguava-java (= 32.0.1-1),
 libguice-java (= 4.2.3-2),
 libhamcrest-java (= 2.2-2),
 libharfbuzz0b (= 10.0.1-1),
 libhogweed6t64 (= 3.10-1+b1),
 libhtml-parser-perl (= 3.83-1+b1),
 libhtml-tagset-perl (= 3.24-1),
 libhtml-tree-perl (= 5.07-3),
 libhttp-cookies-perl (= 6.11-1),
 libhttp-date-perl (= 6.06-1),
 libhttp-message-perl (= 7.00-2),
 libhttp-negotiate-perl (= 6.01-2),
 libhwasan0 (= 14.2.0-8),
 libicu72 (= 72.1-5+b1),
 libidn2-0 (= 2.3.7-2+b1),
 libimport-into-perl (= 1.002005-2),
 libio-html-perl (= 1.004-3),
 libio-pty-perl (= 1:1.20-1+b2),
 libio-socket-ssl-perl (= 2.089-1),
 libipc-run-perl (= 20231003.0-2),
 libisl23 (= 0.27-1),
 libitm1 (= 14.2.0-8),
 libjansson4 (= 2.14-2+b3),
 libjbig0 (= 2.1-6.1+b2),
 libjline-java (= 1.0-3),
 libjmock-java (= 1.2.0-5.1),
 libjpeg62-turbo (= 1:2.1.5-3+b1),
 libjsr305-java (= 0.1~+svn49-11),
 libk5crypto3 (= 1.21.3-3),
 libkeyutils1 (= 1.6.3-4),
 libkrb5-3 (= 1.21.3-3),
 libkrb5support0 (= 1.21.3-3),
 libksba8 (= 1.6.7-2+b1),
 liblcms2-2 (= 2.16-2),
 libldap-2.5-0 (= 2.5.18+dfsg-3+b1),
 liblerc4 (= 4.0.0+ds-5),
 libllvm19 (= 1:19.1.3-2),
 liblsan0 (= 14.2.0-8),
 liblwp-mediatypes-perl (= 6.04-2),
 liblwp-protocol-https-perl (= 6.14-1),
 liblzma5 (= 5.6.3-1+b1),
 libmagic-mgc (= 1:5.45-3+b1),
 libmagic1t64 (= 1:5.45-3+b1),
 libmaven-parent-java (= 43-2),
 libmaven-resolver-1.6-java (= 1.6.3-2),
 libmaven-shared-utils-java (= 3.4.2-1),
 libmaven3-core-java (= 3.8.8-2),
 libmd0 (= 1.1.0-2+b1),
 libmockito-java (= 3.3.0-2),
 libmodule-runtime-perl (= 0.016-2),
 libmoo-perl (= 2.005005-1),
 libmount1 (= 2.40.2-11),
 libmpc3 (= 1.3.1-1+b3),
 libmpfr6 (= 4.2.1-1+b2),
 libncursesw6 (= 6.5-2+b1),
 libnet-http-perl (= 6.23-1),
 libnet-ssleay-perl (= 1.94-2),
 libnettle8t64 (= 3.10-1+b1),
 libnpth0t64 (= 1.6-3.1+b1),
 libnsl2 (= 1.3.0-3+b3),
 libnspr4 (= 2:4.35-1.1+b1),
 libnss3 (= 2:3.105-2),
 libobjenesis-java (= 3.3-3),
 libp11-kit0 (= 0.25.5-2+b1),
 libpam-modules (= 1.5.3-7+b1),
 libpam-modules-bin (= 1.5.3-7+b1),
 libpam-runtime (= 1.5.3-7),
 libpam-systemd (= 257~rc2-3),
 libpam0g (= 1.5.3-7+b1),
 libpango-1.0-0 (= 1.54.0+ds-3),
 libpangocairo-1.0-0 (= 1.54.0+ds-3),
 libpangoft2-1.0-0 (= 1.54.0+ds-3),
 libparams-classify-perl (= 0.015-2+b4),
 libpcre2-8-0 (= 10.44-4),
 libpcsclite1 (= 2.3.0-3),
 libperl5.40 (= 5.40.0-7),
 libpipeline1 (= 1.5.8-1),
 libpixman-1-0 (= 0.44.0-3),
 libplexus-cipher-java (= 2.0-1),
 libplexus-classworlds-java (= 2.7.0-1),
 libplexus-component-annotations-java (= 2.1.1-1),
 libplexus-interpolation-java (= 1.27-1),
 libplexus-sec-dispatcher-java (= 2.0-3),
 libplexus-utils2-java (= 3.4.2-1),
 libpng16-16t64 (= 1.6.44-2),
 libproc2-0 (= 2:4.0.4-6),
 libpython3-stdlib (= 3.12.7-1),
 libpython3.12-minimal (= 3.12.7-3),
 libpython3.12-stdlib (= 3.12.7-3),
 libreadline8t64 (= 8.2-5),
 librhino-java (= 1.7.15-1),
 librole-tiny-perl (= 2.002004-1),
 libsasl2-2 (= 2.1.28+dfsg1-8),
 libsasl2-modules-db (= 2.1.28+dfsg1-8),
 libseccomp2 (= 2.5.5-1+b3),
 libselinux1 (= 3.7-3+b1),
 libsemanage-common (= 3.7-2),
 libsemanage2 (= 3.7-2+b1),
 libsensors-config (= 1:3.6.0-10),
 libsensors5 (= 1:3.6.0-10+b1),
 libsepol2 (= 3.7-1),
 libsframe1 (= 2.43.1-5),
 libsharpyuv0 (= 1.4.0-0.1+b1),
 libsisu-inject-java (= 0.3.4-2),
 libsisu-plexus-java (= 0.3.4-3),
 libslf4j-java (= 1.7.32-1),
 libsmartcols1 (= 2.40.2-11),
 libsqlite3-0 (= 3.46.1-1),
 libssl3t64 (= 3.3.2-2),
 libstdc++-14-dev (= 14.2.0-8),
 libstdc++6 (= 14.2.0-8),
 libsub-quote-perl (= 2.006008-1),
 libsystemd-shared (= 257~rc2-3),
 libsystemd0 (= 257~rc2-3),
 libtasn1-6 (= 4.19.0-3+b3),
 libthai-data (= 0.1.29-2),
 libthai0 (= 0.1.29-2+b1),
 libtiff6 (= 4.5.1+git230720-5),
 libtimedate-perl (= 2.3300-2),
 libtinfo6 (= 6.5-2+b1),
 libtirpc-common (= 1.3.4+ds-1.3),
 libtirpc3t64 (= 1.3.4+ds-1.3+b1),
 libtool (= 2.4.7-8),
 libtry-tiny-perl (= 0.32-1),
 libtsan2 (= 14.2.0-8),
 libubsan1 (= 14.2.0-8),
 libuchardet0 (= 0.0.8-1+b2),
 libudev1 (= 257~rc2-3),
 libunistring5 (= 1.2-1+b1),
 liburi-perl (= 5.30-1),
 libuuid1 (= 2.40.2-11),
 libvulkan1 (= 1.3.296.0-1),
 libwagon-provider-api-java (= 3.5.3-1),
 libwayland-client0 (= 1.23.0-1+b1),
 libwayland-cursor0 (= 1.23.0-1+b1),
 libwayland-egl1 (= 1.23.0-1+b1),
 libwayland-server0 (= 1.23.0-1+b1),
 libwebp7 (= 1.4.0-0.1+b1),
 libwww-perl (= 6.77-1),
 libwww-robotrules-perl (= 6.02-1),
 libx11-6 (= 2:1.8.10-2),
 libx11-data (= 2:1.8.10-2),
 libx11-xcb1 (= 2:1.8.10-2),
 libxau6 (= 1:1.0.11-1),
 libxcb-dri2-0 (= 1.17.0-2+b1),
 libxcb-dri3-0 (= 1.17.0-2+b1),
 libxcb-glx0 (= 1.17.0-2+b1),
 libxcb-present0 (= 1.17.0-2+b1),
 libxcb-randr0 (= 1.17.0-2+b1),
 libxcb-render0 (= 1.17.0-2+b1),
 libxcb-shm0 (= 1.17.0-2+b1),
 libxcb-sync1 (= 1.17.0-2+b1),
 libxcb-xfixes0 (= 1.17.0-2+b1),
 libxcb1 (= 1.17.0-2+b1),
 libxcomposite1 (= 1:0.4.6-1),
 libxcursor1 (= 1:1.2.2-1+b1),
 libxdamage1 (= 1:1.1.6-1+b2),
 libxdmcp6 (= 1:1.1.2-3+b2),
 libxext6 (= 2:1.3.4-1+b2),
 libxfixes3 (= 1:6.0.0-2+b2),
 libxi6 (= 2:1.8.2-1),
 libxinerama1 (= 2:1.1.4-3+b2),
 libxkbcommon0 (= 1.7.0-1),
 libxml2 (= 2.12.7+dfsg+really2.9.14-0.2+b1),
 libxrandr2 (= 2:1.5.4-1+b1),
 libxrender1 (= 1:0.9.10-1.1+b2),
 libxshmfence1 (= 1.3-1+b2),
 libxtst6 (= 2:1.2.3-1.1+b2),
 libxxf86vm1 (= 1:1.1.4-1+b3),
 libz3-4 (= 4.13.3-1),
 libzstd1 (= 1.5.6+dfsg-1+b1),
 linux-libc-dev (= 6.11.7-1),
 login.defs (= 1:4.16.0-5),
 m4 (= 1.4.19-4),
 make (= 4.3-4.1+b1),
 man-db (= 2.13.0-1),
 maven-repo-helper (= 1.11),
 mawk (= 1.3.4.20240905-1),
 media-types (= 10.1.0),
 mesa-libgallium (= 24.2.7-1),
 mount (= 2.40.2-11),
 ncurses-base (= 6.5-2),
 ncurses-bin (= 6.5-2+b1),
 netbase (= 6.4),
 openjdk-21-jdk (= 21.0.5+11-1),
 openjdk-21-jdk-headless (= 21.0.5+11-1),
 openjdk-21-jre (= 21.0.5+11-1),
 openjdk-21-jre-headless (= 21.0.5+11-1),
 openssl (= 3.3.2-2),
 openssl-provider-legacy (= 3.3.2-2),
 passwd (= 1:4.16.0-5),
 patch (= 2.7.6-7+b1),
 patchutils (= 0.4.2-1+b1),
 perl (= 5.40.0-7),
 perl-base (= 5.40.0-7),
 perl-modules-5.40 (= 5.40.0-7),
 perl-openssl-defaults (= 7+b2),
 pinentry-curses (= 1.2.1-4+b1),
 po-debconf (= 1.0.21+nmu1),
 procps (= 2:4.0.4-6),
 python3 (= 3.12.7-1),
 python3-minimal (= 3.12.7-1),
 python3.12 (= 3.12.7-3),
 python3.12-minimal (= 3.12.7-3),
 readline-common (= 8.2-5),
 rhino (= 1.7.15-1),
 rpcsvc-proto (= 1.4.3-1+b1),
 sed (= 4.9-2+b1),
 sensible-utils (= 0.0.24),
 shared-mime-info (= 2.4-5+b1),
 systemd (= 257~rc2-3),
 systemd-sysv (= 257~rc2-3),
 sysvinit-utils (= 3.11-1),
 tar (= 1.35+dfsg-3+b1),
 tzdata (= 2024b-3),
 util-linux (= 2.40.2-11),
 wdiff (= 1.2.2-6+b1),
 x11-common (= 1:7.7+23.1),
 xkb-data (= 2.42-1),
 xz-utils (= 5.6.3-1+b1),
 zlib1g (= 1:1.3.dfsg+really1.3.1-1+b1)
Environment:
 DEB_BUILD_OPTIONS="parallel=8"
 LANG="C.UTF-8"
 LC_ALL="C.UTF-8"
 SOURCE_DATE_EPOCH="1523638487"