xenial | seahorn/crabllvm-build-llvm8

ubuntu/adduser 3.113 nmu3ubuntu4

ubuntu/apt 1.2.31

ubuntu/autoconf 2.69-9

ubuntu/automake 1:1.15-4ubuntu1

ubuntu/autotools-dev 20150820.1

ubuntu/base-files 9.4ubuntu4.8

ubuntu/base-passwd 3.5.39

ubuntu/bash 4.3-14ubuntu1.2

ubuntu/binutils 2.26.1-1ubuntu1~16.04.8

ubuntu/bsdutils 1:2.27.1-6ubuntu3.6

ubuntu/build-essential 12.1ubuntu2

ubuntu/bzip2 1.0.6-8

ubuntu/bzr 2.7.0-2ubuntu3.1

ubuntu/ca-certificates 20170717~16.04.2

ubuntu/cmake-data 3.5.1-1ubuntu3

ubuntu/cmake 3.5.1-1ubuntu3

ubuntu/comerr-dev 2.1-1.42.13-1ubuntu1

ubuntu/coreutils 8.25-2ubuntu3~16.04

ubuntu/cpp-5 5.5.0-12ubuntu1~16.04

ubuntu/cpp 4:5.3.1-1ubuntu1

ubuntu/cron 3.0pl1-128ubuntu2

ubuntu/curl 7.47.0-1ubuntu2.12

ubuntu/dash 0.5.8-2.1ubuntu2

ubuntu/debconf 1.5.58ubuntu1

ubuntu/debianutils 4.7

ubuntu/dh-python 2.20151103ubuntu1.1

ubuntu/diffutils 1:3.3-3

ubuntu/distro-info-data 0.28ubuntu0.11

ubuntu/dpkg-dev 1.18.4ubuntu1.5

ubuntu/dpkg 1.18.4ubuntu1.5

ubuntu/e2fslibs 1.42.13-1ubuntu1

ubuntu/e2fsprogs 1.42.13-1ubuntu1

ubuntu/file 1:5.25-2ubuntu1.2

ubuntu/findutils 4.6.0 git 20160126-2

ubuntu/fontconfig-config 2.11.94-0ubuntu1.1

ubuntu/fontconfig 2.11.94-0ubuntu1.1

ubuntu/fonts-dejavu-core 2.35-1

ubuntu/fonts-liberation 1.07.4-1

ubuntu/g -5 5.5.0-12ubuntu1~16.04

ubuntu/g 4:5.3.1-1ubuntu1

ubuntu/gcc-5-base 5.5.0-12ubuntu1~16.04

ubuntu/gcc-5 5.5.0-12ubuntu1~16.04

ubuntu/gcc-6-base 6.0.1-0ubuntu1

ubuntu/gcc-7-base 7.4.0-1ubuntu1~16.04~ppa1

ubuntu/gcc-8-base 8.1.0-5ubuntu1~16.04

ubuntu/gcc 4:5.3.1-1ubuntu1

ubuntu/geoip-bin 1.6.9-1

ubuntu/gir1.2-freedesktop 1.46.0-3ubuntu1

ubuntu/gir1.2-gdkpixbuf-2.0 2.32.2-1ubuntu1.6

ubuntu/gir1.2-glib-2.0 1.46.0-3ubuntu1

ubuntu/gir1.2-rsvg-2.0 2.40.13-3

ubuntu/git-man 1:2.7.4-0ubuntu1.6

ubuntu/git 1:2.7.4-0ubuntu1.6

ubuntu/gnupg 1.4.20-1ubuntu3.3

ubuntu/gpgv 1.4.20-1ubuntu3.3

ubuntu/graphviz 2.38.0-12ubuntu2.1

ubuntu/grep 2.25-1~16.04.1

ubuntu/gzip 1.6-4ubuntu1

ubuntu/hicolor-icon-theme 0.15-0ubuntu1.1

