seahorn/seahorn-build : trusty
Dependencies for SeaHorn LLVM 3.8
Latest release: over 7 years ago - 798 downloads - 557 dependencies
JSONDependencies
- ubuntu/adduser 3.113 nmu3ubuntu3
- ubuntu/apt-utils 1.0.1ubuntu2.17
- ubuntu/apt 1.0.1ubuntu2.17
- ubuntu/autoconf 2.69-6
- ubuntu/automake 1:1.14.1-2ubuntu1
- ubuntu/autotools-dev 20130810.1
- ubuntu/base-files 7.2ubuntu5.5
- ubuntu/base-passwd 3.5.33
- ubuntu/bash 4.3-7ubuntu1.7
- ubuntu/binutils 2.24-5ubuntu14.2
- ubuntu/bsdutils 1:2.20.1-5.1ubuntu20.9
- ubuntu/build-essential 11.6ubuntu6
- ubuntu/busybox-initramfs 1:1.21.0-1ubuntu1
- ubuntu/bzip2 1.0.6-5
- ubuntu/bzr 2.6.0 bzr6593-1ubuntu1.6
- ubuntu/ca-certificates 20170717~14.04.1
- ubuntu/cmake-data 2.8.12.2-0ubuntu3
- ubuntu/cmake 2.8.12.2-0ubuntu3
- ubuntu/comerr-dev 2.1-1.42.9-3ubuntu1.3
- ubuntu/console-setup 1.70ubuntu8
- ubuntu/coreutils 8.21-1ubuntu5.4
- ubuntu/cpio 2.11 dfsg-1ubuntu1.2
- ubuntu/cpp-4.8 4.8.4-2ubuntu1~14.04.4
- ubuntu/cpp-5 5.4.1-2ubuntu1~14.04
- ubuntu/cpp 4:4.8.2-1ubuntu6
- ubuntu/cron 3.0pl1-124ubuntu2
- ubuntu/curl 7.35.0-1ubuntu2.15
- ubuntu/dash 0.5.7-4ubuntu1
- ubuntu/debconf-i18n 1.5.51ubuntu2
- ubuntu/debconf 1.5.51ubuntu2
- ubuntu/debianutils 4.4
- ubuntu/dh-python 1.20140128-1ubuntu8.2
- ubuntu/diffutils 1:3.3-1
- ubuntu/dmsetup 2:1.02.77-6ubuntu2
- ubuntu/dpkg-dev 1.17.5ubuntu5.8
- ubuntu/dpkg 1.17.5ubuntu5.8
- ubuntu/e2fslibs 1.42.9-3ubuntu1.3
- ubuntu/e2fsprogs 1.42.9-3ubuntu1.3
- ubuntu/eject 2.1.5 deb1 cvs20081104-13.1ubuntu0.14.04.1
- ubuntu/file 1:5.14-2ubuntu3.3
- ubuntu/findutils 4.4.2-7
- ubuntu/fontconfig-config 2.11.0-0ubuntu4.2
- ubuntu/fontconfig 2.11.0-0ubuntu4.2
- ubuntu/fonts-dejavu-core 2.34-1ubuntu1
- ubuntu/fonts-liberation 1.07.3-3
- ubuntu/g -4.8 4.8.4-2ubuntu1~14.04.4
- ubuntu/g -5 5.4.1-2ubuntu1~14.04
- ubuntu/g 4:4.8.2-1ubuntu6
- ubuntu/gcc-4.8-base 4.8.4-2ubuntu1~14.04.4
- ubuntu/gcc-4.8 4.8.4-2ubuntu1~14.04.4
- ubuntu/gcc-4.9-base 4.9.3-0ubuntu4
- ubuntu/gcc-5-base 5.4.1-2ubuntu1~14.04
- ubuntu/gcc-5 5.4.1-2ubuntu1~14.04
- ubuntu/gcc-7-base 7.2.0-1ubuntu1~14.04
- ubuntu/gcc 4:4.8.2-1ubuntu6
- ubuntu/geoip-bin 1.6.0-1
- ubuntu/gir1.2-freedesktop 1.40.0-1ubuntu0.2
- ubuntu/gir1.2-gdkpixbuf-2.0 2.30.7-0ubuntu1.8
- ubuntu/gir1.2-glib-2.0 1.40.0-1ubuntu0.2
- ubuntu/gir1.2-rsvg-2.0 2.40.2-1
- ubuntu/git-man 1:1.9.1-1ubuntu0.7
- ubuntu/git 1:1.9.1-1ubuntu0.7
- ubuntu/gnupg 1.4.16-1ubuntu2.4
- ubuntu/gpgv 1.4.16-1ubuntu2.4
- ubuntu/graphviz 2.36.0-0ubuntu3.2
- ubuntu/grep 2.16-1
- ubuntu/gzip 1.6-3ubuntu1
- ubuntu/hicolor-icon-theme 0.13-1
- ubuntu/hostname 3.15ubuntu1
- ubuntu/ifupdown 0.7.47.2ubuntu4.4
- ubuntu/imagemagick-common 8:6.7.7.10-6ubuntu3.9
- ubuntu/imagemagick 8:6.7.7.10-6ubuntu3.9
- ubuntu/init-system-helpers 1.14ubuntu1
- ubuntu/initramfs-tools-bin 0.103ubuntu4.10
- ubuntu/initramfs-tools 0.103ubuntu4.10
- ubuntu/initscripts 2.88dsf-41ubuntu6.3
- ubuntu/insserv 1.14.0-5ubuntu2
- ubuntu/iproute2 3.12.0-2ubuntu1.2
- ubuntu/iputils-ping 3:20121221-4ubuntu1.1
- ubuntu/isc-dhcp-client 4.2.4-7ubuntu12.13
- ubuntu/isc-dhcp-common 4.2.4-7ubuntu12.13
- ubuntu/iso-codes 3.52-1
- ubuntu/kbd 1.15.5-1ubuntu1
- ubuntu/keyboard-configuration 1.70ubuntu8
- ubuntu/klibc-utils 2.0.3-0ubuntu1.14.04.3
- ubuntu/kmod 15-0ubuntu6
- ubuntu/krb5-multidev 1.12 dfsg-2ubuntu5.3
- ubuntu/less 458-2
- ubuntu/libacl1 2.2.52-1
- ubuntu/libapr1 1.5.0-1
- ubuntu/libaprutil1 1.5.3-1
- ubuntu/libapt-inst1.5 1.0.1ubuntu2.17
- ubuntu/libapt-pkg4.12 1.0.1ubuntu2.17
- ubuntu/libarchive-extract-perl 0.70-1
- ubuntu/libarchive13 3.1.2-7ubuntu2.4
- ubuntu/libasan0 4.8.4-2ubuntu1~14.04.4
- ubuntu/libasan2 5.4.1-2ubuntu1~14.04
- ubuntu/libasn1-8-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libatk1.0-0 2.10.0-2ubuntu2
- ubuntu/libatk1.0-data 2.10.0-2ubuntu2
- ubuntu/libatomic1 7.2.0-1ubuntu1~14.04
- ubuntu/libattr1 1:2.4.47-1ubuntu1
- ubuntu/libaudit-common 1:2.3.2-2ubuntu1
- ubuntu/libaudit1 1:2.3.2-2ubuntu1
- ubuntu/libavahi-client3 0.6.31-4ubuntu1.1
- ubuntu/libavahi-common-data 0.6.31-4ubuntu1.1
- ubuntu/libavahi-common3 0.6.31-4ubuntu1.1
- ubuntu/libblkid1 2.20.1-5.1ubuntu20.9
- ubuntu/libbsd0 0.6.0-2ubuntu1
- ubuntu/libbz2-1.0 1.0.6-5
- ubuntu/libbz2-dev 1.0.6-5
- ubuntu/libc-bin 2.19-0ubuntu6.14
- ubuntu/libc-dev-bin 2.19-0ubuntu6.14
- ubuntu/libc6-dev 2.19-0ubuntu6.14
- ubuntu/libc6 2.19-0ubuntu6.14
- ubuntu/libcairo-gobject2 1.13.0~20140204-0ubuntu1.1
- ubuntu/libcairo-script-interpreter2 1.13.0~20140204-0ubuntu1.1
- ubuntu/libcairo2-dev 1.13.0~20140204-0ubuntu1.1
- ubuntu/libcairo2 1.13.0~20140204-0ubuntu1.1
- ubuntu/libcap2-bin 1:2.24-0ubuntu2
- ubuntu/libcap2 1:2.24-0ubuntu2
- ubuntu/libcc1-0 7.2.0-1ubuntu1~14.04
- ubuntu/libcdt5 2.36.0-0ubuntu3.2
- ubuntu/libcgmanager0 0.24-0ubuntu7.5
- ubuntu/libcgraph6 2.36.0-0ubuntu3.2
- ubuntu/libcilkrts5 7.2.0-1ubuntu1~14.04
- ubuntu/libcloog-isl4 0.18.2-1
- ubuntu/libcomerr2 1.42.9-3ubuntu1.3
- ubuntu/libcroco3 0.6.8-2ubuntu1
- ubuntu/libcups2 1.7.2-0ubuntu1.9
- ubuntu/libcurl3-gnutls 7.35.0-1ubuntu2.15
- ubuntu/libcurl3 7.35.0-1ubuntu2.15
- ubuntu/libcurl4-openssl-dev 7.35.0-1ubuntu2.15
- ubuntu/libdatrie1 0.2.8-1
- ubuntu/libdb-dev 1:5.3.21~exp1ubuntu1
- ubuntu/libdb5.3-dev 5.3.28-3ubuntu3.1
- ubuntu/libdb5.3 5.3.28-3ubuntu3.1
- ubuntu/libdbus-1-3 1.6.18-0ubuntu4.5
- ubuntu/libdbus-glib-1-2 0.100.2-1
- ubuntu/libdebconfclient0 0.187ubuntu1
- ubuntu/libdevmapper1.02.1 2:1.02.77-6ubuntu2
- ubuntu/libxmu6 2:1.1.1-1
- ubuntu/libdjvulibre-dev 3.5.25.4-3
- ubuntu/libdjvulibre-text 3.5.25.4-3
- ubuntu/libdjvulibre21 3.5.25.4-3
- ubuntu/libdpkg-perl 1.17.5ubuntu5.8
- ubuntu/libdrm2 2.4.67-1ubuntu0.14.04.2
- ubuntu/libedit2 3.1-20130712-2
- ubuntu/libelfg0 0.8.13-5
- ubuntu/liberror-perl 0.17-1.1
- ubuntu/libestr0 0.1.9-0ubuntu2
- ubuntu/libevent-2.0-5 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libevent-core-2.0-5 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libevent-dev 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libevent-extra-2.0-5 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libevent-openssl-2.0-5 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libevent-pthreads-2.0-5 2.0.21-stable-1ubuntu1.14.04.2
- ubuntu/libexif-dev 0.6.21-1ubuntu1
- ubuntu/libexif12 0.6.21-1ubuntu1
- ubuntu/libexpat1-dev 2.1.0-4ubuntu1.4
- ubuntu/libexpat1 2.1.0-4ubuntu1.4
- ubuntu/libffi-dev 3.1~rc1 r3.0.13-12ubuntu0.2
- ubuntu/libffi6 3.1~rc1 r3.0.13-12ubuntu0.2
- ubuntu/libfftw3-double3 3.3.3-7ubuntu3
- ubuntu/libfontconfig1-dev 2.11.0-0ubuntu4.2
- ubuntu/libfontconfig1 2.11.0-0ubuntu4.2
- ubuntu/libfreetype6-dev 2.5.2-1ubuntu2.8
- ubuntu/libfreetype6 2.5.2-1ubuntu2.8
- ubuntu/libfribidi0 0.19.6-1
- ubuntu/libgcc-4.8-dev 4.8.4-2ubuntu1~14.04.4
- ubuntu/libgcc-5-dev 5.4.1-2ubuntu1~14.04
- ubuntu/libgcc1 1:7.2.0-1ubuntu1~14.04
- ubuntu/libgcrypt11-dev 1.5.3-2ubuntu4.5
- ubuntu/libgcrypt11 1.5.3-2ubuntu4.5
- ubuntu/libgd3 2.1.0-3ubuntu0.8
- ubuntu/libgdbm-dev 1.8.3-12build1
- ubuntu/libgdbm3 1.8.3-12build1
- ubuntu/libgdk-pixbuf2.0-0 2.30.7-0ubuntu1.8
- ubuntu/libgdk-pixbuf2.0-common 2.30.7-0ubuntu1.8
- ubuntu/libgdk-pixbuf2.0-dev 2.30.7-0ubuntu1.8
- ubuntu/libgeoip-dev 1.6.0-1
- ubuntu/libgeoip1 1.6.0-1
- ubuntu/libgirepository-1.0-1 1.40.0-1ubuntu0.2
- ubuntu/libglib2.0-0 2.40.2-0ubuntu1
- ubuntu/libglib2.0-bin 2.40.2-0ubuntu1
- ubuntu/libglib2.0-data 2.40.2-0ubuntu1
- ubuntu/libglib2.0-dev 2.40.2-0ubuntu1
- ubuntu/libgmp-dev 2:5.1.3 dfsg-1ubuntu1
- ubuntu/libgmp10 2:5.1.3 dfsg-1ubuntu1
- ubuntu/libgmpxx4ldbl 2:5.1.3 dfsg-1ubuntu1
- ubuntu/libgnutls-dev 2.12.23-12ubuntu2.8
- ubuntu/libgnutls-openssl27 2.12.23-12ubuntu2.8
- ubuntu/libgnutls26 2.12.23-12ubuntu2.8
- ubuntu/libgnutlsxx27 2.12.23-12ubuntu2.8
- ubuntu/libgomp1 7.2.0-1ubuntu1~14.04
- ubuntu/libgpg-error-dev 1.12-0.2ubuntu1
- ubuntu/libgpg-error0 1.12-0.2ubuntu1
- ubuntu/libgraphite2-3 1.3.10-0ubuntu0.14.04.1
- ubuntu/libgraphviz-dev 2.36.0-0ubuntu3.2
- ubuntu/libgssapi-krb5-2 1.12 dfsg-2ubuntu5.3
- ubuntu/libgssapi3-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libgssrpc4 1.12 dfsg-2ubuntu5.3
- ubuntu/libgtk2.0-0 2.24.23-0ubuntu1.4
- ubuntu/libgtk2.0-common 2.24.23-0ubuntu1.4
- ubuntu/libgvc6-plugins-gtk 2.36.0-0ubuntu3.2
- ubuntu/libgvc6 2.36.0-0ubuntu3.2
- ubuntu/libgvpr2 2.36.0-0ubuntu3.2
- ubuntu/libharfbuzz0b 0.9.27-1ubuntu1.1
- ubuntu/libhcrypto4-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libheimbase1-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libheimntlm0-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libhx509-5-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libice-dev 2:1.0.8-2
- ubuntu/libice6 2:1.0.8-2
- ubuntu/libidn11-dev 1.28-1ubuntu2.2
- ubuntu/libidn11 1.28-1ubuntu2.2
- ubuntu/libilmbase-dev 1.0.1-6ubuntu1
- ubuntu/libilmbase6 1.0.1-6ubuntu1
- ubuntu/libiomp-dev 0.20131209-1
- ubuntu/libiomp5 0.20131209-1
- ubuntu/libisl10 0.12.2-1
- ubuntu/libisl15 0.15-3~14.04
- ubuntu/libitm1 7.2.0-1ubuntu1~14.04
- ubuntu/libjasper-dev 1.900.1-14ubuntu3.4
- ubuntu/libjasper1 1.900.1-14ubuntu3.4
- ubuntu/libjbig-dev 2.0-2ubuntu4.1
- ubuntu/libjbig0 2.0-2ubuntu4.1
- ubuntu/libjpeg-dev 8c-2ubuntu8
- ubuntu/python-apt 0.9.3.5ubuntu2
- ubuntu/libjpeg-turbo8-dev 1.3.0-0ubuntu2
- ubuntu/libjpeg-turbo8 1.3.0-0ubuntu2
- ubuntu/libjpeg8-dev 8c-2ubuntu8
- ubuntu/libjpeg8 8c-2ubuntu8
- ubuntu/libjs-jquery 1.7.2 dfsg-2ubuntu1
- ubuntu/libjson-c2 0.11-3ubuntu1.2
- ubuntu/libjson0 0.11-3ubuntu1.2
- ubuntu/libk5crypto3 1.12 dfsg-2ubuntu5.3
- ubuntu/libkadm5clnt-mit9 1.12 dfsg-2ubuntu5.3
- ubuntu/libkadm5srv-mit9 1.12 dfsg-2ubuntu5.3
- ubuntu/libkdb5-7 1.12 dfsg-2ubuntu5.3
- ubuntu/libkeyutils1 1.5.6-1
- ubuntu/libklibc 2.0.3-0ubuntu1.14.04.3
- ubuntu/libkmod2 15-0ubuntu6
- ubuntu/libkrb5-26-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libkrb5-3 1.12 dfsg-2ubuntu5.3
- ubuntu/libkrb5-dev 1.12 dfsg-2ubuntu5.3
- ubuntu/libkrb5support0 1.12 dfsg-2ubuntu5.3
- ubuntu/liblcms2-2 2.5-0ubuntu4.1
- ubuntu/liblcms2-dev 2.5-0ubuntu4.1
- ubuntu/libldap-2.4-2 2.4.31-1 nmu2ubuntu8.4
- ubuntu/libldap2-dev 2.4.31-1 nmu2ubuntu8.4
- ubuntu/liblocale-gettext-perl 1.05-7build3
- ubuntu/liblockfile-bin 1.09-6ubuntu1
- ubuntu/liblockfile1 1.09-6ubuntu1
- ubuntu/liblog-message-simple-perl 0.10-1
- ubuntu/liblqr-1-0-dev 0.4.1-2ubuntu1
- ubuntu/liblqr-1-0 0.4.1-2ubuntu1
- ubuntu/liblsan0 7.2.0-1ubuntu1~14.04
- ubuntu/libltdl-dev 2.4.2-1.7ubuntu1
- ubuntu/libltdl7 2.4.2-1.7ubuntu1
- ubuntu/liblzma-dev 5.1.1alpha 20120614-2ubuntu2
- ubuntu/liblzma5 5.1.1alpha 20120614-2ubuntu2
- ubuntu/liblzo2-2 2.06-1.2ubuntu1.1
- ubuntu/libmagic1 1:5.14-2ubuntu3.3
- ubuntu/libmagickcore-dev 8:6.7.7.10-6ubuntu3.9
- ubuntu/libmagickcore5-extra 8:6.7.7.10-6ubuntu3.9
- ubuntu/libmagickcore5 8:6.7.7.10-6ubuntu3.9
- ubuntu/libmagickwand-dev 8:6.7.7.10-6ubuntu3.9
- ubuntu/libmagickwand5 8:6.7.7.10-6ubuntu3.9
- ubuntu/libmodule-pluggable-perl 5.1-1
- ubuntu/libmount1 2.20.1-5.1ubuntu20.9
- ubuntu/libmpc3 1.0.1-1ubuntu1
- ubuntu/libmpdec2 2.4.0-6
- ubuntu/libmpfr-dev 3.1.3-1~14.04
- ubuntu/libmpfr4 3.1.3-1~14.04
- ubuntu/libmpx0 5.4.1-2ubuntu1~14.04
- ubuntu/libmysqlclient-dev 5.5.59-0ubuntu0.14.04.1
- ubuntu/libmysqlclient18 5.5.59-0ubuntu0.14.04.1
- ubuntu/libncurses5-dev 5.9 20140118-1ubuntu1
- ubuntu/libncurses5 5.9 20140118-1ubuntu1
- ubuntu/libncursesw5-dev 5.9 20140118-1ubuntu1
- ubuntu/libncursesw5 5.9 20140118-1ubuntu1
- ubuntu/libnettle4 2.7.1-1ubuntu0.2
- ubuntu/libnewt0.52 0.52.15-2ubuntu5
- ubuntu/libnih-dbus1 1.0.3-4ubuntu25
- ubuntu/libnih1 1.0.3-4ubuntu25
- ubuntu/libopenexr-dev 1.6.1-7ubuntu1
- ubuntu/libopenexr6 1.6.1-7ubuntu1
- ubuntu/libp11-kit-dev 0.20.2-2ubuntu2
- ubuntu/libp11-kit0 0.20.2-2ubuntu2
- ubuntu/libpam-cap 1:2.24-0ubuntu2
- ubuntu/libpam-modules-bin 1.1.8-1ubuntu2.2
- ubuntu/libpam-modules 1.1.8-1ubuntu2.2
- ubuntu/libpam-runtime 1.1.8-1ubuntu2.2
- ubuntu/libpam0g 1.1.8-1ubuntu2.2
- ubuntu/libpango-1.0-0 1.36.3-1ubuntu1.1
- ubuntu/libpangocairo-1.0-0 1.36.3-1ubuntu1.1
- ubuntu/libpangoft2-1.0-0 1.36.3-1ubuntu1.1
- ubuntu/libpathplan4 2.36.0-0ubuntu3.2
- ubuntu/libpcre3-dev 1:8.31-2ubuntu2.3
- ubuntu/libpcre3 1:8.31-2ubuntu2.3
- ubuntu/libpcrecpp0 1:8.31-2ubuntu2.3
- ubuntu/libpixman-1-0 0.30.2-2ubuntu1.1
- ubuntu/libpixman-1-dev 0.30.2-2ubuntu1.1
- ubuntu/libplymouth2 0.8.8-0ubuntu17.1
- ubuntu/libpng12-0 1.2.50-1ubuntu2.14.04.2
- ubuntu/libpng12-dev 1.2.50-1ubuntu2.14.04.2
- ubuntu/libpod-latex-perl 0.61-1
- ubuntu/libpopt0 1.16-8ubuntu1
- ubuntu/libpq-dev 9.3.22-0ubuntu0.14.04
- ubuntu/libpq5 9.3.22-0ubuntu0.14.04
- ubuntu/libprocps3 1:3.3.9-1ubuntu2.2
- ubuntu/libpthread-stubs0-dev 0.3-4
- ubuntu/libpython-dev 2.7.5-5ubuntu3
- ubuntu/libpython-stdlib 2.7.5-5ubuntu3
- ubuntu/libpython2.7-dev 2.7.6-8ubuntu0.4
- ubuntu/libpython2.7-minimal 2.7.6-8ubuntu0.4
- ubuntu/libpython2.7-stdlib 2.7.6-8ubuntu0.4
- ubuntu/libpython2.7 2.7.6-8ubuntu0.4
- ubuntu/libpython3-stdlib 3.4.0-0ubuntu2
- ubuntu/libpython3.4-minimal 3.4.3-1ubuntu1~14.04.6
- ubuntu/libpython3.4-stdlib 3.4.3-1ubuntu1~14.04.6
- ubuntu/libquadmath0 7.2.0-1ubuntu1~14.04
- ubuntu/libreadline-dev 6.3-4ubuntu2
- ubuntu/libreadline6-dev 6.3-4ubuntu2
- ubuntu/libreadline6 6.3-4ubuntu2
- ubuntu/libroken18-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/librsvg2-2 2.40.2-1
- ubuntu/librsvg2-common 2.40.2-1
- ubuntu/librsvg2-dev 2.40.2-1
- ubuntu/librtmp-dev 2.4 20121230.gitdf6c518-1ubuntu0.1
- ubuntu/librtmp0 2.4 20121230.gitdf6c518-1ubuntu0.1
- ubuntu/libsasl2-2 2.1.25.dfsg1-17build1
- ubuntu/libsasl2-modules-db 2.1.25.dfsg1-17build1
- ubuntu/libselinux1 2.2.2-1ubuntu0.1
- ubuntu/libsemanage-common 2.2-1
- ubuntu/libsemanage1 2.2-1
- ubuntu/libsepol1 2.2-1ubuntu0.1
- ubuntu/libserf-1-1 1.3.3-1ubuntu0.1
- ubuntu/libsigsegv2 2.10-2
- ubuntu/libslang2 2.2.4-15ubuntu1
- ubuntu/libsm-dev 2:1.2.1-2
- ubuntu/libsm6 2:1.2.1-2
- ubuntu/libsqlite3-0 3.8.2-1ubuntu2.1
- ubuntu/libsqlite3-dev 3.8.2-1ubuntu2.1
- ubuntu/libss2 1.42.9-3ubuntu1.3
- ubuntu/libssl-dev 1.0.1f-1ubuntu2.24
- ubuntu/libssl1.0.0 1.0.1f-1ubuntu2.24
- ubuntu/libstdc -4.8-dev 4.8.4-2ubuntu1~14.04.4
- ubuntu/libstdc -5-dev 5.4.1-2ubuntu1~14.04
- ubuntu/libstdc 5 1:3.3.6-25ubuntu4
- ubuntu/libstdc 6 7.2.0-1ubuntu1~14.04
- ubuntu/libsvn1 1.8.8-1ubuntu3.3
- ubuntu/libtasn1-6-dev 3.4-3ubuntu0.6
- ubuntu/libtasn1-6 3.4-3ubuntu0.6
- ubuntu/libterm-ui-perl 0.42-1
- ubuntu/libtext-charwidth-perl 0.04-7build3
- ubuntu/libtext-iconv-perl 1.7-5build2
- ubuntu/libtext-soundex-perl 3.4-1build1
- ubuntu/libtext-wrapi18n-perl 0.06-7
- ubuntu/libthai-data 0.1.20-3
- ubuntu/libthai0 0.1.20-3
- ubuntu/libtiff5-dev 4.0.3-7ubuntu0.9
- ubuntu/libtiff5 4.0.3-7ubuntu0.9
- ubuntu/libtiffxx5 4.0.3-7ubuntu0.9
- ubuntu/libtimedate-perl 2.3000-1
- ubuntu/libtinfo-dev 5.9 20140118-1ubuntu1
- ubuntu/libtinfo5 5.9 20140118-1ubuntu1
- ubuntu/libtool 2.4.2-1.7ubuntu1
- ubuntu/libtsan0 7.2.0-1ubuntu1~14.04
- ubuntu/libubsan0 7.2.0-1ubuntu1~14.04
- ubuntu/libudev1 204-5ubuntu20.26
- ubuntu/libusb-0.1-4 2:0.1.12-23.3ubuntu1
- ubuntu/libustr-1.0-1 1.0.4-3ubuntu2
- ubuntu/libuuid1 2.20.1-5.1ubuntu20.9
- ubuntu/libvpx1 1.3.0-2
- ubuntu/libwebp-dev 0.4.0-4
- ubuntu/libwebp5 0.4.0-4
- ubuntu/libwebpdemux1 0.4.0-4
- ubuntu/libwebpmux1 0.4.0-4
- ubuntu/libwind0-heimdal 1.6~git20131207 dfsg-1ubuntu1.2
- ubuntu/libwmf-dev 0.2.8.4-10.3ubuntu1.14.04.1
- ubuntu/libwmf0.2-7 0.2.8.4-10.3ubuntu1.14.04.1
- ubuntu/libx11-6 2:1.6.2-1ubuntu2
- ubuntu/libx11-data 2:1.6.2-1ubuntu2
- ubuntu/libx11-dev 2:1.6.2-1ubuntu2
- ubuntu/libxau-dev 1:1.0.8-1
- ubuntu/libxau6 1:1.0.8-1
- ubuntu/libxaw7 2:1.0.12-1
- ubuntu/libxcb-render0-dev 1.10-2ubuntu1
- ubuntu/libxcb-render0 1.10-2ubuntu1
- ubuntu/libxcb-shm0-dev 1.10-2ubuntu1
- ubuntu/libxcb-shm0 1.10-2ubuntu1
- ubuntu/libxcb1-dev 1.10-2ubuntu1
- ubuntu/libxcb1 1.10-2ubuntu1
- ubuntu/libxcomposite1 1:0.4.4-1
- ubuntu/libxcursor1 1:1.1.14-1ubuntu0.14.04.1
- ubuntu/libxdamage1 1:1.1.4-1ubuntu1
- ubuntu/libxdmcp-dev 1:1.1.1-1
- ubuntu/libxdmcp6 1:1.1.1-1
- ubuntu/libxdot4 2.36.0-0ubuntu3.2
- ubuntu/libxext-dev 2:1.3.2-1ubuntu0.0.14.04.1
- ubuntu/libxext6 2:1.3.2-1ubuntu0.0.14.04.1
- ubuntu/libxfixes3 1:5.0.1-1ubuntu1.1
- ubuntu/libxi6 2:1.7.1.901-1ubuntu1.1
- ubuntu/libxinerama1 2:1.1.3-1
- ubuntu/libxml2-dev 2.9.1 dfsg1-3ubuntu4.12
- ubuntu/libxml2 2.9.1 dfsg1-3ubuntu4.12
- ubuntu/libxpm4 1:3.5.10-1ubuntu0.1
- ubuntu/libxrandr2 2:1.5.0-1~trusty1
- ubuntu/libxrender-dev 1:0.9.8-1build0.14.04.1
- ubuntu/libxrender1 1:0.9.8-1build0.14.04.1
- ubuntu/libxslt1-dev 1.1.28-2ubuntu0.1
- ubuntu/libxslt1.1 1.1.28-2ubuntu0.1
- ubuntu/libxt-dev 1:1.1.4-1
- ubuntu/libxt6 1:1.1.4-1
- ubuntu/libyaml-0-2 0.1.4-3ubuntu3.1
- ubuntu/libyaml-dev 0.1.4-3ubuntu3.1
- ubuntu/linux-libc-dev 3.13.0-144.193
- ubuntu/locales 2.13 git20120306-12.1
- ubuntu/lockfile-progs 0.1.17
- ubuntu/login 1:4.1.5.1-1ubuntu9.5
- ubuntu/logrotate 3.8.7-1ubuntu1.2
- ubuntu/lsb-base 4.1 Debian11ubuntu6.2
- ubuntu/lsb-release 4.1 Debian11ubuntu6.2
- ubuntu/m4 1.4.17-2ubuntu1
- ubuntu/make 3.81-8.2ubuntu3
- ubuntu/makedev 2.3.1-93ubuntu2~ubuntu14.04.1
- ubuntu/mawk 1.3.3-17ubuntu2
- ubuntu/mercurial-common 2.8.2-1ubuntu1.3
- ubuntu/mercurial 2.8.2-1ubuntu1.3
- ubuntu/mime-support 3.54ubuntu1.1
- ubuntu/module-init-tools 15-0ubuntu6
- ubuntu/mount 2.20.1-5.1ubuntu20.9
- ubuntu/mountall 2.53
- ubuntu/multiarch-support 2.19-0ubuntu6.14
- ubuntu/mysql-common 5.5.59-0ubuntu0.14.04.1
- ubuntu/ncurses-base 5.9 20140118-1ubuntu1
- ubuntu/ncurses-bin 5.9 20140118-1ubuntu1
- ubuntu/net-tools 1.60-25ubuntu2.1
- ubuntu/netbase 5.2
- ubuntu/netcat-openbsd 1.105-7ubuntu1
- ubuntu/ninja-build 1.3.4-1.1ubuntu0.14.04.1
- ubuntu/ntpdate 1:4.2.6.p5 dfsg-3ubuntu2.14.04.12
- ubuntu/openssh-client 1:6.6p1-2ubuntu2.10
- ubuntu/openssl 1.0.1f-1ubuntu2.24
- ubuntu/passwd 1:4.1.5.1-1ubuntu9.5
- ubuntu/patch 2.7.1-4ubuntu2.3
- ubuntu/perl-base 5.18.2-2ubuntu1.3
- ubuntu/perl-modules 5.18.2-2ubuntu1.3
- ubuntu/perl 5.18.2-2ubuntu1.3
- ubuntu/pkg-config 0.26-1ubuntu4
- ubuntu/plymouth 0.8.8-0ubuntu17.1
- ubuntu/procps 1:3.3.9-1ubuntu2.2
- ubuntu/python-apt-common 0.9.3.5ubuntu2
- ubuntu/python-bzrlib 2.6.0 bzr6593-1ubuntu1.6
- ubuntu/python-cairo 1.8.8-1ubuntu5
- ubuntu/python-chardet-whl 2.2.1-2~ubuntu1
- ubuntu/python-chardet 2.0.1-2build2
- ubuntu/python-colorama-whl 0.2.5-0.1ubuntu2
- ubuntu/python-colorama 0.2.5-0.1ubuntu2
- ubuntu/python-configobj 4.7.2 ds-5build1
- ubuntu/python-dev 2.7.5-5ubuntu3
- ubuntu/python-distlib-whl 0.1.8-1ubuntu1
- ubuntu/python-distlib 0.1.8-1ubuntu1
- ubuntu/python-gobject-2 2.28.6-12build1
- ubuntu/python-gtk2 2.24.0-3ubuntu3
- ubuntu/python-html5lib-whl 0.999-3~ubuntu1
- ubuntu/python-html5lib 0.999-3~ubuntu1
- ubuntu/python-minimal 2.7.5-5ubuntu3
- ubuntu/python-pip-whl 1.5.4-1ubuntu4
- ubuntu/python-pip 1.5.4-1ubuntu4
- ubuntu/python-pkg-resources 3.3-1ubuntu2
- ubuntu/python-pycurl 7.19.3-0ubuntu3
- ubuntu/python-requests-whl 2.2.1-1ubuntu0.3
- ubuntu/python-requests 2.2.1-1ubuntu0.3
- ubuntu/python-setuptools-whl 3.3-1ubuntu2
- ubuntu/python-setuptools 3.3-1ubuntu2
- ubuntu/python-six-whl 1.5.2-1ubuntu1
- ubuntu/python-six 1.5.2-1ubuntu1
- ubuntu/python-software-properties 0.92.37.8
- ubuntu/python-urllib3-whl 1.7.1-1ubuntu4
- ubuntu/python-urllib3 1.7.1-1ubuntu4
- ubuntu/python-wheel 0.24.0-1~ubuntu1
- ubuntu/python2.7-dev 2.7.6-8ubuntu0.4
- ubuntu/python2.7-minimal 2.7.6-8ubuntu0.4
- ubuntu/python2.7 2.7.6-8ubuntu0.4
- ubuntu/python3-apt 0.9.3.5ubuntu2
- ubuntu/python3-dbus 1.2.0-2build2
- ubuntu/python3-gi 3.12.0-1ubuntu1
- ubuntu/python3-minimal 3.4.0-0ubuntu2
- ubuntu/python3-pkg-resources 3.3-1ubuntu2
- ubuntu/python3-pycurl 7.19.3-0ubuntu3
- ubuntu/python3-software-properties 0.92.37.8
- ubuntu/python3.4-minimal 3.4.3-1ubuntu1~14.04.6
- ubuntu/python3.4 3.4.3-1ubuntu1~14.04.6
- ubuntu/python3 3.4.0-0ubuntu2
- ubuntu/python 2.7.5-5ubuntu3
- ubuntu/readline-common 6.3-4ubuntu2
- ubuntu/resolvconf 1.69ubuntu1.4
- ubuntu/rsyslog 7.4.4-1ubuntu2.7
- ubuntu/sed 4.2.2-4ubuntu1
- ubuntu/sensible-utils 0.0.9ubuntu0.14.04.1
- ubuntu/shared-mime-info 1.2-0ubuntu3
- ubuntu/software-properties-common 0.92.37.8
- ubuntu/subversion 1.8.8-1ubuntu3.3
- ubuntu/sudo 1.8.9p5-1ubuntu1.4
- ubuntu/sysv-rc 2.88dsf-41ubuntu6.3
- ubuntu/sysvinit-utils 2.88dsf-41ubuntu6.3
- ubuntu/tar 1.27.1-1ubuntu0.1
- ubuntu/tzdata 2017c-0ubuntu0.14.04
- ubuntu/ubuntu-keyring 2012.05.19
- ubuntu/ubuntu-minimal 1.325
- ubuntu/ucf 3.0027 nmu1
- ubuntu/udev 204-5ubuntu20.26
- ubuntu/unattended-upgrades 0.82.1ubuntu2.5
- ubuntu/upstart 1.12.1-0ubuntu4.2
- ubuntu/ureadahead 0.100.0-16
- ubuntu/util-linux 2.20.1-5.1ubuntu20.9
- ubuntu/vim-common 2:7.4.052-1ubuntu3.1
- ubuntu/vim-tiny 2:7.4.052-1ubuntu3.1
- ubuntu/wget 1.15-1ubuntu1.14.04.3
- ubuntu/whiptail 0.52.15-2ubuntu5
- ubuntu/x11-common 1:7.7 1ubuntu8.1
- ubuntu/x11proto-core-dev 7.0.26-1~ubuntu2
- ubuntu/x11proto-input-dev 2.3-1
- ubuntu/x11proto-kb-dev 1.0.6-2
- ubuntu/x11proto-render-dev 2:0.11.1-2
- ubuntu/x11proto-xext-dev 7.3.0-1
- ubuntu/xdot 0.5-2ubuntu0.1
- ubuntu/xkb-data 2.10.1-1ubuntu1
- ubuntu/xorg-sgml-doctools 1:1.11-1
- ubuntu/xtrans-dev 1.3.5-1~ubuntu14.04.2
- ubuntu/xz-utils 5.1.1alpha 20120614-2ubuntu2
- ubuntu/zlib1g-dev 1:1.2.8.dfsg-1ubuntu1
- ubuntu/zlib1g 1:1.2.8.dfsg-1ubuntu1
- xdot 0.5
- OutputCheck 0.4.1
- PyGObject 3.12.0
- argparse 1.2.1
- bzr 2.7.0dev1
- chardet 2.0.1
- colorama 0.2.5
- configobj 4.7.2
- html5lib 0.999
- lit 0.6.0
- mercurial 2.8.2
- pip 1.5.4
- pycurl 7.19.3
- python-apt 0.9.3.5ubuntu2
- requests 2.2.1
- setuptools 3.3
- six 1.5.2
- unattended-upgrades 0.1
- urllib3 1.7.1
- wheel 0.24.0
- wsgiref 0.1.2