Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
seahorn/seahorn-llvm14 : nightly
Ubuntu 22.04.1 LTS
Latest release: almost 2 years ago - 3,450 downloads - 559 dependencies
JSONDependencies
- ubuntu/adduser 3.118ubuntu5
- ubuntu/adwaita-icon-theme 41.0-1ubuntu1
- ubuntu/apt 2.4.8
- ubuntu/base-files 12ubuntu4.2
- ubuntu/base-passwd 3.5.52build1
- ubuntu/bash 5.1-6ubuntu1
- ubuntu/binfmt-support 2.2.1-2
- ubuntu/binutils-common 2.38-4ubuntu2
- ubuntu/binutils-x86-64-linux-gnu 2.38-4ubuntu2
- ubuntu/binutils 2.38-4ubuntu2
- ubuntu/bsdutils 1:2.37.2-4ubuntu3
- ubuntu/build-essential 12.9ubuntu3
- ubuntu/bzip2 1.0.8-5build1
- ubuntu/ca-certificates 20211016
- ubuntu/clang-14 1:14.0.0-1ubuntu1
- ubuntu/clang-format-14 1:14.0.0-1ubuntu1
- ubuntu/cmake-data 3.22.1-1ubuntu1.22.04.1
- ubuntu/cmake 3.22.1-1ubuntu1.22.04.1
- ubuntu/coreutils 8.32-4.1ubuntu1
- ubuntu/cpp-11 11.3.0-1ubuntu1~22.04
- ubuntu/cpp 4:11.2.0-1ubuntu1
- ubuntu/curl 7.81.0-1ubuntu1.6
- ubuntu/dash 0.5.11 git20210903 057cd650a4ed-3build1
- ubuntu/dbus 1.12.20-2ubuntu4.1
- ubuntu/debconf 1.5.79ubuntu1
- ubuntu/debianutils 5.5-1ubuntu2
- ubuntu/dh-elpa-helper 2.0.9ubuntu1
- ubuntu/diffutils 1:3.8-0ubuntu2
- ubuntu/dirmngr 2.2.27-3ubuntu2.1
- ubuntu/distro-info-data 0.52ubuntu0.2
- ubuntu/dmsetup 2:1.02.175-2.1ubuntu4
- ubuntu/dpkg-dev 1.21.1ubuntu2.1
- ubuntu/dpkg 1.21.1ubuntu2.1
- ubuntu/e2fsprogs 1.46.5-2ubuntu1.1
- ubuntu/emacsen-common 3.0.4
- ubuntu/fakeroot 1.28-1ubuntu1
- ubuntu/findutils 4.8.0-1ubuntu3
- ubuntu/fontconfig-config 2.13.1-4.2ubuntu5
- ubuntu/fontconfig 2.13.1-4.2ubuntu5
- ubuntu/fonts-dejavu-core 2.37-2build1
- ubuntu/fonts-liberation 1:1.07.4-11
- ubuntu/g -11 11.3.0-1ubuntu1~22.04
- ubuntu/g 4:11.2.0-1ubuntu1
- ubuntu/gcc-11-base 11.3.0-1ubuntu1~22.04
- ubuntu/gcc-11-multilib 11.3.0-1ubuntu1~22.04
- ubuntu/gcc-11 11.3.0-1ubuntu1~22.04
- ubuntu/gcc-12-base 12.1.0-2ubuntu1~22.04
- ubuntu/gcc-multilib 4:11.2.0-1ubuntu1
- ubuntu/gcc 4:11.2.0-1ubuntu1
- ubuntu/gcovr 5.0-2
- ubuntu/gir1.2-glib-2.0 1.72.0-1
- ubuntu/gir1.2-packagekitglib-1.0 1.2.5-2ubuntu2
- ubuntu/git-man 1:2.34.1-1ubuntu1.5
- ubuntu/git 1:2.34.1-1ubuntu1.5
- ubuntu/gnupg-l10n 2.2.27-3ubuntu2.1
- ubuntu/gnupg-utils 2.2.27-3ubuntu2.1
- ubuntu/gnupg 2.2.27-3ubuntu2.1
- ubuntu/gpg-agent 2.2.27-3ubuntu2.1
- ubuntu/gpg-wks-client 2.2.27-3ubuntu2.1
- ubuntu/gpg-wks-server 2.2.27-3ubuntu2.1
- ubuntu/gpg 2.2.27-3ubuntu2.1
- ubuntu/gpgconf 2.2.27-3ubuntu2.1
- ubuntu/gpgsm 2.2.27-3ubuntu2.1
- ubuntu/gpgv 2.2.27-3ubuntu2.1
- ubuntu/graphviz 2.42.2-6
- ubuntu/grep 3.7-1build1
- ubuntu/gtk-update-icon-cache 3.24.33-1ubuntu2
- ubuntu/gzip 1.10-4ubuntu4.1
- ubuntu/hicolor-icon-theme 0.17-2
- ubuntu/hostname 3.23ubuntu2
- ubuntu/humanity-icon-theme 0.6.16
- ubuntu/icu-devtools 70.1-2
- ubuntu/init-system-helpers 1.62
- ubuntu/iso-codes 4.9.0-1
- ubuntu/javascript-common 11 nmu1
- ubuntu/lcov 1.15-1
- ubuntu/less 590-1build1
- ubuntu/lib32asan6 11.3.0-1ubuntu1~22.04
- ubuntu/lib32atomic1 12.1.0-2ubuntu1~22.04
- ubuntu/lib32gcc-11-dev 11.3.0-1ubuntu1~22.04
- ubuntu/lib32gcc-s1 12.1.0-2ubuntu1~22.04
- ubuntu/lib32gomp1 12.1.0-2ubuntu1~22.04
- ubuntu/lib32itm1 12.1.0-2ubuntu1~22.04
- ubuntu/lib32quadmath0 12.1.0-2ubuntu1~22.04
- ubuntu/lib32stdc 6 12.1.0-2ubuntu1~22.04
- ubuntu/lib32ubsan1 12.1.0-2ubuntu1~22.04
- ubuntu/libacl1 2.3.1-1
- ubuntu/libalgorithm-diff-perl 1.201-1
- ubuntu/libalgorithm-diff-xs-perl 0.04-6build3
- ubuntu/libalgorithm-merge-perl 0.08-3
- ubuntu/libann0 1.1.2 doc-7build1
- ubuntu/libapparmor1 3.0.4-2ubuntu2.1
- ubuntu/libappstream4 0.15.2-2
- ubuntu/libapr1 1.7.0-8build1
- ubuntu/libaprutil1 1.6.1-5ubuntu4
- ubuntu/libapt-pkg6.0 2.4.8
- ubuntu/libarchive13 3.6.0-1ubuntu1
- ubuntu/libargon2-1 0~20171227-0.3
- ubuntu/libasan6 11.3.0-1ubuntu1~22.04
- ubuntu/libassuan0 2.5.5-1build1
- ubuntu/libatk1.0-0 2.36.0-3build1
- ubuntu/libatk1.0-data 2.36.0-3build1
- ubuntu/libatomic1 12.1.0-2ubuntu1~22.04
- ubuntu/libattr1 1:2.5.1-1build1
- ubuntu/libaudit-common 1:3.0.7-1build1
- ubuntu/libaudit1 1:3.0.7-1build1
- ubuntu/libavahi-client3 0.8-5ubuntu5
- ubuntu/libavahi-common-data 0.8-5ubuntu5
- ubuntu/libavahi-common3 0.8-5ubuntu5
- ubuntu/libbinutils 2.38-4ubuntu2
- ubuntu/libblkid1 2.37.2-4ubuntu3
- ubuntu/libboost1.74-dev 1.74.0-14ubuntu3
- ubuntu/libbrotli1 1.0.9-2build6
- ubuntu/libbsd0 0.11.5-1
- ubuntu/libbz2-1.0 1.0.8-5build1
- ubuntu/libc-bin 2.35-0ubuntu3.1
- ubuntu/libc-dev-bin 2.35-0ubuntu3.1
- ubuntu/libc-devtools 2.35-0ubuntu3.1
- ubuntu/libc6-dev-i386 2.35-0ubuntu3.1
- ubuntu/libc6-dev-x32 2.35-0ubuntu3.1
- ubuntu/libc6-dev 2.35-0ubuntu3.1
- ubuntu/libc6-i386 2.35-0ubuntu3.1
- ubuntu/libc6-x32 2.35-0ubuntu3.1
- ubuntu/libc6 2.35-0ubuntu3.1
- ubuntu/libcairo-gobject2 1.16.0-5ubuntu2
- ubuntu/libcairo2 1.16.0-5ubuntu2
- ubuntu/libcap-ng0 0.7.9-2.2build3
- ubuntu/libcap2-bin 1:2.44-1build3
- ubuntu/libcap2 1:2.44-1build3
- ubuntu/libcbor0.8 0.8.0-2ubuntu1
- ubuntu/libcc1-0 12.1.0-2ubuntu1~22.04
- ubuntu/libcdt5 2.42.2-6
- ubuntu/libcgraph6 2.42.2-6
- ubuntu/libclang-common-14-dev 1:14.0.0-1ubuntu1
- ubuntu/libclang-cpp14 1:14.0.0-1ubuntu1
- ubuntu/libclang1-14 1:14.0.0-1ubuntu1
- ubuntu/libcom-err2 1.46.5-2ubuntu1.1
- ubuntu/libcommon-sense-perl 3.75-2build1
- ubuntu/libcrypt-dev 1:4.4.27-1
- ubuntu/libcrypt1 1:4.4.27-1
- ubuntu/libcryptsetup12 2:2.4.3-1ubuntu1.1
- ubuntu/libctf-nobfd0 2.38-4ubuntu2
- ubuntu/libctf0 2.38-4ubuntu2
- ubuntu/libcups2 2.4.1op1-1ubuntu4.1
- ubuntu/libcurl3-gnutls 7.81.0-1ubuntu1.6
- ubuntu/libcurl4 7.81.0-1ubuntu1.6
- ubuntu/libdatrie1 0.2.13-2
- ubuntu/libdb5.3 5.3.28 dfsg1-0.8ubuntu3
- ubuntu/libdbus-1-3 1.12.20-2ubuntu4.1
- ubuntu/libdebconfclient0 0.261ubuntu1
- ubuntu/libdeflate0 1.10-2
- ubuntu/libdevmapper1.02.1 2:1.02.175-2.1ubuntu4
- ubuntu/libdpkg-perl 1.21.1ubuntu2.1
- ubuntu/libdw1 0.186-1build1
- ubuntu/libedit2 3.1-20210910-1build1
- ubuntu/libelf1 0.186-1build1
- ubuntu/liberror-perl 0.17029-1
- ubuntu/libexpat1-dev 2.4.7-1
- ubuntu/libexpat1 2.4.7-1
- ubuntu/libext2fs2 1.46.5-2ubuntu1.1
- ubuntu/libfakeroot 1.28-1ubuntu1
- ubuntu/libffi-dev 3.4.2-4
- ubuntu/libffi8 3.4.2-4
- ubuntu/libfido2-1 1.10.0-1
- ubuntu/libfile-fcntllock-perl 0.22-3build7
- ubuntu/libfontconfig1 2.13.1-4.2ubuntu5
- ubuntu/libfreetype6 2.11.1 dfsg-1ubuntu0.1
- ubuntu/libfribidi0 1.0.8-2ubuntu3.1
- ubuntu/libgail-common 2.24.33-2ubuntu2
- ubuntu/libgail18 2.24.33-2ubuntu2
- ubuntu/libgc1 1:8.0.6-1.1build1
- ubuntu/libgcc-11-dev 11.3.0-1ubuntu1~22.04
- ubuntu/libgcc-s1 12.1.0-2ubuntu1~22.04
- ubuntu/libgcrypt20 1.9.4-3ubuntu3
- ubuntu/libgd-perl 2.76-2build1
- ubuntu/libgd3 2.3.0-2ubuntu2
- ubuntu/libgdbm-compat4 1.23-1
- ubuntu/libgdbm6 1.23-1
- ubuntu/libgdk-pixbuf-2.0-0 2.42.8 dfsg-1ubuntu0.1
- ubuntu/libgdk-pixbuf2.0-bin 2.42.8 dfsg-1ubuntu0.1
- ubuntu/libgdk-pixbuf2.0-common 2.42.8 dfsg-1ubuntu0.1
- ubuntu/libgirepository-1.0-1 1.72.0-1
- ubuntu/libglib2.0-0 2.72.1-1
- ubuntu/libglib2.0-bin 2.72.1-1
- ubuntu/libglib2.0-data 2.72.1-1
- ubuntu/libgmp-dev 2:6.2.1 dfsg-3ubuntu1
- ubuntu/libgmp10 2:6.2.1 dfsg-3ubuntu1
- ubuntu/libgmpxx4ldbl 2:6.2.1 dfsg-3ubuntu1
- ubuntu/libgnutls30 3.7.3-4ubuntu1.1
- ubuntu/libgomp1 12.1.0-2ubuntu1~22.04
- ubuntu/libgpg-error0 1.43-3
- ubuntu/libgpm2 1.20.7-10build1
- ubuntu/libgraphite2-3 1.3.14-1build2
- ubuntu/libgraphviz-dev 2.42.2-6
- ubuntu/libgssapi-krb5-2 1.19.2-2
- ubuntu/libgstreamer1.0-0 1.20.3-0ubuntu1
- ubuntu/libgtk2.0-0 2.24.33-2ubuntu2
- ubuntu/libgtk2.0-bin 2.24.33-2ubuntu2
- ubuntu/libgtk2.0-common 2.24.33-2ubuntu2
- ubuntu/libgts-0.7-5 0.7.6 darcs121130-5
- ubuntu/libgts-bin 0.7.6 darcs121130-5
- ubuntu/libgvc6-plugins-gtk 2.42.2-6
- ubuntu/libgvc6 2.42.2-6
- ubuntu/libgvpr2 2.42.2-6
- ubuntu/libharfbuzz0b 2.7.4-1ubuntu3.1
- ubuntu/libhogweed6 3.7.3-1build2
- ubuntu/libice6 2:1.0.10-1build2
- ubuntu/libicu-dev 70.1-2
- ubuntu/libicu70 70.1-2
- ubuntu/libidn2-0 2.3.2-2build1
- ubuntu/libip4tc2 1.8.7-1ubuntu5
- ubuntu/libisl23 0.24-2build1
- ubuntu/libitm1 12.1.0-2ubuntu1~22.04
- ubuntu/libjbig0 2.1-3.1build3
- ubuntu/libjpeg-turbo8 2.1.2-0ubuntu1
- ubuntu/libjpeg8 8c-2ubuntu10
- ubuntu/libjs-jquery 3.6.0 dfsg ~3.5.13-1
- ubuntu/libjs-sphinxdoc 4.3.2-1
- ubuntu/libjs-underscore 1.13.2~dfsg-2
- ubuntu/libjson-c5 0.15-3~ubuntu1.22.04.1
- ubuntu/libjson-perl 4.04000-1
- ubuntu/libjson-xs-perl 4.030-1build3
- ubuntu/libjsoncpp25 1.9.5-3
- ubuntu/libk5crypto3 1.19.2-2
- ubuntu/libkeyutils1 1.6.1-2ubuntu3
- ubuntu/libkmod2 29-1ubuntu1
- ubuntu/libkrb5-3 1.19.2-2
- ubuntu/libkrb5support0 1.19.2-2
- ubuntu/libksba8 1.6.0-2ubuntu0.1
- ubuntu/liblab-gamut1 2.42.2-6
- ubuntu/libldap-2.5-0 2.5.13 dfsg-0ubuntu0.22.04.1
- ubuntu/liblldb-14 1:14.0.0-1ubuntu1
- ubuntu/libllvm14 1:14.0.0-1ubuntu1
- ubuntu/liblocale-gettext-perl 1.07-4build3
- ubuntu/liblsan0 12.1.0-2ubuntu1~22.04
- ubuntu/libltdl7 2.4.6-15build2
- ubuntu/liblz4-1 1.9.3-2build2
- ubuntu/liblzma5 5.2.5-2ubuntu1
- ubuntu/libmd0 1.0.4-1build1
- ubuntu/libmount1 2.37.2-4ubuntu3
- ubuntu/libmpc3 1.2.1-2build1
- ubuntu/libmpdec3 2.5.1-2build2
- ubuntu/libmpfr-dev 4.1.0-3build3
- ubuntu/libmpfr6 4.1.0-3build3
- ubuntu/libncurses-dev 6.3-2
- ubuntu/libncurses6 6.3-2
- ubuntu/libncursesw6 6.3-2
- ubuntu/libnettle8 3.7.3-1build2
- ubuntu/libnghttp2-14 1.43.0-1build3
- ubuntu/libnpth0 1.6-3build2
- ubuntu/libnsl-dev 1.3.0-2build2
- ubuntu/libnsl2 1.3.0-2build2
- ubuntu/libnss-systemd 249.11-0ubuntu3.6
- ubuntu/libobjc-11-dev 11.3.0-1ubuntu1~22.04
- ubuntu/libobjc4 12.1.0-2ubuntu1~22.04
- ubuntu/libp11-kit0 0.24.0-6build1
- ubuntu/libpackagekit-glib2-18 1.2.5-2ubuntu2
- ubuntu/libpam-cap 1:2.44-1build3
- ubuntu/libpam-modules-bin 1.4.0-11ubuntu2
- ubuntu/libpam-modules 1.4.0-11ubuntu2
- ubuntu/libpam-runtime 1.4.0-11ubuntu2
- ubuntu/libpam-systemd 249.11-0ubuntu3.6
- ubuntu/libpam0g 1.4.0-11ubuntu2
- ubuntu/libpango-1.0-0 1.50.6 ds-2
- ubuntu/libpangocairo-1.0-0 1.50.6 ds-2
- ubuntu/libpangoft2-1.0-0 1.50.6 ds-2
- ubuntu/libpathplan4 2.42.2-6
- ubuntu/libpcre2-8-0 10.39-3ubuntu0.1
- ubuntu/libpcre3 2:8.39-13ubuntu0.22.04.1
- ubuntu/libperl5.34 5.34.0-3ubuntu1.1
- ubuntu/libperlio-gzip-perl 0.19-1build8
- ubuntu/libpfm4 4.11.1 git32-gd0b85fb-1
- ubuntu/libpipeline1 1.5.5-1
- ubuntu/libpixman-1-0 0.40.0-1build4
- ubuntu/libpng16-16 1.6.37-3build5
- ubuntu/libpolkit-agent-1-0 0.105-33
- ubuntu/libpolkit-gobject-1-0 0.105-33
- ubuntu/libpopt0 1.18-3build1
- ubuntu/libprocps8 2:3.3.17-6ubuntu2
- ubuntu/libpsl5 0.21.0-1.2build2
- ubuntu/libpython3-dev 3.10.6-1~22.04
- ubuntu/libpython3-stdlib 3.10.6-1~22.04
- ubuntu/libpython3.10-dev 3.10.6-1~22.04.1
- ubuntu/libpython3.10-minimal 3.10.6-1~22.04.1
- ubuntu/libpython3.10-stdlib 3.10.6-1~22.04.1
- ubuntu/libpython3.10 3.10.6-1~22.04.1
- ubuntu/libquadmath0 12.1.0-2ubuntu1~22.04
- ubuntu/libreadline8 8.1.2-1
- ubuntu/librhash0 1.4.2-1ubuntu1
- ubuntu/librsvg2-2 2.52.5 dfsg-3
- ubuntu/librsvg2-common 2.52.5 dfsg-3
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build4
- ubuntu/libsasl2-2 2.1.27 dfsg2-3ubuntu1
- ubuntu/libsasl2-modules-db 2.1.27 dfsg2-3ubuntu1
- ubuntu/libseccomp2 2.5.3-2ubuntu2
- ubuntu/libselinux1 3.3-1build2
- ubuntu/libsemanage-common 3.3-1build2
- ubuntu/libsemanage2 3.3-1build2
- ubuntu/libsepol2 3.3-1build1
- ubuntu/libserf-1-1 1.3.9-10ubuntu2
- ubuntu/libsm6 2:1.2.3-1build2
- ubuntu/libsmartcols1 2.37.2-4ubuntu3
- ubuntu/libsodium23 1.0.18-1build2
- ubuntu/libsqlite3-0 3.37.2-2
- ubuntu/libss2 1.46.5-2ubuntu1.1
- ubuntu/libssh-4 0.9.6-2build1
- ubuntu/libssl3 3.0.2-0ubuntu1.7
- ubuntu/libstdc -11-dev 11.3.0-1ubuntu1~22.04
- ubuntu/libstdc 6 12.1.0-2ubuntu1~22.04
- ubuntu/libstemmer0d 2.2.0-1build1
- ubuntu/libsvn1 1.14.1-3ubuntu0.22.04.1
- ubuntu/libsystemd0 249.11-0ubuntu3.6
- ubuntu/libtasn1-6 4.18.0-4build1
- ubuntu/libthai-data 0.1.29-1build1
- ubuntu/libthai0 0.1.29-1build1
- ubuntu/libtiff5 4.3.0-6ubuntu0.1
- ubuntu/libtinfo-dev 6.3-2
- ubuntu/libtinfo6 6.3-2
- ubuntu/libtirpc-common 1.3.2-2ubuntu0.1
- ubuntu/libtirpc-dev 1.3.2-2ubuntu0.1
- ubuntu/libtirpc3 1.3.2-2ubuntu0.1
- ubuntu/libtsan0 11.3.0-1ubuntu1~22.04
- ubuntu/libtypes-serialiser-perl 1.01-1
- ubuntu/libubsan1 12.1.0-2ubuntu1~22.04
- ubuntu/libudev1 249.11-0ubuntu3.6
- ubuntu/libunistring2 1.0-1
- ubuntu/libunwind8 1.3.2-2build2
- ubuntu/libutf8proc2 2.7.0-3
- ubuntu/libuuid1 2.37.2-4ubuntu3
- ubuntu/libuv1 1.43.0-1
- ubuntu/libwebp7 1.2.2-2
- ubuntu/libx11-6 2:1.7.5-1
- ubuntu/libx11-data 2:1.7.5-1
- ubuntu/libx32asan6 11.3.0-1ubuntu1~22.04
- ubuntu/libx32atomic1 12.1.0-2ubuntu1~22.04
- ubuntu/libx32gcc-11-dev 11.3.0-1ubuntu1~22.04
- ubuntu/libx32gcc-s1 12.1.0-2ubuntu1~22.04
- ubuntu/libx32gomp1 12.1.0-2ubuntu1~22.04
- ubuntu/libx32itm1 12.1.0-2ubuntu1~22.04
- ubuntu/libx32quadmath0 12.1.0-2ubuntu1~22.04
- ubuntu/libx32stdc 6 12.1.0-2ubuntu1~22.04
- ubuntu/libx32ubsan1 12.1.0-2ubuntu1~22.04
- ubuntu/libxau6 1:1.0.9-1build5
- ubuntu/libxaw7 2:1.0.14-1
- ubuntu/libxcb-render0 1.14-3ubuntu3
- ubuntu/libxcb-shm0 1.14-3ubuntu3
- ubuntu/libxcb1 1.14-3ubuntu3
- ubuntu/libxcomposite1 1:0.4.5-1build2
- ubuntu/libxcursor1 1:1.2.0-2build4
- ubuntu/libxdamage1 1:1.1.5-2build2
- ubuntu/libxdmcp6 1:1.1.3-0ubuntu5
- ubuntu/libxdot4 2.42.2-6
- ubuntu/libxext6 2:1.3.4-1build1
- ubuntu/libxfixes3 1:6.0.0-1
- ubuntu/libxi6 2:1.8-1build1
- ubuntu/libxinerama1 2:1.1.4-3
- ubuntu/libxml2-dev 2.9.13 dfsg-1ubuntu0.1
- ubuntu/libxml2 2.9.13 dfsg-1ubuntu0.1
- ubuntu/libxmlb2 0.3.6-2build1
- ubuntu/libxmu6 2:1.1.3-3
- ubuntu/libxpm4 1:3.5.12-1build2
- ubuntu/libxrandr2 2:1.5.2-1build1
- ubuntu/libxrender1 1:0.9.10-1build4
- ubuntu/libxslt1.1 1.1.34-4ubuntu0.22.04.1
- ubuntu/libxt6 1:1.2.1-1
- ubuntu/libxxhash0 0.8.1-1
- ubuntu/libyaml-0-2 0.2.2-1build2
- ubuntu/libz3-4 4.8.12-1
- ubuntu/libz3-dev 4.8.12-1
- ubuntu/libzstd1 1.4.8 dfsg-3build1
- ubuntu/linux-libc-dev 5.15.0-52.58
- ubuntu/lld-14 1:14.0.0-1ubuntu1
- ubuntu/lldb-14 1:14.0.0-1ubuntu1
- ubuntu/llvm-14-dev 1:14.0.0-1ubuntu1
- ubuntu/llvm-14-linker-tools 1:14.0.0-1ubuntu1
- ubuntu/llvm-14-runtime 1:14.0.0-1ubuntu1
- ubuntu/llvm-14-tools 1:14.0.0-1ubuntu1
- ubuntu/llvm-14 1:14.0.0-1ubuntu1
- ubuntu/login 1:4.8.1-2ubuntu2
- ubuntu/logsave 1.46.5-2ubuntu1.1
- ubuntu/lsb-base 11.1.0ubuntu4
- ubuntu/lsb-release 11.1.0ubuntu4
- ubuntu/lto-disabled-list 24
- ubuntu/make 4.3-4.1build1
- ubuntu/manpages-dev 5.10-1ubuntu1
- ubuntu/manpages 5.10-1ubuntu1
- ubuntu/mawk 1.3.4.20200120-3
- ubuntu/media-types 7.0.0
- ubuntu/mercurial-common 6.1.1-1ubuntu1
- ubuntu/mercurial 6.1.1-1ubuntu1
- ubuntu/mount 2.37.2-4ubuntu3
- ubuntu/ncurses-base 6.3-2
- ubuntu/ncurses-bin 6.3-2
- ubuntu/netbase 6.3
- ubuntu/networkd-dispatcher 2.1-2ubuntu0.22.04.2
- ubuntu/ninja-build 1.10.1-1
- ubuntu/openssh-client 1:8.9p1-3
- ubuntu/openssl 3.0.2-0ubuntu1.7
- ubuntu/packagekit-tools 1.2.5-2ubuntu2
- ubuntu/packagekit 1.2.5-2ubuntu2
- ubuntu/passwd 1:4.8.1-2ubuntu2
- ubuntu/patch 2.7.6-7build2
- ubuntu/perl-base 5.34.0-3ubuntu1.1
- ubuntu/perl-modules-5.34 5.34.0-3ubuntu1.1
- ubuntu/perl 5.34.0-3ubuntu1.1
- ubuntu/pinentry-curses 1.1.1-1build2
- ubuntu/pkexec 0.105-33
- ubuntu/policykit-1 0.105-33
- ubuntu/polkitd 0.105-33
- ubuntu/procps 2:3.3.17-6ubuntu2
- ubuntu/python-apt-common 2.3.0ubuntu2.1
- ubuntu/python-babel-localedata 2.8.0 dfsg.1-7
- ubuntu/python3-apt 2.3.0ubuntu2.1
- ubuntu/python3-babel 2.8.0 dfsg.1-7
- ubuntu/python3-blinker 1.4 dfsg1-0.4
- ubuntu/python3-bs4 4.10.0-2
- ubuntu/python3-cffi-backend 1.15.0-1build2
- ubuntu/python3-chardet 4.0.0-1
- ubuntu/python3-cryptography 3.4.8-1ubuntu2
- ubuntu/python3-dbus 1.2.18-3build1
- ubuntu/python3-dev 3.10.6-1~22.04
- ubuntu/python3-distro-info 1.1build1
- ubuntu/python3-distro 1.7.0-1
- ubuntu/python3-distutils 3.10.6-1~22.04
- ubuntu/python3-gi 3.42.1-0ubuntu1
- ubuntu/python3-html5lib 1.1-3
- ubuntu/python3-httplib2 0.20.2-2
- ubuntu/python3-importlib-metadata 4.6.4-1
- ubuntu/python3-jeepney 0.7.1-3
- ubuntu/python3-jinja2 3.0.3-1
- ubuntu/python3-jwt 2.3.0-1ubuntu0.2
- ubuntu/python3-keyring 23.5.0-1
- ubuntu/python3-launchpadlib 1.10.16-1
- ubuntu/python3-lazr.restfulclient 0.14.4-1
- ubuntu/python3-lazr.uri 1.0.6-2
- ubuntu/python3-lib2to3 3.10.6-1~22.04
- ubuntu/python3-lldb-14 1:14.0.0-1ubuntu1
- ubuntu/python3-lxml 4.8.0-1build1
- ubuntu/python3-markupsafe 2.0.1-2build1
- ubuntu/python3-minimal 3.10.6-1~22.04
- ubuntu/python3-more-itertools 8.10.0-2
- ubuntu/python3-oauthlib 3.2.0-1ubuntu0.1
- ubuntu/python3-pip 22.0.2 dfsg-1
- ubuntu/python3-pkg-resources 59.6.0-1.2
- ubuntu/python3-pygments 2.11.2 dfsg-2
- ubuntu/python3-pygraphviz 1.7-3build1
- ubuntu/python3-pyparsing 2.4.7-1
- ubuntu/python3-secretstorage 3.3.1-1
- ubuntu/python3-setuptools 59.6.0-1.2
- ubuntu/python3-six 1.16.0-3ubuntu1
- ubuntu/python3-software-properties 0.99.22.3
- ubuntu/python3-soupsieve 2.3.1-1
- ubuntu/python3-tz 2022.1-1
- ubuntu/python3-wadllib 1.3.6-1
- ubuntu/python3-webencodings 0.5.1-4
- ubuntu/python3-wheel 0.37.1-2
- ubuntu/python3-yaml 5.4.1-1ubuntu1
- ubuntu/python3-zipp 1.0.0-3
- ubuntu/python3.10-dev 3.10.6-1~22.04.1
- ubuntu/python3.10-minimal 3.10.6-1~22.04.1
- ubuntu/python3.10 3.10.6-1~22.04.1
- ubuntu/python3 3.10.6-1~22.04
- ubuntu/readline-common 8.1.2-1
- ubuntu/rpcsvc-proto 1.4.2-0ubuntu6
- ubuntu/rsync 3.2.3-8ubuntu3
- ubuntu/sed 4.8-1ubuntu2
- ubuntu/sensible-utils 0.0.17
- ubuntu/shared-mime-info 2.1-2
- ubuntu/software-properties-common 0.99.22.3
- ubuntu/subversion 1.14.1-3ubuntu0.22.04.1
- ubuntu/sudo 1.9.9-1ubuntu2.1
- ubuntu/systemd-sysv 249.11-0ubuntu3.6
- ubuntu/systemd-timesyncd 249.11-0ubuntu3.6
- ubuntu/systemd 249.11-0ubuntu3.6
- ubuntu/sysvinit-utils 3.01-1ubuntu1
- ubuntu/tar 1.34 dfsg-1build3
- ubuntu/tzdata 2022f-0ubuntu0.22.04.0
- ubuntu/ubuntu-keyring 2021.03.26
- ubuntu/ubuntu-mono 20.10-0ubuntu2
- ubuntu/ucf 3.0043
- ubuntu/unattended-upgrades 2.8ubuntu1
- ubuntu/unzip 6.0-26ubuntu3.1
- ubuntu/usrmerge 25ubuntu2
- ubuntu/util-linux 2.37.2-4ubuntu3
- ubuntu/vim-common 2:8.2.3995-1ubuntu2.1
- ubuntu/vim-runtime 2:8.2.3995-1ubuntu2.1
- ubuntu/vim 2:8.2.3995-1ubuntu2.1
- ubuntu/wget 1.21.2-2ubuntu1
- ubuntu/x11-common 1:7.7 23ubuntu2
- ubuntu/xdg-user-dirs 0.17-2ubuntu4
- ubuntu/xxd 2:8.2.3995-1ubuntu2.1
- ubuntu/xz-utils 5.2.5-2ubuntu1
- ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu9.2
- ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu9.2
- bash 5.1.16
- z3:z3 *
- Microsoft.NETCore.Platforms 1.1.0
- Microsoft.NETCore.Targets 1.1.0
- Microsoft.Win32.Primitives 4.3.0
- Microsoft.Z3 4.8.9
- NETStandard.Library 1.6.1
- System.AppContext 4.3.0
- System.Buffers 4.3.0
- System.Collections.Concurrent 4.3.0
- System.Collections 4.3.0
- System.Console 4.3.0
- System.Diagnostics.Debug 4.3.0
- System.Diagnostics.DiagnosticSource 4.3.0
- System.Diagnostics.Tools 4.3.0
- System.Diagnostics.Tracing 4.3.0
- System.Globalization.Calendars 4.3.0
- System.Globalization 4.3.0
- System.IO.Compression.ZipFile 4.3.0
- System.IO.Compression 4.3.0
- System.IO.FileSystem.Primitives 4.3.0
- System.IO.FileSystem 4.3.0
- System.IO 4.3.0
- System.Linq.Expressions 4.3.0
- System.Linq 4.3.0
- System.Net.Http 4.3.0
- System.Net.Primitives 4.3.0
- System.Net.Sockets 4.3.0
- System.ObjectModel 4.3.0
- System.Reflection.Extensions 4.3.0
- System.Reflection.Primitives 4.3.0
- System.Reflection 4.3.0
- System.Resources.ResourceManager 4.3.0
- System.Runtime.Extensions 4.3.0
- System.Runtime.Handles 4.3.0
- System.Runtime.InteropServices.RuntimeInformation 4.3.0
- System.Runtime.InteropServices 4.3.0
- System.Runtime.Numerics 4.3.0
- System.Runtime 4.3.0
- System.Security.Cryptography.Algorithms 4.3.0
- System.Security.Cryptography.Encoding 4.3.0
- System.Security.Cryptography.Primitives 4.3.0
- System.Security.Cryptography.X509Certificates 4.3.0
- System.Text.Encoding.Extensions 4.3.0
- System.Text.Encoding 4.3.0
- System.Text.RegularExpressions 4.3.0
- System.Threading.Tasks.Extensions 4.3.0
- System.Threading.Tasks 4.3.0
- System.Threading.Timer 4.3.0
- System.Threading 4.3.0
- System.Xml.ReaderWriter 4.3.0
- System.Xml.XDocument 4.3.0
- runtime.debian.8-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.fedora.23-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.fedora.24-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.native.System.IO.Compression 4.3.0
- runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.native.System 4.3.0
- runtime.opensuse.13.2-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.opensuse.42.1-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.osx.10.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.rhel.7-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.ubuntu.14.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.ubuntu.16.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
- runtime.ubuntu.16.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0