ubuntu/hostname 3.16ubuntu2

ubuntu/icu-devtools 55.1-7ubuntu0.4

ubuntu/imagemagick-6.q16 8:6.8.9.9-7ubuntu5.13

ubuntu/imagemagick-common 8:6.8.9.9-7ubuntu5.13

ubuntu/imagemagick 8:6.8.9.9-7ubuntu5.13

ubuntu/init-system-helpers 1.29ubuntu4

ubuntu/init 1.29ubuntu4

ubuntu/initscripts 2.88dsf-59.3ubuntu2

ubuntu/insserv 1.14.0-5ubuntu3

ubuntu/iso-codes 3.65-1

ubuntu/krb5-multidev 1.13.2 dfsg-5ubuntu2.1

ubuntu/libacl1 2.2.52-3

ubuntu/libapparmor1 2.10.95-0ubuntu2.10

ubuntu/libapr1 1.5.2-3

ubuntu/libaprutil1 1.5.4-1build1

ubuntu/libapt-inst2.0 1.2.31

ubuntu/libapt-pkg5.0 1.2.31

ubuntu/libarchive13 3.1.2-11ubuntu0.16.04.6

ubuntu/libasan2 5.5.0-12ubuntu1~16.04

ubuntu/libasn1-8-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libatk1.0-0 2.18.0-1

ubuntu/libatk1.0-data 2.18.0-1

ubuntu/libatomic1 8.1.0-5ubuntu1~16.04

ubuntu/libattr1 1:2.4.47-2

ubuntu/libaudit-common 1:2.4.5-1ubuntu2.1

ubuntu/libaudit1 1:2.4.5-1ubuntu2.1

ubuntu/libavahi-client3 0.6.32~rc dfsg-1ubuntu2.3

ubuntu/libavahi-common-data 0.6.32~rc dfsg-1ubuntu2.3

ubuntu/libavahi-common3 0.6.32~rc dfsg-1ubuntu2.3

ubuntu/libblkid1 2.27.1-6ubuntu3.6

ubuntu/libbsd0 0.8.2-1

ubuntu/libbz2-1.0 1.0.6-8

ubuntu/libbz2-dev 1.0.6-8

ubuntu/libc-bin 2.23-0ubuntu11

ubuntu/libc-dev-bin 2.23-0ubuntu11

ubuntu/libc6-dev 2.23-0ubuntu11

ubuntu/libc6 2.23-0ubuntu11

ubuntu/libcairo-gobject2 1.14.6-1

ubuntu/libcairo-script-interpreter2 1.14.6-1

ubuntu/libcairo2-dev 1.14.6-1

ubuntu/libcairo2 1.14.6-1

ubuntu/libcap2-bin 1:2.24-12

ubuntu/libcap2 1:2.24-12

ubuntu/libcc1-0 8.1.0-5ubuntu1~16.04

ubuntu/libcdt5 2.38.0-12ubuntu2.1

ubuntu/libcgraph6 2.38.0-12ubuntu2.1

ubuntu/libcilkrts5 7.4.0-1ubuntu1~16.04~ppa1

ubuntu/libcomerr2 1.42.13-1ubuntu1

ubuntu/libcroco3 0.6.11-1

ubuntu/libcryptsetup4 2:1.6.6-5ubuntu2.1

ubuntu/libcups2 2.1.3-4ubuntu0.7

ubuntu/libcurl3-gnutls 7.47.0-1ubuntu2.12

ubuntu/libcurl3 7.47.0-1ubuntu2.12

ubuntu/libcurl4-openssl-dev 7.47.0-1ubuntu2.12

ubuntu/libdatrie1 0.2.10-2

ubuntu/libdb-dev 1:5.3.21~exp1ubuntu2

ubuntu/libdb5.3-dev 5.3.28-11ubuntu0.1

ubuntu/libdb5.3 5.3.28-11ubuntu0.1

