Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

seahorn/verify-openzeppelin : anise

Latest release: over 3 years ago - 37 downloads - 1,251 dependencies

JSON

Dependencies

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/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/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/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/libpfm4 4.9.0-2
ubuntu/libpipeline1 1.5.0-1
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/sed 4.4-2
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/time 1.7-25.1build1
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

node 10.24.1

z3:z3 *

@ethersproject/abi 5.0.7
@ethersproject/abstract-provider 5.4.1
@ethersproject/abstract-signer 5.4.1
@ethersproject/address 5.4.0
@ethersproject/base64 5.4.0
@ethersproject/bignumber 5.4.1
@ethersproject/bytes 5.4.0
@ethersproject/constants 5.4.0
@ethersproject/hash 5.4.0
@ethersproject/keccak256 5.4.0
@ethersproject/logger 5.4.1
@ethersproject/networks 5.4.2
@ethersproject/properties 5.4.1
@ethersproject/rlp 5.4.0
@ethersproject/signing-key 5.4.0
@ethersproject/strings 5.4.0
@ethersproject/transactions 5.4.0
@ethersproject/web 5.4.0
@my-scope/package-a 0.0.0
@my-scope/package-b 0.0.0
1to2 1.0.0
JSONStream 1.3.5
abbrev 1.1.1
agent-base 4.2.1
agent-base 4.3.0
agentkeepalive 3.5.2
ajv 6.12.6
ansi-align 2.0.0
ansi-regex 2.1.1
ansi-regex 3.0.0
ansi-regex 4.1.0
ansi-styles 3.2.1
ansicolors 0.3.2
ansistyles 0.1.3
aproba 1.2.0
aproba 2.0.0
archy 1.0.0
are-we-there-yet 1.1.4
array-back 3.1.0
array-back 4.0.2
asap 2.0.6
asn1 0.2.4
assert-plus 1.0.0
asynckit 0.4.0
aws-sign2 0.7.0
aws4 1.8.0
balanced-match 1.0.0
balanced-match 1.0.2
bcrypt-pbkdf 1.0.2
big-integer 1.6.48
bin-links 1.1.8
bindings 1.5.0
bluebird 3.5.5
bn.js 4.11.6
bn.js 4.12.0
boxen 1.3.0
brace-expansion 1.1.11
braces 3.0.2
brorand 1.1.0
buffer-from 1.0.0
buffer-to-arraybuffer 0.0.5
builtins 1.0.3
byline 5.0.0
byte-size 5.0.1
cacache 12.0.3
call-limit 1.1.1
camelcase 3.0.0
camelcase 4.1.0
camelcase 5.3.1
capture-stack-trace 1.0.0
caseless 0.12.0
chalk 2.4.1
chalk 2.4.2
chownr 1.1.4
ci-info 1.6.0
ci-info 2.0.0
cidr-regex 2.0.10
cli-boxes 1.0.0
cli-columns 3.1.2
cli-table3 0.5.1
cliui 3.2.0
cliui 4.1.0
cliui 5.0.0
clone 1.0.4
cmd-shim 3.0.3
code-point-at 1.1.0
color-convert 1.9.1
color-convert 1.9.3
color-name 1.1.3
colors 1.3.3
columnify 1.5.4
combined-stream 1.0.6
command-exists 1.2.9
command-line-args 5.1.1
command-line-usage 6.1.1
commander 3.0.2
concat-map 0.0.1
concat-stream 1.6.2
config-chain 1.1.12
configstore 3.1.5
console-control-strings 1.1.0
copy-concurrently 1.0.5
core-util-is 1.0.2
create-error-class 3.0.2
cross-spawn 5.1.0
cross-spawn 6.0.5
crypto-random-string 1.0.0
cyclist 0.2.2
dashdash 1.14.1
debug 3.1.0
debuglog 1.0.1
decamelize 1.2.0
decode-uri-component 0.2.0
decompress-response 3.3.0
deep-extend 0.6.0
defaults 1.0.3
define-properties 1.1.3
delayed-stream 1.0.0
delegates 1.0.0
detect-file 1.0.0
detect-indent 5.0.0
detect-newline 2.1.0
dezalgo 1.0.3
dom-walk 0.1.2
dot-prop 4.2.1
dotenv 5.0.1
duplexer3 0.1.4
duplexify 3.6.0
ecc-jsbn 0.1.2
editor 1.0.0
elliptic 6.5.4
emoji-regex 7.0.3
encoding 0.1.12
end-of-stream 1.4.1
end-of-stream 1.4.4
env-paths 2.2.0
err-code 1.1.2
errno 0.1.7
error-ex 1.3.2
es-abstract 1.12.0
es-to-primitive 1.2.0
es6-promise 4.2.8
es6-promisify 5.0.0
escape-string-regexp 1.0.5
eth-lib 0.2.8
eth-scribble 0.5.3
ethereum-bloom-filters 1.0.10
ethjs-unit 0.1.6
execa 0.7.0
execa 1.0.0
expand-tilde 2.0.2
extend 3.0.2
extsprintf 1.3.0
fast-deep-equal 3.1.3
fast-json-stable-stringify 2.0.0
figgy-pudding 3.5.1
file-uri-to-path 1.0.0
fill-range 7.0.1
find-npm-prefix 1.0.2
find-replace 3.0.0
find-up 1.1.2
find-up 2.1.0
find-up 3.0.0
findup-sync 4.0.0
flush-write-stream 1.0.3
follow-redirects 1.14.4
forever-agent 0.6.1
form-data 2.3.2
from2 1.3.0
from2 2.3.0
fs-extra 0.30.0
fs-extra 10.0.0
fs-minipass 1.2.7
fs-vacuum 1.2.10
fs-write-stream-atomic 1.0.10
fs.realpath 1.0.0
function-bind 1.1.1
gauge 2.7.4
genfun 5.0.0
gentle-fs 2.3.1
get-caller-file 1.0.3
get-caller-file 2.0.5
get-stream 3.0.0
get-stream 4.1.0
getpass 0.1.7
glob 7.1.6
glob 7.1.7
global-dirs 0.1.1
global-modules 1.0.0
global-prefix 1.0.2
global 4.4.0
got 6.7.1
graceful-fs 4.2.4
graceful-fs 4.2.8
har-schema 2.0.0
har-validator 5.1.5
has-flag 3.0.0
has-symbols 1.0.0
has-unicode 2.0.1
has 1.0.3
hash.js 1.1.7
hmac-drbg 1.0.1
homedir-polyfill 1.0.3
hosted-git-info 2.8.8
hosted-git-info 2.8.9
http-cache-semantics 3.8.1
http-proxy-agent 2.1.0
http-signature 1.2.0
https-proxy-agent 2.2.4
humanize-ms 1.2.1
iconv-lite 0.4.23
iferr 0.1.5
iferr 1.0.2
ignore-walk 3.0.3
import-lazy 2.1.0
imurmurhash 0.1.4
infer-owner 1.0.4
inflight 1.0.6
inherits 2.0.4
ini 1.3.8
init-package-json 1.10.3
invert-kv 1.0.0
invert-kv 2.0.0
ip-regex 2.1.0
ip 1.1.5
is-arrayish 0.2.1
is-callable 1.1.4
is-ci 1.2.1
is-cidr 3.0.0
is-core-module 2.6.0
is-date-object 1.0.1
is-extglob 2.1.1
is-fullwidth-code-point 1.0.0
is-fullwidth-code-point 2.0.0
is-function 1.0.2
is-glob 4.0.1
is-hex-prefixed 1.0.0
is-installed-globally 0.1.0
is-npm 1.0.0
is-number 7.0.0
is-obj 1.0.1
is-path-inside 1.0.1
is-redirect 1.0.0
is-regex 1.0.4
is-retry-allowed 1.2.0
is-stream 1.1.0
is-symbol 1.0.2
is-typedarray 1.0.0
is-utf8 0.2.1
is-windows 1.0.2
isarray 0.0.1
isarray 1.0.0
isexe 2.0.0
isstream 0.1.2
js-sha3 0.5.7
js-sha3 0.8.0
jsbn 0.1.1
jsel 1.1.6
json-parse-better-errors 1.0.2
json-schema-traverse 0.4.1
json-schema 0.2.3
json-stringify-safe 5.0.1
jsonfile 2.4.0
jsonfile 6.1.0
jsonparse 1.3.1
jsprim 1.4.1
keccak 1.4.0
klaw 1.3.1
latest-version 3.1.0
lazy-property 1.0.0
lcid 1.0.0
lcid 2.0.0
libcipm 4.0.8
libnpm 3.0.1
libnpmaccess 3.0.2
libnpmconfig 1.2.1
libnpmhook 5.0.3
libnpmorg 1.0.1
libnpmpublish 1.1.2
libnpmsearch 2.0.2
libnpmteam 1.0.2
libnpx 10.2.4
load-json-file 1.1.0
locate-path 2.0.0
locate-path 3.0.0
lock-verify 2.1.0
lockfile 1.0.4
lodash._baseindexof 3.1.0
lodash._baseuniq 4.6.0
lodash._bindcallback 3.0.1
lodash._cacheindexof 3.0.2
lodash._createcache 3.1.2
lodash._createset 4.0.3
lodash._getnative 3.9.1
lodash._root 3.0.1
lodash.assign 4.2.0
lodash.camelcase 4.3.0
lodash.clonedeep 4.5.0
lodash.restparam 3.6.1
lodash.union 4.6.0
lodash.uniq 4.5.0
lodash.without 4.4.0
logplease 1.2.15
lowercase-keys 1.0.1
lru-cache 4.1.5
lru-cache 5.1.1
lru-cache 6.0.0
make-dir 1.3.0
make-fetch-happen 5.0.2
map-age-cleaner 0.1.3
meant 1.0.2
mem 4.3.0
memorystream 0.3.1
micromatch 4.0.4
mime-db 1.35.0
mime-types 2.1.19
mimic-fn 2.1.0
mimic-response 1.0.1
min-document 2.19.0
minimalistic-assert 1.0.1
minimalistic-crypto-utils 1.0.1
minimatch 3.0.4
minimist 1.2.5
minipass 2.9.0
minizlib 1.3.3
mississippi 3.0.0
mkdirp 0.5.5
monorepo-symlink-test 0.0.0
move-concurrently 1.0.1
ms 2.0.0
ms 2.1.1
mute-stream 0.0.7
mylib 0.0.0
nan 2.15.0
nice-try 1.0.5
node-fetch-npm 2.0.2
node-gyp 5.1.0
nopt 4.0.3
normalize-package-data 2.5.0
npm-audit-report 1.3.3
npm-bundled 1.1.1
npm-cache-filename 1.0.2
npm-cli-docs 0.1.0
npm-init 0.0.0
npm-install-checks 3.0.2
npm-lifecycle 3.1.5
npm-logical-tree 1.2.1
npm-normalize-package-bin 1.0.1
npm-package-arg 6.1.1
npm-packlist 1.4.8
npm-pick-manifest 3.0.2
npm-profile 4.0.4
npm-registry-fetch 4.0.7
npm-run-path 2.0.2
npm-user-validate 1.0.1
npm 6.14.12
npmlog 4.1.2
number-is-nan 1.0.1
number-to-bn 1.7.0
nvm 0.30.0
oauth-sign 0.9.0
object-assign 4.1.1
object-keys 1.0.12
object.getownpropertydescriptors 2.0.3
once 1.4.0
opener 1.5.2
os-homedir 1.0.2
os-locale 1.4.0
os-locale 3.1.0
os-tmpdir 1.0.2
osenv 0.1.5
p-defer 1.0.0
p-finally 1.0.0
p-is-promise 2.1.0
p-limit 1.3.0
p-limit 2.2.0
p-limit 2.3.0
p-locate 2.0.0
p-locate 3.0.0
p-try 1.0.0
p-try 2.2.0
package-json 4.0.1
pacote 9.5.12
parallel-transform 1.1.0
parse-headers 2.0.4
parse-json 2.2.0
parse-passwd 1.0.0
path-exists 2.1.0
path-exists 3.0.0
path-is-absolute 1.0.1
path-is-inside 1.0.2
path-key 2.0.1
path-parse 1.0.6
path-parse 1.0.7
path-type 1.1.0
performance-now 2.1.0
picomatch 2.3.0
pify 2.3.0
pify 3.0.0
pinkie-promise 2.0.1
pinkie 2.0.4
prepend-http 1.0.4
process-nextick-args 2.0.0
process 0.11.10
promise-inflight 1.0.1
promise-retry 1.1.1
promzard 0.3.0
proto-list 1.2.4
protoduck 5.0.1
prr 1.0.1
pseudomap 1.0.2
psl 1.1.29
pump 2.0.1
pump 3.0.0
pumpify 1.5.1
punycode 1.4.1
punycode 2.1.1
qrcode-terminal 0.12.0
qs 6.5.2
query-string 5.1.1
query-string 6.8.2
qw 1.0.1
randombytes 2.1.0
rc 1.2.8
read-cmd-shim 1.0.5
read-installed 4.0.3
read-package-json 2.1.1
read-package-tree 5.3.1
read-pkg-up 1.0.1
read-pkg 1.1.0
read 1.0.7
readable-stream 1.1.14
readable-stream 2.3.6
readable-stream 3.6.0
readdir-scoped-modules 1.1.0
reduce-flatten 2.0.0
registry-auth-token 3.4.0
registry-url 3.1.0
request 2.88.0
require-directory 2.1.1
require-from-string 1.2.1
require-from-string 2.0.2
require-main-filename 1.0.1
require-main-filename 2.0.0
resolve-dir 1.0.1
resolve-from 4.0.0
resolve 1.10.0
resolve 1.20.0
retry 0.10.1
retry 0.12.0
rimraf 2.7.1
run-queue 1.0.3
safe-buffer 5.1.2
safe-buffer 5.2.0
safe-buffer 5.2.1
safer-buffer 2.1.2
semver-diff 2.1.0
semver 5.7.1
semver 7.3.5
set-blocking 2.0.0
sha 3.0.0
shebang-command 1.2.0
shebang-regex 1.0.0
signal-exit 3.0.2
signal-exit 3.0.4
simple-concat 1.0.1
simple-get 2.8.1
slide 1.1.6
smart-buffer 4.1.0
socks-proxy-agent 4.0.2
socks 2.3.3
solc-0.8.1-fixed 0.8.1
solc-typed-ast 5.0.5
solc 0.4.13
solc 0.4.14
solc 0.4.15
solc 0.4.16
solc 0.4.17
solc 0.4.18
solc 0.4.19
solc 0.4.20
solc 0.4.21
solc 0.4.22
solc 0.4.23
solc 0.4.24
solc 0.4.25
solc 0.4.26
solc 0.5.0
solc 0.5.1
solc 0.5.10
solc 0.5.11
solc 0.5.12
solc 0.5.13
solc 0.5.14
solc 0.5.15
solc 0.5.16
solc 0.5.17
solc 0.5.2
solc 0.5.3
solc 0.5.4
solc 0.5.5
solc 0.5.6
solc 0.5.7
solc 0.5.8
solc 0.5.9
solc 0.6.0
solc 0.6.1
solc 0.6.10
solc 0.6.11
solc 0.6.12
solc 0.6.2
solc 0.6.3
solc 0.6.4
solc 0.6.5
solc 0.6.6
solc 0.6.7
solc 0.6.8
solc 0.6.9
solc 0.7.0
solc 0.7.1
solc 0.7.2
solc 0.7.3
solc 0.7.4
solc 0.7.5
solc 0.7.6
solc 0.8.0
solc 0.8.2
solc 0.8.3
solc 0.8.4
solc 0.8.5
solc 0.8.6
sorted-object 2.0.1
sorted-union-stream 2.1.3
spdx-correct 3.0.0
spdx-correct 3.1.1
spdx-exceptions 2.1.0
spdx-exceptions 2.3.0
spdx-expression-parse 3.0.0
spdx-expression-parse 3.0.1
spdx-license-ids 3.0.10
spdx-license-ids 3.0.5
split-on-first 1.1.0
src-location 1.1.0
sshpk 1.14.2
ssri 6.0.1
stream-each 1.2.2
stream-iterate 1.2.0
stream-shift 1.0.0
strict-uri-encode 1.1.0
strict-uri-encode 2.0.0
string-width 1.0.2
string-width 2.1.1
string-width 3.1.0
string_decoder 0.10.31
string_decoder 1.1.1
string_decoder 1.3.0
stringify-package 1.0.1
strip-ansi 3.0.1
strip-ansi 4.0.0
strip-ansi 5.2.0
strip-bom 2.0.0
strip-eof 1.0.0
strip-hex-prefix 1.0.0
strip-json-comments 2.0.1
supports-color 5.4.0
supports-color 5.5.0
table-layout 1.0.2
tar 4.4.13
term-size 1.2.0
test-npmlink 0.0.1
text-table 0.2.0
through2 2.0.3
through 2.3.8
timed-out 4.0.1
tiny-relative-date 1.3.0
tmp 0.0.33
to-regex-range 5.0.1
tough-cookie 2.4.3
tunnel-agent 0.6.0
tweetnacl 0.14.5
typedarray 0.0.6
typical 4.0.0
typical 5.2.0
uid-number 0.0.6
umask 1.1.0
unique-filename 1.1.1
unique-slug 2.0.0
unique-string 1.0.0
universalify 2.0.0
unpipe 1.0.0
unzip-response 2.0.1
update-notifier 2.5.0
uri-js 4.4.0
url-parse-lax 1.0.0
url-set-query 1.0.0
utf8 3.0.0
util-deprecate 1.0.2
util-extend 1.0.3
util-promisify 2.1.0
uuid 3.3.3
validate-npm-package-license 3.0.4
validate-npm-package-name 3.0.0
verror 1.10.0
wcwidth 1.0.1
web3-eth-abi 1.5.2
web3-utils 1.5.2
which-module 1.0.0
which-module 2.0.0
which 1.3.1
wide-align 1.1.2
widest-line 2.0.1
window-size 0.2.0
wordwrapjs 4.0.1
worker-farm 1.7.0
wrap-ansi 2.1.0
wrap-ansi 5.1.0
wrappy 1.0.2
write-file-atomic 2.4.3
xdg-basedir 3.0.0
xhr-request-promise 0.1.3
xhr-request 1.1.0
xhr 2.6.0
xtend 4.0.1
xtend 4.0.2
y18n 3.2.2
y18n 4.0.1
y18n 4.0.3
yallist 2.1.2
yallist 3.0.3
yallist 4.0.0
yargs-parser 13.1.2
yargs-parser 15.0.1
yargs-parser 2.4.1
yargs-parser 9.0.2
yargs 11.1.1
yargs 13.3.2
yargs 14.2.3
yargs 4.8.1

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

OutputCheck 0.4.1
PyGObject 3.26.1
PyYAML 3.12
Pygments 2.2.0
SecretStorage 2.3.1
argparse 1.2.1
asn1crypto 0.24.0
bzr 2.8.0dev1
configobj 5.0.6
cryptography 2.1.4
decorator 4.4.2
idna 2.6
keyring 10.6.0
keyrings.alt 3.0
lit 0.11.0.post1
mercurial 4.5.3
networkx 2.5
pip 9.0.1
pycrypto 2.6.1
pygraphviz 1.4rc1
python-apt 1.6.5 ubuntu0.3
pyxdg 0.25
setuptools 39.0.1
six 1.11.0
unattended-upgrades 0.1
wheel 0.30.0
wsgiref 0.1.2