Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
seahorn/seahorn-builder : bionic-llvm10
Latest release: about 4 years ago - 277 downloads - 582 dependencies
JSONDependencies
- ubuntu/adduser 3.116ubuntu1
- ubuntu/adwaita-icon-theme 3.28.0-1ubuntu1
- ubuntu/apt 1.6.12ubuntu0.1
- ubuntu/base-files 10.1ubuntu2.10
- ubuntu/base-passwd 3.5.44
- ubuntu/bash 4.4.18-2ubuntu1.2
- ubuntu/binfmt-support 2.1.8-2
- ubuntu/binutils-common 2.30-21ubuntu1~18.04.4
- ubuntu/binutils-x86-64-linux-gnu 2.30-21ubuntu1~18.04.4
- ubuntu/binutils 2.30-21ubuntu1~18.04.4
- ubuntu/bsdutils 1:2.31.1-0.4ubuntu3.7
- ubuntu/build-essential 12.4ubuntu1
- ubuntu/bzip2 1.0.6-8.1ubuntu0.2
- ubuntu/bzr 2.7.0 bzr6622-10
- ubuntu/ca-certificates 20201027ubuntu0.18.04.1
- ubuntu/clang-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/clang-format-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/clangd-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/cmake-data 3.10.2-1ubuntu2.18.04.1
- ubuntu/cmake 3.10.2-1ubuntu2.18.04.1
- ubuntu/coreutils 8.28-1ubuntu1
- ubuntu/cpp-7 7.5.0-3ubuntu1~18.04
- ubuntu/cpp 4:7.4.0-1ubuntu2.3
- ubuntu/cron 3.0pl1-128.1ubuntu1
- ubuntu/curl 7.58.0-2ubuntu3.10
- ubuntu/dash 0.5.8-2.10
- ubuntu/dbus-x11 1.12.2-1ubuntu1.2
- ubuntu/dbus 1.12.2-1ubuntu1.2
- ubuntu/debconf 1.5.66ubuntu1
- ubuntu/debianutils 4.8.4
- ubuntu/dh-python 3.20180325ubuntu2
- ubuntu/diffutils 1:3.6-1
- ubuntu/dirmngr 2.2.4-1ubuntu1.3
- ubuntu/distro-info-data 0.37ubuntu0.9
- ubuntu/dpkg-dev 1.19.0.5ubuntu2.3
- ubuntu/dpkg 1.19.0.5ubuntu2.3
- ubuntu/e2fsprogs 1.44.1-1ubuntu1.3
- ubuntu/fakeroot 1.22-2ubuntu1
- ubuntu/fdisk 2.31.1-0.4ubuntu3.7
- ubuntu/findutils 4.6.0 git 20170828-2
- ubuntu/fontconfig-config 2.12.6-0ubuntu2
- ubuntu/fontconfig 2.12.6-0ubuntu2
- ubuntu/fonts-dejavu-core 2.37-1
- ubuntu/fonts-liberation 1:1.07.4-7~18.04.1
- ubuntu/g -7 7.5.0-3ubuntu1~18.04
- ubuntu/g 4:7.4.0-1ubuntu2.3
- ubuntu/gcc-7-base 7.5.0-3ubuntu1~18.04
- ubuntu/gcc-7-multilib 7.5.0-3ubuntu1~18.04
- ubuntu/gcc-7 7.5.0-3ubuntu1~18.04
- ubuntu/gcc-8-base 8.4.0-1ubuntu1~18.04
- ubuntu/gcc-multilib 4:7.4.0-1ubuntu2.3
- ubuntu/gcc 4:7.4.0-1ubuntu2.3
- ubuntu/gconf-service-backend 3.2.6-4ubuntu1
- ubuntu/gconf-service 3.2.6-4ubuntu1
- ubuntu/gconf2-common 3.2.6-4ubuntu1
- ubuntu/gconf2 3.2.6-4ubuntu1
- ubuntu/ggcov 0.9 20190314-0ubuntu1~18.04.1
- ubuntu/gir1.2-glib-2.0 1.56.1-1
- ubuntu/git-man 1:2.17.1-1ubuntu0.7
- ubuntu/git 1:2.17.1-1ubuntu0.7
- ubuntu/gnupg-l10n 2.2.4-1ubuntu1.3
- ubuntu/gnupg-utils 2.2.4-1ubuntu1.3
- ubuntu/gnupg 2.2.4-1ubuntu1.3
- ubuntu/gpg-agent 2.2.4-1ubuntu1.3
- ubuntu/gpg-wks-client 2.2.4-1ubuntu1.3
- ubuntu/gpg-wks-server 2.2.4-1ubuntu1.3
- ubuntu/gpg 2.2.4-1ubuntu1.3
- ubuntu/gpgconf 2.2.4-1ubuntu1.3
- ubuntu/gpgsm 2.2.4-1ubuntu1.3
- ubuntu/gpgv 2.2.4-1ubuntu1.3
- ubuntu/graphviz 2.40.1-2
- ubuntu/grep 3.1-2build1
- ubuntu/gtk-update-icon-cache 3.22.30-1ubuntu4
- ubuntu/gzip 1.6-5ubuntu1
- ubuntu/hicolor-icon-theme 0.17-2
- ubuntu/hostname 3.20
- ubuntu/humanity-icon-theme 0.6.15
- ubuntu/init-system-helpers 1.51
- ubuntu/iso-codes 3.79-1
- ubuntu/lcov 1.13-3
- ubuntu/less 487-0.1
- ubuntu/lib32asan4 7.5.0-3ubuntu1~18.04
- ubuntu/lib32atomic1 8.4.0-1ubuntu1~18.04
- ubuntu/lib32cilkrts5 7.5.0-3ubuntu1~18.04
- ubuntu/lib32gcc-7-dev 7.5.0-3ubuntu1~18.04
- ubuntu/libpfm4 4.9.0-2
- ubuntu/lib32gcc1 1:8.4.0-1ubuntu1~18.04
- ubuntu/lib32gomp1 8.4.0-1ubuntu1~18.04
- ubuntu/lib32itm1 8.4.0-1ubuntu1~18.04
- ubuntu/lib32mpx2 8.4.0-1ubuntu1~18.04
- ubuntu/lib32quadmath0 8.4.0-1ubuntu1~18.04
- ubuntu/lib32stdc 6 8.4.0-1ubuntu1~18.04
- ubuntu/lib32ubsan0 7.5.0-3ubuntu1~18.04
- ubuntu/libacl1 2.2.52-3build1
- ubuntu/libalgorithm-c3-perl 0.10-1
- ubuntu/libalgorithm-diff-perl 1.19.03-1
- ubuntu/libalgorithm-diff-xs-perl 0.04-5
- ubuntu/libalgorithm-merge-perl 0.08-3
- ubuntu/libann0 1.1.2 doc-6
- ubuntu/libapparmor1 2.12-4ubuntu5.1
- ubuntu/libapr1 1.6.3-2
- ubuntu/libaprutil1 1.6.1-2
- ubuntu/libapt-inst2.0 1.6.12ubuntu0.1
- ubuntu/libapt-pkg5.0 1.6.12ubuntu0.1
- ubuntu/libarchive13 3.2.2-3.1ubuntu0.6
- ubuntu/libart-2.0-2 2.3.21-3
- ubuntu/libasan4 7.5.0-3ubuntu1~18.04
- ubuntu/libasn1-8-heimdal 7.5.0 dfsg-1
- ubuntu/libasound2-data 1.1.3-5ubuntu0.5
- ubuntu/libasound2 1.1.3-5ubuntu0.5
- ubuntu/libassuan0 2.5.1-2
- ubuntu/libatk1.0-0 2.28.1-1
- ubuntu/libatk1.0-data 2.28.1-1
- ubuntu/libatomic1 8.4.0-1ubuntu1~18.04
- ubuntu/libattr1 1:2.4.47-2build1
- ubuntu/libaudit-common 1:2.8.2-1ubuntu1
- ubuntu/libaudit1 1:2.8.2-1ubuntu1
- ubuntu/libavahi-client3 0.7-3.1ubuntu1.2
- ubuntu/libavahi-common-data 0.7-3.1ubuntu1.2
- ubuntu/libavahi-common3 0.7-3.1ubuntu1.2
- ubuntu/libavahi-glib1 0.7-3.1ubuntu1.2
- ubuntu/libb-hooks-endofscope-perl 0.21-1
- ubuntu/libb-hooks-op-check-perl 0.22-1
- ubuntu/libbinutils 2.30-21ubuntu1~18.04.4
- ubuntu/libblkid1 2.31.1-0.4ubuntu3.7
- ubuntu/libbonobo2-0 2.32.1-3
- ubuntu/libbonobo2-common 2.32.1-3
- ubuntu/libbonoboui2-0 2.24.5-4
- ubuntu/libbonoboui2-common 2.24.5-4
- ubuntu/libboost1.74-dev 1.74-0~16~ubuntu18.04.1
- ubuntu/libboost1.74 1.74-0~16~ubuntu18.04.1
- ubuntu/libpipeline1 1.5.0-1
- ubuntu/libbsd0 0.8.7-1ubuntu0.1
- ubuntu/libbz2-1.0 1.0.6-8.1ubuntu0.2
- ubuntu/libc-bin 2.27-3ubuntu1.3
- ubuntu/libc-dev-bin 2.27-3ubuntu1.3
- ubuntu/libc6-dev-i386 2.27-3ubuntu1.3
- ubuntu/libc6-dev-x32 2.27-3ubuntu1.3
- ubuntu/libc6-dev 2.27-3ubuntu1.3
- ubuntu/libc6-i386 2.27-3ubuntu1.3
- ubuntu/libc6-x32 2.27-3ubuntu1.3
- ubuntu/libc6 2.27-3ubuntu1.3
- ubuntu/libcairo2 1.15.10-2ubuntu0.1
- ubuntu/libcanberra0 0.30-5ubuntu1
- ubuntu/libcap-ng0 0.7.7-3.1
- ubuntu/libcc1-0 8.4.0-1ubuntu1~18.04
- ubuntu/libcdt5 2.40.1-2
- ubuntu/libcgraph6 2.40.1-2
- ubuntu/libcilkrts5 7.5.0-3ubuntu1~18.04
- ubuntu/libclang-common-10-dev 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/libclang-cpp10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/libclang1-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/libclass-c3-perl 0.33-1
- ubuntu/libclass-c3-xs-perl 0.14-1build3
- ubuntu/libclass-data-inheritable-perl 0.08-2
- ubuntu/libclass-inspector-perl 1.32-1
- ubuntu/libclass-method-modifiers-perl 2.12-1
- ubuntu/libclass-singleton-perl 1.5-1
- ubuntu/libcom-err2 1.44.1-1ubuntu1.3
- ubuntu/libcroco3 0.6.12-2
- ubuntu/libcups2 2.2.7-1ubuntu2.8
- ubuntu/libcurl3-gnutls 7.58.0-2ubuntu3.10
- ubuntu/libcurl4 7.58.0-2ubuntu3.10
- ubuntu/libdata-optlist-perl 0.110-1
- ubuntu/libdatetime-locale-perl 1:1.17-1
- ubuntu/libdatetime-perl 2:1.46-1
- ubuntu/libdatetime-timezone-perl 1:2.18-1 2018d
- ubuntu/libdatrie1 0.2.10-7
- ubuntu/libdb5.3 5.3.28-13.1ubuntu1.1
- ubuntu/libdbus-1-3 1.12.2-1ubuntu1.2
- ubuntu/libdbus-glib-1-2 0.110-2
- ubuntu/libdebconfclient0 0.213ubuntu1
- ubuntu/libdevel-callchecker-perl 0.007-2build1
- ubuntu/libdevel-caller-perl 2.06-1build5
- ubuntu/libdevel-lexalias-perl 0.05-1build5
- ubuntu/libdevel-stacktrace-perl 2.0300-1
- ubuntu/sed 4.4-2
- ubuntu/libdpkg-perl 1.19.0.5ubuntu2.3
- ubuntu/libdynaloader-functions-perl 0.003-1
- ubuntu/libedit2 3.1-20170329-1
- ubuntu/liberror-perl 0.17025-1
- ubuntu/libeval-closure-perl 0.14-1
- ubuntu/libexception-class-perl 1.44-1
- ubuntu/libexpat1-dev 2.2.5-3ubuntu0.2
- ubuntu/libexpat1 2.2.5-3ubuntu0.2
- ubuntu/libext2fs2 1.44.1-1ubuntu1.3
- ubuntu/libfakeroot 1.22-2ubuntu1
- ubuntu/libfdisk1 2.31.1-0.4ubuntu3.7
- ubuntu/libffi-dev 3.2.1-8
- ubuntu/libffi6 3.2.1-8
- ubuntu/libfile-fcntllock-perl 0.22-3build2
- ubuntu/libfile-sharedir-perl 1.104-1
- ubuntu/libfontconfig1 2.12.6-0ubuntu2
- ubuntu/libfreetype6 2.8.1-2ubuntu2.1
- ubuntu/libgail-common 2.24.32-1ubuntu1
- ubuntu/libgail18 2.24.32-1ubuntu1
- ubuntu/libgc1c2 1:7.4.2-8ubuntu1
- ubuntu/libgcc-7-dev 7.5.0-3ubuntu1~18.04
- ubuntu/libgcc1 1:8.4.0-1ubuntu1~18.04
- ubuntu/libgconf-2-4 3.2.6-4ubuntu1
- ubuntu/libgcrypt20 1.8.1-4ubuntu1.2
- ubuntu/libgd-perl 2.66-1build1
- ubuntu/libgd3 2.2.5-4ubuntu0.4
- ubuntu/libgdbm-compat4 1.14.1-6
- ubuntu/libgdbm5 1.14.1-6
- ubuntu/libgdk-pixbuf2.0-0 2.36.11-2
- ubuntu/libgdk-pixbuf2.0-bin 2.36.11-2
- ubuntu/libgdk-pixbuf2.0-common 2.36.11-2
- ubuntu/libgirepository-1.0-1 1.56.1-1
- ubuntu/libglade2-0 1:2.6.4-2
- ubuntu/libglib2.0-0 2.56.4-0ubuntu0.18.04.6
- ubuntu/libglib2.0-data 2.56.4-0ubuntu0.18.04.6
- ubuntu/libgmp-dev 2:6.1.2 dfsg-2
- ubuntu/libgmp10 2:6.1.2 dfsg-2
- ubuntu/libgmpxx4ldbl 2:6.1.2 dfsg-2
- ubuntu/libgnome-2-0 2.32.1-6
- ubuntu/libgnome-keyring-common 3.12.0-1build1
- ubuntu/libgnome-keyring0 3.12.0-1build1
- ubuntu/libgnome2-common 2.32.1-6
- ubuntu/libgnomecanvas2-0 2.30.3-3
- ubuntu/libgnomecanvas2-common 2.30.3-3
- ubuntu/libgnomeui-0 2.24.5-3.2
- ubuntu/libgnomeui-common 2.24.5-3.2
- ubuntu/libgnomevfs2-0 1:2.24.4-6.1ubuntu2
- ubuntu/libgnomevfs2-common 1:2.24.4-6.1ubuntu2
- ubuntu/libgnutls30 3.5.18-1ubuntu1.4
- ubuntu/libgomp1 8.4.0-1ubuntu1~18.04
- ubuntu/libgpg-error0 1.27-6
- ubuntu/libgpm2 1.20.7-5
- ubuntu/libgraphite2-3 1.3.11-2
- ubuntu/libgraphviz-dev 2.40.1-2
- ubuntu/libgssapi-krb5-2 1.16-2ubuntu0.2
- ubuntu/libgssapi3-heimdal 7.5.0 dfsg-1
- ubuntu/libgtk2.0-0 2.24.32-1ubuntu1
- ubuntu/libgtk2.0-bin 2.24.32-1ubuntu1
- ubuntu/libgtk2.0-common 2.24.32-1ubuntu1
- ubuntu/libgts-0.7-5 0.7.6 darcs121130-4
- ubuntu/libgts-bin 0.7.6 darcs121130-4
- ubuntu/libgvc6-plugins-gtk 2.40.1-2
- ubuntu/libgvc6 2.40.1-2
- ubuntu/libgvpr2 2.40.1-2
- ubuntu/libharfbuzz0b 1.7.2-1ubuntu1
- ubuntu/libhcrypto4-heimdal 7.5.0 dfsg-1
- ubuntu/libheimbase1-heimdal 7.5.0 dfsg-1
- ubuntu/libheimntlm0-heimdal 7.5.0 dfsg-1
- ubuntu/libhogweed4 3.4-1
- ubuntu/libhx509-5-heimdal 7.5.0 dfsg-1
- ubuntu/libice6 2:1.0.9-2
- ubuntu/libicu60 60.2-3ubuntu3.1
- ubuntu/libidn2-0 2.0.4-1.1ubuntu0.2
- ubuntu/libisl19 0.19-1
- ubuntu/libitm1 8.4.0-1ubuntu1~18.04
- ubuntu/libjbig0 2.1-3.1build1
- ubuntu/libjpeg-turbo8 1.5.2-0ubuntu5.18.04.4
- ubuntu/libjpeg8 8c-2ubuntu8
- ubuntu/libjsoncpp1 1.7.4-3
- ubuntu/libk5crypto3 1.16-2ubuntu0.2
- ubuntu/libkeyutils1 1.5.9-9.2ubuntu2
- ubuntu/libkrb5-26-heimdal 7.5.0 dfsg-1
- ubuntu/libkrb5-3 1.16-2ubuntu0.2
- ubuntu/libkrb5support0 1.16-2ubuntu0.2
- ubuntu/libksba8 1.3.5-2
- ubuntu/liblab-gamut1 2.40.1-2
- ubuntu/libldap-2.4-2 2.4.45 dfsg-1ubuntu1.8
- ubuntu/libldap-common 2.4.45 dfsg-1ubuntu1.8
- ubuntu/liblldb-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/libllvm10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/liblocale-gettext-perl 1.07-3build2
- ubuntu/liblsan0 8.4.0-1ubuntu1~18.04
- ubuntu/libltdl7 2.4.6-2
- ubuntu/liblz4-1 0.0~r131-2ubuntu3
- ubuntu/liblzma5 5.2.2-1.3
- ubuntu/liblzo2-2 2.08-1.2
- ubuntu/libmodule-implementation-perl 0.09-1
- ubuntu/libmodule-runtime-perl 0.016-1
- ubuntu/libmount1 2.31.1-0.4ubuntu3.7
- ubuntu/libmpc3 1.1.0-1
- ubuntu/libmpdec2 2.4.2-1ubuntu1
- ubuntu/libmpfr-dev 4.0.1-1
- ubuntu/libmpfr6 4.0.1-1
- ubuntu/libmpx2 8.4.0-1ubuntu1~18.04
- ubuntu/libmro-compat-perl 0.13-1
- ubuntu/libnamespace-autoclean-perl 0.28-1
- ubuntu/libnamespace-clean-perl 0.27-1
- ubuntu/libncurses5 6.1-1ubuntu1.18.04
- ubuntu/libncursesw5 6.1-1ubuntu1.18.04
- ubuntu/libnettle6 3.4-1
- ubuntu/libnghttp2-14 1.30.0-1ubuntu1
- ubuntu/libnpth0 1.5-3
- ubuntu/libobjc-7-dev 7.5.0-3ubuntu1~18.04
- ubuntu/libobjc4 8.4.0-1ubuntu1~18.04
- ubuntu/libogg0 1.3.2-1
- ubuntu/libomp-10-dev 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/libomp5-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/liborbit-2-0 1:2.14.19-4
- ubuntu/libp11-kit0 0.23.9-2
- ubuntu/libpackage-stash-perl 0.37-1
- ubuntu/libpackage-stash-xs-perl 0.28-3build2
- ubuntu/libpadwalker-perl 2.3-1
- ubuntu/libpam-modules-bin 1.1.8-3.6ubuntu2.18.04.2
- ubuntu/libpam-modules 1.1.8-3.6ubuntu2.18.04.2
- ubuntu/libpam-runtime 1.1.8-3.6ubuntu2.18.04.2
- ubuntu/libpam0g 1.1.8-3.6ubuntu2.18.04.2
- ubuntu/libpango-1.0-0 1.40.14-1ubuntu0.1
- ubuntu/libpangocairo-1.0-0 1.40.14-1ubuntu0.1
- ubuntu/libpangoft2-1.0-0 1.40.14-1ubuntu0.1
- ubuntu/libparams-classify-perl 0.015-1
- ubuntu/libparams-util-perl 1.07-3build3
- ubuntu/libparams-validationcompiler-perl 0.26-1
- ubuntu/libpathplan4 2.40.1-2
- ubuntu/libpcre3 2:8.39-9
- ubuntu/libperl5.26 5.26.1-6ubuntu0.5
- ubuntu/libpixman-1-0 0.34.0-2
- ubuntu/libpng16-16 1.6.34-1ubuntu0.18.04.2
- ubuntu/libpopt0 1.16-11
- ubuntu/libprocps6 2:3.3.12-3ubuntu1.2
- ubuntu/libpsl5 0.19.1-5build1
- ubuntu/libpython-stdlib 2.7.15~rc1-1
- ubuntu/libpython2.7-minimal 2.7.17-1~18.04ubuntu1.2
- ubuntu/libpython2.7-stdlib 2.7.17-1~18.04ubuntu1.2
- ubuntu/libpython3-dev 3.6.7-1~18.04
- ubuntu/libpython3-stdlib 3.6.7-1~18.04
- ubuntu/libpython3.6-dev 3.6.9-1~18.04ubuntu1.3
- ubuntu/libpython3.6-minimal 3.6.9-1~18.04ubuntu1.3
- ubuntu/libpython3.6-stdlib 3.6.9-1~18.04ubuntu1.3
- ubuntu/libpython3.6 3.6.9-1~18.04ubuntu1.3
- ubuntu/libquadmath0 8.4.0-1ubuntu1~18.04
- ubuntu/libreadline7 7.0-3
- ubuntu/libreadonly-perl 2.050-1
- ubuntu/libref-util-perl 0.203-1
- ubuntu/libref-util-xs-perl 0.116-1
- ubuntu/librhash0 1.3.6-2
- ubuntu/libroken18-heimdal 7.5.0 dfsg-1
- ubuntu/librole-tiny-perl 2.000006-1
- ubuntu/librsvg2-2 2.40.20-2ubuntu0.2
- ubuntu/librsvg2-common 2.40.20-2ubuntu0.2
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-1
- ubuntu/libsasl2-2 2.1.27~101-g0780600 dfsg-3ubuntu2.1
- ubuntu/libsasl2-modules-db 2.1.27~101-g0780600 dfsg-3ubuntu2.1
- ubuntu/libseccomp2 2.4.3-1ubuntu3.18.04.3
- ubuntu/libselinux1 2.7-2build2
- ubuntu/libsemanage-common 2.7-2build2
- ubuntu/libsemanage1 2.7-2build2
- ubuntu/libsepol1 2.7-1
- ubuntu/libserf-1-1 1.3.9-6
- ubuntu/libsm6 2:1.2.2-1
- ubuntu/libsmartcols1 2.31.1-0.4ubuntu3.7
- ubuntu/libspecio-perl 0.42-1
- ubuntu/libsqlite3-0 3.22.0-1ubuntu0.4
- ubuntu/libss2 1.44.1-1ubuntu1.3
- ubuntu/libssl1.0.0 1.0.2n-1ubuntu5.4
- ubuntu/libssl1.1 1.1.1-1ubuntu2.1~18.04.6
- ubuntu/libstdc -7-dev 7.5.0-3ubuntu1~18.04
- ubuntu/libstdc 6 8.4.0-1ubuntu1~18.04
- ubuntu/libsub-exporter-perl 0.987-1
- ubuntu/libsub-exporter-progressive-perl 0.001013-1
- ubuntu/libsub-identify-perl 0.14-1
- ubuntu/libsub-install-perl 0.928-1
- ubuntu/libsub-name-perl 0.21-1build1
- ubuntu/libsub-quote-perl 2.005000-1
- ubuntu/libsvn1 1.9.7-4ubuntu1
- ubuntu/libsystemd0 237-3ubuntu10.43
- ubuntu/libtasn1-6 4.13-2
- ubuntu/libtdb1 1.3.15-2
- ubuntu/libthai-data 0.1.27-2
- ubuntu/libthai0 0.1.27-2
- ubuntu/libtiff5 4.0.9-5ubuntu0.3
- ubuntu/libtinfo-dev 6.1-1ubuntu1.18.04
- ubuntu/libtinfo5 6.1-1ubuntu1.18.04
- ubuntu/libtry-tiny-perl 0.30-1
- ubuntu/libtsan0 8.4.0-1ubuntu1~18.04
- ubuntu/libubsan0 7.5.0-3ubuntu1~18.04
- ubuntu/libudev1 237-3ubuntu10.43
- ubuntu/libunistring2 0.9.9-0ubuntu2
- ubuntu/libuuid1 2.31.1-0.4ubuntu3.7
- ubuntu/libuv1 1.18.0-3
- ubuntu/libvariable-magic-perl 0.62-1
- ubuntu/libvorbis0a 1.3.5-4.2
- ubuntu/libvorbisfile3 1.3.5-4.2
- ubuntu/libwebp6 0.6.1-2
- ubuntu/libwind0-heimdal 7.5.0 dfsg-1
- ubuntu/libx11-6 2:1.6.4-3ubuntu0.3
- ubuntu/libx11-data 2:1.6.4-3ubuntu0.3
- ubuntu/libx32asan4 7.5.0-3ubuntu1~18.04
- ubuntu/libx32atomic1 8.4.0-1ubuntu1~18.04
- ubuntu/libx32cilkrts5 7.5.0-3ubuntu1~18.04
- ubuntu/libx32gcc-7-dev 7.5.0-3ubuntu1~18.04
- ubuntu/libx32gcc1 1:8.4.0-1ubuntu1~18.04
- ubuntu/libx32gomp1 8.4.0-1ubuntu1~18.04
- ubuntu/libx32itm1 8.4.0-1ubuntu1~18.04
- ubuntu/libx32quadmath0 8.4.0-1ubuntu1~18.04
- ubuntu/libx32stdc 6 8.4.0-1ubuntu1~18.04
- ubuntu/libx32ubsan0 7.5.0-3ubuntu1~18.04
- ubuntu/libxau6 1:1.0.8-1ubuntu1
- ubuntu/libxaw7 2:1.0.13-1
- ubuntu/libxcb-render0 1.13-2~ubuntu18.04
- ubuntu/libxcb-shm0 1.13-2~ubuntu18.04
- ubuntu/libxcb1 1.13-2~ubuntu18.04
- ubuntu/libxcomposite1 1:0.4.4-2
- ubuntu/libxcursor1 1:1.1.15-1
- ubuntu/libxdamage1 1:1.1.4-3
- ubuntu/libxdmcp6 1:1.1.2-3
- ubuntu/libxdot4 2.40.1-2
- ubuntu/libxext6 2:1.3.3-1
- ubuntu/libxfixes3 1:5.0.3-1
- ubuntu/libxi6 2:1.7.9-1
- ubuntu/libxinerama1 2:1.1.3-1
- ubuntu/libxml2 2.9.4 dfsg1-6.1ubuntu1.3
- ubuntu/libxmu6 2:1.1.2-2
- ubuntu/libxpm4 1:3.5.12-1
- ubuntu/libxrandr2 2:1.5.1-1
- ubuntu/libxrender1 1:0.9.10-1
- ubuntu/libxt6 1:1.1.5-1
- ubuntu/libyaml-0-2 0.1.7-2ubuntu3
- ubuntu/libz3-4 4.4.1-0.3build4
- ubuntu/libz3-dev 4.4.1-0.3build4
- ubuntu/libzstd1 1.3.3 dfsg-2ubuntu1.1
- ubuntu/linux-libc-dev 4.15.0-124.127
- ubuntu/lld-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/lldb-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/llvm-10-dev 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/llvm-10-runtime 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/llvm-10-tools 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/llvm-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/login 1:4.5-1ubuntu2
- ubuntu/lsb-base 9.20170808ubuntu1
- ubuntu/lsb-release 9.20170808ubuntu1
- ubuntu/make 4.1-9.1ubuntu1
- ubuntu/manpages-dev 4.15-1
- ubuntu/manpages 4.15-1
- ubuntu/mawk 1.3.3-17ubuntu3
- ubuntu/mercurial-common 4.5.3-1ubuntu2.1
- ubuntu/mercurial 4.5.3-1ubuntu2.1
- ubuntu/mime-support 3.60ubuntu1
- ubuntu/mount 2.31.1-0.4ubuntu3.7
- ubuntu/multiarch-support 2.27-3ubuntu1.3
- ubuntu/ncurses-base 6.1-1ubuntu1.18.04
- ubuntu/ncurses-bin 6.1-1ubuntu1.18.04
- ubuntu/netbase 5.4
- ubuntu/ninja-build 1.8.2-1
- ubuntu/openssh-client 1:7.6p1-4ubuntu0.3
- ubuntu/openssl 1.1.1-1ubuntu2.1~18.04.6
- ubuntu/passwd 1:4.5-1ubuntu2
- ubuntu/patch 2.7.6-2ubuntu1.1
- ubuntu/perl-base 5.26.1-6ubuntu0.5
- ubuntu/perl-modules-5.26 5.26.1-6ubuntu0.5
- ubuntu/perl 5.26.1-6ubuntu0.5
- ubuntu/pinentry-curses 1.1.0-1
- ubuntu/powermgmt-base 1.33
- ubuntu/procps 2:3.3.12-3ubuntu1.2
- ubuntu/psmisc 23.1-1ubuntu0.1
- ubuntu/python-apt-common 1.6.5ubuntu0.3
- ubuntu/python-bzrlib 2.7.0 bzr6622-10
- ubuntu/python-configobj 5.0.6-2
- ubuntu/python-minimal 2.7.15~rc1-1
- ubuntu/python-pip-whl 9.0.1-2.3~ubuntu1.18.04.4
- ubuntu/python-six 1.11.0-2
- ubuntu/python2.7-minimal 2.7.17-1~18.04ubuntu1.2
- ubuntu/python2.7 2.7.17-1~18.04ubuntu1.2
- ubuntu/python3-apt 1.6.5ubuntu0.3
- ubuntu/python3-asn1crypto 0.24.0-1
- ubuntu/python3-cffi-backend 1.11.5-1
- ubuntu/python3-crypto 2.6.1-8ubuntu2
- ubuntu/python3-cryptography 2.1.4-1ubuntu1.4
- ubuntu/python3-dbus 1.2.6-1
- ubuntu/python3-dev 3.6.7-1~18.04
- ubuntu/python3-distutils 3.6.9-1~18.04
- ubuntu/python3-gi 3.26.1-2ubuntu1
- ubuntu/python3-idna 2.6-1
- ubuntu/python3-keyring 10.6.0-1
- ubuntu/python3-keyrings.alt 3.0-1
- ubuntu/python3-lib2to3 3.6.9-1~18.04
- ubuntu/python3-lldb-10 1:10.0.1~ 20201112101950 ef32c611aa2-1~exp1~20201112092551.202
- ubuntu/python3-minimal 3.6.7-1~18.04
- ubuntu/python3-pip 9.0.1-2.3~ubuntu1.18.04.4
- ubuntu/python3-pkg-resources 39.0.1-2
- ubuntu/python3-pygments 2.2.0 dfsg-1
- ubuntu/python3-pygraphviz 1.4~rc1-1build2.1
- ubuntu/python3-secretstorage 2.3.1-2
- ubuntu/python3-setuptools 39.0.1-2
- ubuntu/python3-six 1.11.0-2
- ubuntu/python3-software-properties 0.96.24.32.14
- ubuntu/python3-wheel 0.30.0-0.2
- ubuntu/python3-xdg 0.25-4ubuntu1
- ubuntu/python3-yaml 3.12-1build2
- ubuntu/python3.6-dev 3.6.9-1~18.04ubuntu1.3
- ubuntu/python3.6-minimal 3.6.9-1~18.04ubuntu1.3
- ubuntu/python3.6 3.6.9-1~18.04ubuntu1.3
- ubuntu/python3 3.6.7-1~18.04
- ubuntu/python 2.7.15~rc1-1
- ubuntu/readline-common 7.0-3
- ubuntu/rsync 3.1.2-2.1ubuntu1.1
- ubuntu/sensible-utils 0.0.12
- ubuntu/shared-mime-info 1.9-2
- ubuntu/software-properties-common 0.96.24.32.14
- ubuntu/sound-theme-freedesktop 0.8-2ubuntu1
- ubuntu/subversion 1.9.7-4ubuntu1
- ubuntu/sudo 1.8.21p2-3ubuntu1.3
- ubuntu/sysvinit-utils 2.88dsf-59.10ubuntu1
- ubuntu/tar 1.29b-2ubuntu0.1
- ubuntu/ubuntu-keyring 2018.09.18.1~18.04.0
- ubuntu/ubuntu-mono 16.10 18.04.20181005-0ubuntu1
- ubuntu/ucf 3.0038
- ubuntu/unattended-upgrades 1.1ubuntu1.18.04.14
- ubuntu/unzip 6.0-21ubuntu1
- ubuntu/util-linux 2.31.1-0.4ubuntu3.7
- ubuntu/vim-common 2:8.0.1453-1ubuntu1.4
- ubuntu/vim-runtime 2:8.0.1453-1ubuntu1.4
- ubuntu/vim 2:8.0.1453-1ubuntu1.4
- ubuntu/wget 1.19.4-1ubuntu2.2
- ubuntu/x11-common 1:7.7 19ubuntu7.1
- ubuntu/xdg-user-dirs 0.17-1ubuntu1
- ubuntu/xxd 2:8.0.1453-1ubuntu1.4
- ubuntu/xz-utils 5.2.2-1.3
- ubuntu/zlib1g-dev 1:1.2.11.dfsg-0ubuntu2
- ubuntu/zlib1g 1:1.2.11.dfsg-0ubuntu2
- System.Runtime.Extensions 4.3.0
- System.Runtime.Handles 4.3.0
- 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.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
- z3:z3 *