ubuntu/libdbus-1-3 1.10.6-1ubuntu3.3

ubuntu/libdbus-glib-1-2 0.106-1

ubuntu/libdebconfclient0 0.198ubuntu1

ubuntu/libdevmapper1.02.1 2:1.02.110-1ubuntu10

ubuntu/libdjvulibre-dev 3.5.27.1-5

ubuntu/libdjvulibre-text 3.5.27.1-5

ubuntu/libdjvulibre21 3.5.27.1-5

ubuntu/libdpkg-perl 1.18.4ubuntu1.5

ubuntu/libedit2 3.1-20150325-1ubuntu2

ubuntu/libelf1 0.165-3ubuntu1.1

ubuntu/liberror-perl 0.17-1.2

ubuntu/libevent-2.0-5 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libevent-core-2.0-5 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libevent-dev 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libevent-extra-2.0-5 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libevent-openssl-2.0-5 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libevent-pthreads-2.0-5 2.0.21-stable-2ubuntu0.16.04.1

ubuntu/libexif-dev 0.6.21-2

ubuntu/libexif12 0.6.21-2

ubuntu/libexpat1-dev 2.1.0-7ubuntu0.16.04.3

ubuntu/libexpat1 2.1.0-7ubuntu0.16.04.3

ubuntu/libfdisk1 2.27.1-6ubuntu3.6

ubuntu/libffi-dev 3.2.1-4

ubuntu/libffi6 3.2.1-4

ubuntu/libfftw3-double3 3.3.4-2ubuntu1

ubuntu/libfontconfig1-dev 2.11.94-0ubuntu1.1

ubuntu/libfontconfig1 2.11.94-0ubuntu1.1

ubuntu/libfreetype6-dev 2.6.1-0.1ubuntu2.3

ubuntu/libfreetype6 2.6.1-0.1ubuntu2.3

ubuntu/libgcc-5-dev 5.5.0-12ubuntu1~16.04

ubuntu/libgcc1 1:6.0.1-0ubuntu1

ubuntu/libgcrypt20 1.6.5-2ubuntu0.5

ubuntu/libgd3 2.1.1-4ubuntu0.16.04.11

ubuntu/libgdbm-dev 1.8.3-13.1

ubuntu/libgdbm3 1.8.3-13.1

ubuntu/libgdk-pixbuf2.0-0 2.32.2-1ubuntu1.6

ubuntu/libgdk-pixbuf2.0-common 2.32.2-1ubuntu1.6

ubuntu/libgdk-pixbuf2.0-dev 2.32.2-1ubuntu1.6

ubuntu/libgeoip-dev 1.6.9-1

ubuntu/libgeoip1 1.6.9-1

ubuntu/libgirepository-1.0-1 1.46.0-3ubuntu1

ubuntu/libglib2.0-0 2.48.2-0ubuntu4.1

ubuntu/libglib2.0-bin 2.48.2-0ubuntu4.1

ubuntu/libglib2.0-data 2.48.2-0ubuntu4.1

ubuntu/libglib2.0-dev 2.48.2-0ubuntu4.1

ubuntu/libgmp-dev 2:6.1.0 dfsg-2

ubuntu/libgmp10 2:6.1.0 dfsg-2

ubuntu/libgmpxx4ldbl 2:6.1.0 dfsg-2

ubuntu/libgnutls30 3.4.10-4ubuntu1.4

ubuntu/libgomp1 8.1.0-5ubuntu1~16.04

ubuntu/libgpg-error0 1.21-2ubuntu1

ubuntu/libgraphite2-3 1.3.10-0ubuntu0.16.04.1

ubuntu/libgraphviz-dev 2.38.0-12ubuntu2.1

ubuntu/libgssapi-krb5-2 1.13.2 dfsg-5ubuntu2.1

ubuntu/libgssapi3-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libgssrpc4 1.13.2 dfsg-5ubuntu2.1

