prosyslab/bug-bench-libbrial-groebner3 : latest
Latest release: about 5 years ago - 48 downloads - 327 dependencies
JSONDependencies
- ubuntu/adduser 3.118ubuntu2
- ubuntu/apt 2.0.6
- ubuntu/autoconf 2.69-11.1
- ubuntu/automake 1:1.16.1-4ubuntu6
- ubuntu/autopoint 0.19.8.1-10build1
- ubuntu/autotools-dev 20180224.1
- ubuntu/base-files 11ubuntu5.3
- ubuntu/base-passwd 3.5.47
- ubuntu/bash 5.0-6ubuntu1.1
- ubuntu/bear 2.4.3-1
- ubuntu/binutils-common 2.34-6ubuntu1.1
- ubuntu/binutils-x86-64-linux-gnu 2.34-6ubuntu1.1
- ubuntu/binutils 2.34-6ubuntu1.1
- ubuntu/bsdmainutils 11.1.2ubuntu3
- ubuntu/bsdutils 1:2.34-0.1ubuntu9.1
- ubuntu/build-essential 12.8ubuntu1.1
- ubuntu/bzip2 1.0.8-2
- ubuntu/ca-certificates 20210119~20.04.1
- ubuntu/coreutils 8.30-3ubuntu2
- ubuntu/cpp-9 9.3.0-17ubuntu1~20.04
- ubuntu/cpp 4:9.3.0-1ubuntu2
- ubuntu/dash 0.5.10.2-6
- ubuntu/debconf 1.5.73
- ubuntu/debhelper 12.10ubuntu1
- ubuntu/debianutils 4.9.1
- ubuntu/dh-autoreconf 19
- ubuntu/dh-python 4.20191017ubuntu7
- ubuntu/dh-strip-nondeterminism 1.7.0-1
- ubuntu/diffutils 1:3.7-3
- ubuntu/dirmngr 2.2.19-3ubuntu2.1
- ubuntu/dpkg-dev 1.19.7ubuntu3
- ubuntu/dpkg 1.19.7ubuntu3
- ubuntu/dwz 0.13-5
- ubuntu/e2fsprogs 1.45.5-2ubuntu1
- ubuntu/fakeroot 1.24-1
- ubuntu/fdisk 2.34-0.1ubuntu9.1
- ubuntu/file 1:5.38-4
- ubuntu/findutils 4.7.0-1ubuntu1
- ubuntu/fontconfig-config 2.13.1-2ubuntu3
- ubuntu/fonts-dejavu-core 2.37-1
- ubuntu/g -9 9.3.0-17ubuntu1~20.04
- ubuntu/g 4:9.3.0-1ubuntu2
- ubuntu/gcc-10-base 10.3.0-1ubuntu1~20.04
- ubuntu/gcc-9-base 9.3.0-17ubuntu1~20.04
- ubuntu/gcc-9 9.3.0-17ubuntu1~20.04
- ubuntu/gcc 4:9.3.0-1ubuntu2
- ubuntu/gettext-base 0.19.8.1-10build1
- ubuntu/gettext 0.19.8.1-10build1
- ubuntu/git-man 1:2.25.1-1ubuntu3.1
- ubuntu/git 1:2.25.1-1ubuntu3.1
- ubuntu/gnupg-l10n 2.2.19-3ubuntu2.1
- ubuntu/gnupg-utils 2.2.19-3ubuntu2.1
- ubuntu/gnupg 2.2.19-3ubuntu2.1
- ubuntu/gpg-agent 2.2.19-3ubuntu2.1
- ubuntu/gpg-wks-client 2.2.19-3ubuntu2.1
- ubuntu/gpg-wks-server 2.2.19-3ubuntu2.1
- ubuntu/gpg 2.2.19-3ubuntu2.1
- ubuntu/gpgconf 2.2.19-3ubuntu2.1
- ubuntu/gpgsm 2.2.19-3ubuntu2.1
- ubuntu/gpgv 2.2.19-3ubuntu2.1
- ubuntu/grep 3.4-1
- ubuntu/groff-base 1.22.4-4build1
- ubuntu/gzip 1.10-0ubuntu4
- ubuntu/hostname 3.23
- ubuntu/init-system-helpers 1.57
- ubuntu/intltool-debian 0.35.0 20060710.5
- ubuntu/krb5-locales 1.17-6ubuntu4.1
- ubuntu/less 551-1ubuntu0.1
- ubuntu/libacl1 2.2.53-6
- ubuntu/libalgorithm-diff-perl 1.19.03-2
- ubuntu/libalgorithm-diff-xs-perl 0.04-6
- ubuntu/libalgorithm-merge-perl 0.08-3
- ubuntu/libapt-pkg6.0 2.0.6
- ubuntu/libarchive-zip-perl 1.67-2
- ubuntu/libasan5 9.3.0-17ubuntu1~20.04
- ubuntu/libasn1-8-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libassuan0 2.5.3-7ubuntu2
- ubuntu/libatomic1 10.3.0-1ubuntu1~20.04
- ubuntu/libattr1 1:2.4.48-5
- ubuntu/libaudit-common 1:2.8.5-2ubuntu6
- ubuntu/libaudit1 1:2.8.5-2ubuntu6
- ubuntu/libbinutils 2.34-6ubuntu1.1
- ubuntu/libblkid1 2.34-0.1ubuntu9.1
- ubuntu/libboost-dev 1.71.0.0ubuntu2
- ubuntu/libboost-python-dev 1.71.0.0ubuntu2
- ubuntu/libboost-python1.71-dev 1.71.0-6ubuntu6
- ubuntu/libboost-python1.71.0 1.71.0-6ubuntu6
- ubuntu/libboost-test-dev 1.71.0.0ubuntu2
- ubuntu/libboost-test1.71-dev 1.71.0-6ubuntu6
- ubuntu/libboost-test1.71.0 1.71.0-6ubuntu6
- ubuntu/libboost1.71-dev 1.71.0-6ubuntu6
- ubuntu/libbrotli1 1.0.7-6ubuntu0.1
- ubuntu/libbsd0 0.10.0-1
- ubuntu/libbz2-1.0 1.0.8-2
- ubuntu/libc-bin 2.31-0ubuntu9.2
- ubuntu/libc-dev-bin 2.31-0ubuntu9.2
- ubuntu/libc6-dev 2.31-0ubuntu9.2
- ubuntu/libc6 2.31-0ubuntu9.2
- ubuntu/libcap-ng0 0.7.9-2.1build1
- ubuntu/libcbor0.6 0.6.0-0ubuntu1
- ubuntu/libcc1-0 10.3.0-1ubuntu1~20.04
- ubuntu/libcom-err2 1.45.5-2ubuntu1
- ubuntu/libcroco3 0.6.13-1
- ubuntu/libcrypt-dev 1:4.4.10-10ubuntu4
- ubuntu/libcrypt1 1:4.4.10-10ubuntu4
- ubuntu/libctf-nobfd0 2.34-6ubuntu1.1
- ubuntu/libctf0 2.34-6ubuntu1.1
- ubuntu/libcurl3-gnutls 7.68.0-1ubuntu2.6
- ubuntu/libdb5.3 5.3.28 dfsg1-0.6ubuntu2
- ubuntu/libdebconfclient0 0.251ubuntu1
- ubuntu/libdebhelper-perl 12.10ubuntu1
- ubuntu/libdpkg-perl 1.19.7ubuntu3
- ubuntu/libear 2.4.3-1
- ubuntu/libedit2 3.1-20191231-1
- ubuntu/libelf1 0.176-1.1build1
- ubuntu/liberror-perl 0.17029-1
- ubuntu/libexpat1-dev 2.2.9-1build1
- ubuntu/libexpat1 2.2.9-1build1
- ubuntu/libext2fs2 1.45.5-2ubuntu1
- ubuntu/libfakeroot 1.24-1
- ubuntu/libfdisk1 2.34-0.1ubuntu9.1
- ubuntu/libffi7 3.3-4
- ubuntu/libfido2-1 1.3.1-1ubuntu2
- ubuntu/libfile-fcntllock-perl 0.22-3build4
- ubuntu/libfile-stripnondeterminism-perl 1.7.0-1
- ubuntu/libfontconfig1-dev 2.13.1-2ubuntu3
- ubuntu/libfontconfig1 2.13.1-2ubuntu3
- ubuntu/libfreetype-dev 2.10.1-2ubuntu0.1
- ubuntu/libfreetype6-dev 2.10.1-2ubuntu0.1
- ubuntu/libfreetype6 2.10.1-2ubuntu0.1
- ubuntu/libgcc-9-dev 9.3.0-17ubuntu1~20.04
- ubuntu/libgcc-s1 10.3.0-1ubuntu1~20.04
- ubuntu/libgcrypt20 1.8.5-5ubuntu1
- ubuntu/libgd-dev 2.2.5-5.2ubuntu2
- ubuntu/libgd3 2.2.5-5.2ubuntu2
- ubuntu/libgdbm-compat4 1.18.1-5
- ubuntu/libgdbm6 1.18.1-5
- ubuntu/libglib2.0-0 2.64.6-1~ubuntu20.04.4
- ubuntu/libgmp10 2:6.2.0 dfsg-4
- ubuntu/libgnutls30 3.6.13-2ubuntu1.6
- ubuntu/libgomp1 10.3.0-1ubuntu1~20.04
- ubuntu/libgpg-error0 1.37-1
- ubuntu/libgssapi-krb5-2 1.17-6ubuntu4.1
- ubuntu/libgssapi3-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libhcrypto4-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libheimbase1-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libheimntlm0-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libhogweed5 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libhx509-5-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libice-dev 2:1.0.10-0ubuntu1
- ubuntu/libice6 2:1.0.10-0ubuntu1
- ubuntu/libicu66 66.1-2ubuntu2
- ubuntu/libidn2-0 2.2.0-2
- ubuntu/libisl22 0.22.1-1
- ubuntu/libitm1 10.3.0-1ubuntu1~20.04
- ubuntu/libjbig-dev 2.1-3.1build1
- ubuntu/libjbig0 2.1-3.1build1
- ubuntu/libjpeg-dev 8c-2ubuntu8
- ubuntu/libjpeg-turbo8-dev 2.0.3-0ubuntu1.20.04.1
- ubuntu/libjpeg-turbo8 2.0.3-0ubuntu1.20.04.1
- ubuntu/libjpeg8-dev 8c-2ubuntu8
- ubuntu/libjpeg8 8c-2ubuntu8
- ubuntu/libk5crypto3 1.17-6ubuntu4.1
- ubuntu/libkeyutils1 1.6-6ubuntu1
- ubuntu/libkrb5-26-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libkrb5-3 1.17-6ubuntu4.1
- ubuntu/libkrb5support0 1.17-6ubuntu4.1
- ubuntu/libksba8 1.3.5-2
- ubuntu/libldap-2.4-2 2.4.49 dfsg-2ubuntu1.8
- ubuntu/libldap-common 2.4.49 dfsg-2ubuntu1.8
- ubuntu/liblocale-gettext-perl 1.07-4
- ubuntu/liblsan0 10.3.0-1ubuntu1~20.04
- ubuntu/liblz4-1 1.9.2-2ubuntu0.20.04.1
- ubuntu/liblzma-dev 5.2.4-1ubuntu1
- ubuntu/liblzma5 5.2.4-1ubuntu1
- ubuntu/libm4ri-0.0.20200125 20200125-1
- ubuntu/libm4ri-dev 20200125-1
- ubuntu/libmagic-mgc 1:5.38-4
- ubuntu/libmagic1 1:5.38-4
- ubuntu/libmount1 2.34-0.1ubuntu9.1
- ubuntu/libmpc3 1.1.0-1
- ubuntu/libmpdec2 2.4.2-3
- ubuntu/libmpfr6 4.0.2-1
- ubuntu/libncurses6 6.2-0ubuntu2
- ubuntu/libncursesw6 6.2-0ubuntu2
- ubuntu/libnettle7 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libnghttp2-14 1.40.0-1build1
- ubuntu/libnpth0 1.6-1
- ubuntu/libp11-kit0 0.23.20-1ubuntu0.1
- ubuntu/libpam-modules-bin 1.3.1-5ubuntu4.2
- ubuntu/libpam-modules 1.3.1-5ubuntu4.2
- ubuntu/libpam-runtime 1.3.1-5ubuntu4.2
- ubuntu/libpam0g 1.3.1-5ubuntu4.2
- ubuntu/libpcre2-8-0 10.34-7
- ubuntu/libpcre3 2:8.39-12build1
- ubuntu/libperl5.30 5.30.0-9ubuntu0.2
- ubuntu/libpipeline1 1.5.2-2build1
- ubuntu/libpng-dev 1.6.37-2
- ubuntu/libpng16-16 1.6.37-2
- ubuntu/libprocps8 2:3.3.16-1ubuntu2.2
- ubuntu/libpsl5 0.21.0-1ubuntu1
- ubuntu/libpthread-stubs0-dev 0.4-1
- ubuntu/libpython3-all-dev 3.8.2-0ubuntu2
- ubuntu/libpython3-dev 3.8.2-0ubuntu2
- ubuntu/libpython3-stdlib 3.8.2-0ubuntu2
- ubuntu/libpython3.8-dev 3.8.10-0ubuntu1~20.04
- ubuntu/libpython3.8-minimal 3.8.10-0ubuntu1~20.04
- ubuntu/libpython3.8-stdlib 3.8.10-0ubuntu1~20.04
- ubuntu/libpython3.8 3.8.10-0ubuntu1~20.04
- ubuntu/libquadmath0 10.3.0-1ubuntu1~20.04
- ubuntu/libreadline8 8.0-4
- ubuntu/libroken18-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build1
- ubuntu/libsasl2-2 2.1.27 dfsg-2
- ubuntu/libsasl2-modules-db 2.1.27 dfsg-2
- ubuntu/libsasl2-modules 2.1.27 dfsg-2
- ubuntu/libseccomp2 2.5.1-1ubuntu1~20.04.1
- ubuntu/libselinux1 3.0-1build2
- ubuntu/libsemanage-common 3.0-1build2
- ubuntu/libsemanage1 3.0-1build2
- ubuntu/libsepol1 3.0-1
- ubuntu/libsigsegv2 2.12-2
- ubuntu/libsm-dev 2:1.2.3-1
- ubuntu/libsm6 2:1.2.3-1
- ubuntu/libsmartcols1 2.34-0.1ubuntu9.1
- ubuntu/libsqlite3-0 3.31.1-4ubuntu0.2
- ubuntu/libss2 1.45.5-2ubuntu1
- ubuntu/libssh-4 0.9.3-2ubuntu2.1
- ubuntu/libssl1.1 1.1.1f-1ubuntu2.4
- ubuntu/libstdc -9-dev 9.3.0-17ubuntu1~20.04
- ubuntu/libstdc 6 10.3.0-1ubuntu1~20.04
- ubuntu/libsub-override-perl 0.09-2
- ubuntu/libsystemd0 245.4-4ubuntu3.11
- ubuntu/libtasn1-6 4.16.0-2
- ubuntu/libtiff-dev 4.1.0 git191117-2ubuntu0.20.04.1
- ubuntu/libtiff5 4.1.0 git191117-2ubuntu0.20.04.1
- ubuntu/libtiffxx5 4.1.0 git191117-2ubuntu0.20.04.1
- ubuntu/libtinfo5 6.2-0ubuntu2
- ubuntu/libtinfo6 6.2-0ubuntu2
- ubuntu/libtool 2.4.6-14
- ubuntu/libtsan0 10.3.0-1ubuntu1~20.04
- ubuntu/libubsan1 10.3.0-1ubuntu1~20.04
- ubuntu/libuchardet0 0.0.6-3build1
- ubuntu/libudev1 245.4-4ubuntu3.11
- ubuntu/libunistring2 0.9.10-2
- ubuntu/libuuid1 2.34-0.1ubuntu9.1
- ubuntu/libvpx-dev 1.8.2-1build1
- ubuntu/libvpx6 1.8.2-1build1
- ubuntu/libwebp6 0.6.1-2ubuntu0.20.04.1
- ubuntu/libwind0-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libx11-6 2:1.6.9-2ubuntu1.2
- ubuntu/libx11-data 2:1.6.9-2ubuntu1.2
- ubuntu/libx11-dev 2:1.6.9-2ubuntu1.2
- ubuntu/libxau-dev 1:1.0.9-0ubuntu1
- ubuntu/libxau6 1:1.0.9-0ubuntu1
- ubuntu/libxcb1-dev 1.14-2
- ubuntu/libxcb1 1.14-2
- ubuntu/libxdmcp-dev 1:1.1.3-0ubuntu1
- ubuntu/libxdmcp6 1:1.1.3-0ubuntu1
- ubuntu/libxext6 2:1.3.4-0ubuntu1
- ubuntu/libxml2 2.9.10 dfsg-5ubuntu0.20.04.1
- ubuntu/libxmuu1 2:1.1.3-0ubuntu1
- ubuntu/libxpm-dev 1:3.5.12-1
- ubuntu/libxpm4 1:3.5.12-1
- ubuntu/libxt-dev 1:1.1.5-1
- ubuntu/libxt6 1:1.1.5-1
- ubuntu/libzstd1 1.4.4 dfsg-3ubuntu0.1
- ubuntu/linux-libc-dev 5.4.0-80.90
- ubuntu/login 1:4.8.1-1ubuntu5.20.04.1
- ubuntu/logsave 1.45.5-2ubuntu1
- ubuntu/lsb-base 11.1.0ubuntu2
- ubuntu/m4 1.4.18-4
- ubuntu/make 4.2.1-1.2
- ubuntu/man-db 2.9.1-1
- ubuntu/manpages-dev 5.05-1
- ubuntu/manpages 5.05-1
- ubuntu/mawk 1.3.4.20200120-2
- ubuntu/mime-support 3.64ubuntu1
- ubuntu/mount 2.34-0.1ubuntu9.1
- ubuntu/ncurses-base 6.2-0ubuntu2
- ubuntu/ncurses-bin 6.2-0ubuntu2
- ubuntu/netbase 6.1
- ubuntu/openssh-client 1:8.2p1-4ubuntu0.2
- ubuntu/openssl 1.1.1f-1ubuntu2.4
- ubuntu/passwd 1:4.8.1-1ubuntu5.20.04.1
- ubuntu/patch 2.7.6-6
- ubuntu/perl-base 5.30.0-9ubuntu0.2
- ubuntu/perl-modules-5.30 5.30.0-9ubuntu0.2
- ubuntu/perl 5.30.0-9ubuntu0.2
- ubuntu/pinentry-curses 1.1.0-3build1
- ubuntu/pkg-config 0.29.1-0ubuntu4
- ubuntu/po-debconf 1.0.21
- ubuntu/procps 2:3.3.16-1ubuntu2.2
- ubuntu/publicsuffix 20200303.0012-1
- ubuntu/python3-all-dev 3.8.2-0ubuntu2
- ubuntu/python3-all 3.8.2-0ubuntu2
- ubuntu/python3-dev 3.8.2-0ubuntu2
- ubuntu/python3-distutils 3.8.10-0ubuntu1~20.04
- ubuntu/python3-lib2to3 3.8.10-0ubuntu1~20.04
- ubuntu/python3-minimal 3.8.2-0ubuntu2
- ubuntu/python3.8-dev 3.8.10-0ubuntu1~20.04
- ubuntu/python3.8-minimal 3.8.10-0ubuntu1~20.04
- ubuntu/python3.8 3.8.10-0ubuntu1~20.04
- ubuntu/python3 3.8.2-0ubuntu2
- ubuntu/readline-common 8.0-4
- ubuntu/scons 3.1.2-2
- ubuntu/sed 4.7-1
- ubuntu/sensible-utils 0.0.12 nmu1
- ubuntu/sysvinit-utils 2.96-2.1ubuntu1
- ubuntu/tar 1.30 dfsg-7ubuntu0.20.04.1
- ubuntu/tzdata 2021a-0ubuntu0.20.04
- ubuntu/ubuntu-keyring 2020.02.11.4
- ubuntu/ucf 3.0038 nmu1
- ubuntu/util-linux 2.34-0.1ubuntu9.1
- ubuntu/uuid-dev 2.34-0.1ubuntu9.1
- ubuntu/x11-common 1:7.7 19ubuntu14
- ubuntu/x11proto-core-dev 2019.2-1ubuntu1
- ubuntu/x11proto-dev 2019.2-1ubuntu1
- ubuntu/xauth 1:1.1-0ubuntu1
- ubuntu/xorg-sgml-doctools 1:1.11-1
- ubuntu/xtrans-dev 1.4.0-1
- ubuntu/xz-utils 5.2.4-1ubuntu1
- ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu1.2
- ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu1.2
- bash 5.0.17