ubuntu/libgtk2.0-0 2.24.30-1ubuntu1.16.04.2

ubuntu/libgtk2.0-common 2.24.30-1ubuntu1.16.04.2

ubuntu/libgvc6-plugins-gtk 2.38.0-12ubuntu2.1

ubuntu/libgvc6 2.38.0-12ubuntu2.1

ubuntu/libgvpr2 2.38.0-12ubuntu2.1

ubuntu/libharfbuzz0b 1.0.1-1ubuntu0.1

ubuntu/libhcrypto4-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libheimbase1-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libheimntlm0-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libhogweed4 3.2-1ubuntu0.16.04.1

ubuntu/libhx509-5-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libice-dev 2:1.0.9-1

ubuntu/libice6 2:1.0.9-1

ubuntu/libicu-dev 55.1-7ubuntu0.4

ubuntu/libicu55 55.1-7ubuntu0.4

ubuntu/libidn11 1.32-3ubuntu1.2

ubuntu/libilmbase-dev 2.2.0-11ubuntu2

ubuntu/libilmbase12 2.2.0-11ubuntu2

ubuntu/libiomp-dev 3.7.0-3

ubuntu/libisl15 0.16.1-1

ubuntu/libitm1 8.1.0-5ubuntu1~16.04

ubuntu/libjasper-dev 1.900.1-debian1-2.4ubuntu1.2

ubuntu/libjasper1 1.900.1-debian1-2.4ubuntu1.2

ubuntu/libjbig-dev 2.1-3.1

ubuntu/libjbig0 2.1-3.1

ubuntu/libjpeg-dev 8c-2ubuntu8

ubuntu/libjpeg-turbo8-dev 1.4.2-0ubuntu3.1

ubuntu/libjpeg-turbo8 1.4.2-0ubuntu3.1

ubuntu/libjpeg8-dev 8c-2ubuntu8

ubuntu/libjpeg8 8c-2ubuntu8

ubuntu/libjs-excanvas 0.r3-4

ubuntu/libjs-jquery 1.11.3 dfsg-4

ubuntu/libjsoncpp1 1.7.2-1

ubuntu/libk5crypto3 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkadm5clnt-mit9 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkadm5srv-mit9 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkdb5-8 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkeyutils1 1.5.9-8ubuntu1

ubuntu/libkmod2 22-1ubuntu5.2

ubuntu/libkrb5-26-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libkrb5-3 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkrb5-dev 1.13.2 dfsg-5ubuntu2.1

ubuntu/libkrb5support0 1.13.2 dfsg-5ubuntu2.1

ubuntu/liblcms2-2 2.6-3ubuntu2.1

ubuntu/liblcms2-dev 2.6-3ubuntu2.1

ubuntu/libldap-2.4-2 2.4.42 dfsg-2ubuntu3.5

ubuntu/liblqr-1-0-dev 0.4.2-2

ubuntu/liblqr-1-0 0.4.2-2

ubuntu/liblsan0 8.1.0-5ubuntu1~16.04

ubuntu/libltdl-dev 2.4.6-0.1

ubuntu/libltdl7 2.4.6-0.1

ubuntu/liblz4-1 0.0~r131-2ubuntu2

ubuntu/liblzma-dev 5.1.1alpha 20120614-2ubuntu2

ubuntu/liblzma5 5.1.1alpha 20120614-2ubuntu2

ubuntu/liblzo2-2 2.08-1.2

ubuntu/libmagic1 1:5.25-2ubuntu1.2

ubuntu/libmagickcore-6-arch-config 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickcore-6-headers 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickcore-6.q16-2-extra 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickcore-6.q16-2 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickcore-6.q16-dev 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickcore-dev 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickwand-6-headers 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickwand-6.q16-2 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickwand-6.q16-dev 8:6.8.9.9-7ubuntu5.13

ubuntu/libmagickwand-dev 8:6.8.9.9-7ubuntu5.13

ubuntu/libmount1 2.27.1-6ubuntu3.6

ubuntu/libmpc3 1.0.3-1

ubuntu/libmpdec2 2.4.2-1

ubuntu/libmpfr-dev 3.1.4-1

ubuntu/libmpfr4 3.1.4-1

ubuntu/libmpx0 5.5.0-12ubuntu1~16.04

ubuntu/libmysqlclient-dev 5.7.26-0ubuntu0.16.04.1

ubuntu/libmysqlclient20 5.7.26-0ubuntu0.16.04.1

ubuntu/libncurses5-dev 6.0 20160213-1ubuntu1

ubuntu/libncurses5 6.0 20160213-1ubuntu1

ubuntu/libncursesw5-dev 6.0 20160213-1ubuntu1

ubuntu/libncursesw5 6.0 20160213-1ubuntu1

ubuntu/libnettle6 3.2-1ubuntu0.16.04.1

ubuntu/libomp-dev 3.7.0-3

ubuntu/libomp5 3.7.0-3

ubuntu/libopenexr-dev 2.2.0-10ubuntu2

ubuntu/libopenexr22 2.2.0-10ubuntu2

ubuntu/libp11-kit0 0.23.2-5~ubuntu16.04.1

ubuntu/libpam-modules-bin 1.1.8-3.2ubuntu2.1

ubuntu/libpam-modules 1.1.8-3.2ubuntu2.1

ubuntu/libpam-runtime 1.1.8-3.2ubuntu2.1

ubuntu/libpam0g 1.1.8-3.2ubuntu2.1

ubuntu/libpango-1.0-0 1.38.1-1

ubuntu/libpangocairo-1.0-0 1.38.1-1

ubuntu/libpangoft2-1.0-0 1.38.1-1

ubuntu/libpathplan4 2.38.0-12ubuntu2.1

ubuntu/libpcre16-3 2:8.38-3.1

ubuntu/libpcre3-dev 2:8.38-3.1

ubuntu/libpcre32-3 2:8.38-3.1

ubuntu/libpcre3 2:8.38-3.1

ubuntu/libpcrecpp0v5 2:8.38-3.1

ubuntu/libperl5.22 5.22.1-9ubuntu0.6

ubuntu/libpixman-1-0 0.33.6-1

ubuntu/libpixman-1-dev 0.33.6-1

ubuntu/libpng12-0 1.2.54-1ubuntu1.1

ubuntu/libpng12-dev 1.2.54-1ubuntu1.1

ubuntu/libpq-dev 9.5.16-0ubuntu0.16.04.1

ubuntu/libpq5 9.5.16-0ubuntu0.16.04.1

ubuntu/libprocps4 2:3.3.10-4ubuntu2.4

ubuntu/libpthread-stubs0-dev 0.3-4

ubuntu/libpython-all-dev 2.7.12-1~16.04

ubuntu/libpython-dev 2.7.12-1~16.04

ubuntu/libpython-stdlib 2.7.12-1~16.04

ubuntu/libpython2.7-dev 2.7.12-1ubuntu0~16.04.4

ubuntu/libpython2.7-minimal 2.7.12-1ubuntu0~16.04.4

ubuntu/libpython2.7-stdlib 2.7.12-1ubuntu0~16.04.4

ubuntu/libpython2.7 2.7.12-1ubuntu0~16.04.4

ubuntu/libpython3-stdlib 3.5.1-3

ubuntu/libpython3.5-minimal 3.5.2-2ubuntu0~16.04.5

ubuntu/libpython3.5-stdlib 3.5.2-2ubuntu0~16.04.5

ubuntu/libquadmath0 8.1.0-5ubuntu1~16.04

ubuntu/libreadline-dev 6.3-8ubuntu2

ubuntu/libreadline6-dev 6.3-8ubuntu2

ubuntu/libreadline6 6.3-8ubuntu2

ubuntu/libroken18-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/librsvg2-2 2.40.13-3

ubuntu/librsvg2-common 2.40.13-3

ubuntu/librsvg2-dev 2.40.13-3

ubuntu/librtmp1 2.4 20151223.gitfa8646d-1ubuntu0.1

ubuntu/libsasl2-2 2.1.26.dfsg1-14ubuntu0.1

ubuntu/libsasl2-modules-db 2.1.26.dfsg1-14ubuntu0.1

ubuntu/libseccomp2 2.3.1-2.1ubuntu2~16.04.1

ubuntu/libselinux1 2.4-3build2

ubuntu/libsemanage-common 2.3-1build3

ubuntu/libsemanage1 2.3-1build3

ubuntu/libsepol1 2.4-2

ubuntu/libserf-1-1 1.3.8-1

ubuntu/libsigsegv2 2.10-4

ubuntu/libsm-dev 2:1.2.2-1

ubuntu/libsm6 2:1.2.2-1

ubuntu/libsmartcols1 2.27.1-6ubuntu3.6

ubuntu/libsqlite3-0 3.11.0-1ubuntu1.1

ubuntu/libsqlite3-dev 3.11.0-1ubuntu1.1

ubuntu/libss2 1.42.13-1ubuntu1

ubuntu/libssl-dev 1.0.2g-1ubuntu4.15

ubuntu/libssl1.0.0 1.0.2g-1ubuntu4.15

ubuntu/libstdc -5-dev 5.5.0-12ubuntu1~16.04

ubuntu/libstdc 5 1:3.3.6-28ubuntu1

ubuntu/libstdc 6 8.1.0-5ubuntu1~16.04

ubuntu/libsvn1 1.9.3-2ubuntu1.1

ubuntu/libsystemd0 229-4ubuntu21.21

ubuntu/libtasn1-6 4.7-3ubuntu0.16.04.3

ubuntu/libthai-data 0.1.24-2

ubuntu/libthai0 0.1.24-2

ubuntu/libtiff5-dev 4.0.6-1ubuntu0.6

ubuntu/libtiff5 4.0.6-1ubuntu0.6

ubuntu/libtiffxx5 4.0.6-1ubuntu0.6

ubuntu/libtinfo-dev 6.0 20160213-1ubuntu1

ubuntu/libtinfo5 6.0 20160213-1ubuntu1

ubuntu/libtool 2.4.6-0.1

ubuntu/libtsan0 8.1.0-5ubuntu1~16.04

ubuntu/libubsan0 7.4.0-1ubuntu1~16.04~ppa1

ubuntu/libudev1 229-4ubuntu21.21

ubuntu/libusb-0.1-4 2:0.1.12-28

ubuntu/libustr-1.0-1 1.0.4-5

ubuntu/libuuid1 2.27.1-6ubuntu3.6

ubuntu/libvpx3 1.5.0-2ubuntu1

ubuntu/libwebp-dev 0.4.4-1

ubuntu/libwebp5 0.4.4-1

ubuntu/libwebpdemux1 0.4.4-1

ubuntu/libwebpmux1 0.4.4-1

ubuntu/libwind0-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1

ubuntu/libwmf-dev 0.2.8.4-10.5ubuntu1

ubuntu/libwmf0.2-7 0.2.8.4-10.5ubuntu1

ubuntu/libx11-6 2:1.6.3-1ubuntu2.1

ubuntu/libx11-data 2:1.6.3-1ubuntu2.1

ubuntu/libx11-dev 2:1.6.3-1ubuntu2.1

ubuntu/libxau-dev 1:1.0.8-1

ubuntu/libxau6 1:1.0.8-1

ubuntu/libxaw7 2:1.0.13-1

ubuntu/libxcb-render0-dev 1.11.1-1ubuntu1

ubuntu/libxcb-render0 1.11.1-1ubuntu1

ubuntu/libxcb-shm0-dev 1.11.1-1ubuntu1

ubuntu/libxcb-shm0 1.11.1-1ubuntu1

ubuntu/libxcb1-dev 1.11.1-1ubuntu1

ubuntu/libxcb1 1.11.1-1ubuntu1

ubuntu/libxcomposite1 1:0.4.4-1

ubuntu/libxcursor1 1:1.1.14-1ubuntu0.16.04.2

ubuntu/libxdamage1 1:1.1.4-2

ubuntu/libxdmcp-dev 1:1.1.2-1.1

ubuntu/libxdmcp6 1:1.1.2-1.1

ubuntu/libxdot4 2.38.0-12ubuntu2.1

ubuntu/libxext-dev 2:1.3.3-1

ubuntu/libxext6 2:1.3.3-1

ubuntu/libxfixes3 1:5.0.1-2

ubuntu/libxi6 2:1.7.6-1

ubuntu/libxinerama1 2:1.1.3-1

ubuntu/libxml2-dev 2.9.3 dfsg1-1ubuntu0.6

ubuntu/libxml2 2.9.3 dfsg1-1ubuntu0.6

ubuntu/libxmu6 2:1.1.2-2

ubuntu/libxpm4 1:3.5.11-1ubuntu0.16.04.1

ubuntu/libxrandr2 2:1.5.0-1

ubuntu/libxrender-dev 1:0.9.9-0ubuntu1

ubuntu/libxrender1 1:0.9.9-0ubuntu1

ubuntu/libxslt1-dev 1.1.28-2.1ubuntu0.2

ubuntu/libxslt1.1 1.1.28-2.1ubuntu0.2

ubuntu/libxt-dev 1:1.1.5-0ubuntu1

ubuntu/libxt6 1:1.1.5-0ubuntu1

ubuntu/libyaml-0-2 0.1.6-3

ubuntu/libyaml-dev 0.1.6-3

ubuntu/linux-libc-dev 4.4.0-146.172

ubuntu/login 1:4.2-3.1ubuntu5.4

ubuntu/lsb-base 9.20160110ubuntu0.2

ubuntu/lsb-release 9.20160110ubuntu0.2

ubuntu/m4 1.4.17-5

ubuntu/make 4.1-6

ubuntu/makedev 2.3.1-93ubuntu2~ubuntu16.04.1

ubuntu/mawk 1.3.3-17ubuntu2

ubuntu/mercurial-common 3.7.3-1ubuntu1.2

ubuntu/mercurial 3.7.3-1ubuntu1.2

ubuntu/mime-support 3.59ubuntu1

ubuntu/mount 2.27.1-6ubuntu3.6

ubuntu/multiarch-support 2.23-0ubuntu11

ubuntu/mysql-common 5.7.26-0ubuntu0.16.04.1

ubuntu/ncurses-base 6.0 20160213-1ubuntu1

ubuntu/ncurses-bin 6.0 20160213-1ubuntu1

ubuntu/netbase 5.3

ubuntu/ninja-build 1.5.1-0.1ubuntu1

ubuntu/openssh-client 1:7.2p2-4ubuntu2.8

ubuntu/openssl 1.0.2g-1ubuntu4.15

ubuntu/passwd 1:4.2-3.1ubuntu5.4

ubuntu/patch 2.7.5-1ubuntu0.16.04.1

ubuntu/perl-base 5.22.1-9ubuntu0.6

ubuntu/perl-modules-5.22 5.22.1-9ubuntu0.6

ubuntu/perl 5.22.1-9ubuntu0.6

ubuntu/pkg-config 0.29.1-0ubuntu1

ubuntu/powermgmt-base 1.31 nmu1

ubuntu/procps 2:3.3.10-4ubuntu2.4

ubuntu/python-all-dev 2.7.12-1~16.04

ubuntu/python-all 2.7.12-1~16.04

ubuntu/python-apt-common 1.1.0~beta1ubuntu0.16.04.2

ubuntu/python-apt 1.1.0~beta1ubuntu0.16.04.2

ubuntu/python-bzrlib 2.7.0-2ubuntu3.1

ubuntu/python-cairo 1.8.8-2

ubuntu/python-configobj 5.0.6-2

ubuntu/python-dev 2.7.12-1~16.04

ubuntu/python-gobject-2 2.28.6-12ubuntu1

ubuntu/python-gtk2 2.24.0-4ubuntu1

ubuntu/python-minimal 2.7.12-1~16.04

ubuntu/python-pip-whl 8.1.1-2ubuntu0.4

ubuntu/python-pip 8.1.1-2ubuntu0.4

ubuntu/python-pkg-resources 20.7.0-1

ubuntu/python-pycurl 7.43.0-1ubuntu1

ubuntu/python-setuptools 20.7.0-1

ubuntu/python-six 1.10.0-3

ubuntu/python-software-properties 0.96.20.8

ubuntu/python-wheel 0.29.0-1

ubuntu/python2.7-dev 2.7.12-1ubuntu0~16.04.4

ubuntu/python2.7-minimal 2.7.12-1ubuntu0~16.04.4

ubuntu/python2.7 2.7.12-1ubuntu0~16.04.4

ubuntu/python3-apt 1.1.0~beta1ubuntu0.16.04.2

ubuntu/python3-dbus 1.2.0-3

ubuntu/python3-gi 3.20.0-0ubuntu1

ubuntu/python3-minimal 3.5.1-3

ubuntu/python3-pycurl 7.43.0-1ubuntu1

ubuntu/python3-software-properties 0.96.20.8

ubuntu/python3.5-minimal 3.5.2-2ubuntu0~16.04.5

ubuntu/python3.5 3.5.2-2ubuntu0~16.04.5

ubuntu/python3 3.5.1-3

ubuntu/python 2.7.12-1~16.04

ubuntu/readline-common 6.3-8ubuntu2

ubuntu/sed 4.2.2-7

ubuntu/sensible-utils 0.0.9ubuntu0.16.04.1

ubuntu/shared-mime-info 1.5-2ubuntu0.2

ubuntu/software-properties-common 0.96.20.8

ubuntu/subversion 1.9.3-2ubuntu1.1

ubuntu/systemd-sysv 229-4ubuntu21.21

ubuntu/systemd 229-4ubuntu21.21

ubuntu/sysv-rc 2.88dsf-59.3ubuntu2

ubuntu/sysvinit-utils 2.88dsf-59.3ubuntu2

ubuntu/tar 1.28-2.1ubuntu0.1

ubuntu/ubuntu-keyring 2012.05.19

ubuntu/ucf 3.0036

ubuntu/unattended-upgrades 1.1ubuntu1.18.04.7~16.04.2

ubuntu/unzip 6.0-20ubuntu1

ubuntu/util-linux 2.27.1-6ubuntu3.6

ubuntu/wget 1.17.1-1ubuntu1.5

ubuntu/x11-common 1:7.7 13ubuntu3.1

ubuntu/x11proto-core-dev 7.0.31-1~ubuntu16.04.2

ubuntu/x11proto-input-dev 2.3.1-1

ubuntu/x11proto-kb-dev 1.0.7-0ubuntu1

ubuntu/x11proto-render-dev 2:0.11.1-2

ubuntu/x11proto-xext-dev 7.3.0-1

ubuntu/xdot 0.6-3

ubuntu/xorg-sgml-doctools 1:1.11-1

ubuntu/xtrans-dev 1.3.5-1

ubuntu/xz-utils 5.1.1alpha 20120614-2ubuntu2

ubuntu/zlib1g-dev 1:1.2.8.dfsg-2ubuntu4.1

ubuntu/zlib1g 1:1.2.8.dfsg-2ubuntu4.1

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Docker

seahorn/crabllvm-build-llvm8 : xenial

Dependencies