Ecosyste.ms: Docker
An open API service providing dependency metadata for docker images.
mdernst/xenial-for-verdi-coq8.5-32bit : latest
Latest release: almost 7 years ago - 95 downloads - 504 dependencies
JSONDependencies
- ubuntu/acl 2.2.52-3
- ubuntu/adduser 3.113 nmu3ubuntu4
- ubuntu/adwaita-icon-theme 3.18.0-2ubuntu3.1
- ubuntu/aglfn 1.7-3
- ubuntu/apt-utils 1.2.24
- ubuntu/apt 1.2.24
- ubuntu/aspcud 1:1.9.1-2
- ubuntu/at-spi2-core 2.18.3-4ubuntu1
- ubuntu/base-files 9.4ubuntu4.5
- ubuntu/base-passwd 3.5.39
- ubuntu/bash 4.3-14ubuntu1.2
- ubuntu/binutils 2.26.1-1ubuntu1~16.04.5
- ubuntu/bsdutils 1:2.27.1-6ubuntu3.3
- ubuntu/build-essential 12.1ubuntu2
- ubuntu/bzip2 1.0.6-8
- ubuntu/ca-certificates 20170717~16.04.1
- ubuntu/camlp4 4.02.1 3-2
- ubuntu/clasp 3.1.4-1
- ubuntu/colord-data 1.2.12-1ubuntu1
- ubuntu/colord 1.2.12-1ubuntu1
- ubuntu/coreutils 8.25-2ubuntu3~16.04
- ubuntu/cpp-5 5.4.0-6ubuntu1~16.04.5
- ubuntu/cpp 4:5.3.1-1ubuntu1
- ubuntu/cron 3.0pl1-128ubuntu2
- ubuntu/darcs 2.10.2-1
- ubuntu/dash 0.5.8-2.1ubuntu2
- ubuntu/dbus 1.10.6-1ubuntu3.3
- ubuntu/dconf-gsettings-backend 0.24.0-2
- ubuntu/dconf-service 0.24.0-2
- 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.6
- ubuntu/dpkg-dev 1.18.4ubuntu1.3
- ubuntu/dpkg 1.18.4ubuntu1.3
- ubuntu/e2fslibs 1.42.13-1ubuntu1
- ubuntu/e2fsprogs 1.42.13-1ubuntu1
- ubuntu/fakeroot 1.20.2-1ubuntu1
- ubuntu/file 1:5.25-2ubuntu1
- 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/g -5-multilib 5.4.0-6ubuntu1~16.04.5
- ubuntu/g -5 5.4.0-6ubuntu1~16.04.5
- ubuntu/g -multilib 4:5.3.1-1ubuntu1
- ubuntu/g 4:5.3.1-1ubuntu1
- ubuntu/gawk 1:4.1.3 dfsg-0.1
- ubuntu/gcc-5-base 5.4.0-6ubuntu1~16.04.5
- ubuntu/gcc-5-multilib 5.4.0-6ubuntu1~16.04.5
- ubuntu/gcc-5 5.4.0-6ubuntu1~16.04.5
- ubuntu/gcc-6-base 6.0.1-0ubuntu1
- ubuntu/gcc-multilib 4:5.3.1-1ubuntu1
- ubuntu/gcc 4:5.3.1-1ubuntu1
- ubuntu/gir1.2-glib-2.0 1.46.0-3ubuntu1
- ubuntu/git-man 1:2.7.4-0ubuntu1.3
- ubuntu/git 1:2.7.4-0ubuntu1.3
- ubuntu/glib-networking-common 2.48.2-1~ubuntu16.04.1
- ubuntu/glib-networking-services 2.48.2-1~ubuntu16.04.1
- ubuntu/glib-networking 2.48.2-1~ubuntu16.04.1
- ubuntu/gnupg 1.4.20-1ubuntu3.1
- ubuntu/gnuplot-tex 4.6.6-3
- ubuntu/gnuplot5-data 5.0.3 dfsg2-1
- ubuntu/gnuplot5-qt 5.0.3 dfsg2-1
- ubuntu/gnuplot 4.6.6-3
- ubuntu/gpgv 1.4.20-1ubuntu3.1
- ubuntu/grep 2.25-1~16.04.1
- ubuntu/gringo 4.5.4-1
- ubuntu/gsettings-desktop-schemas 3.18.1-1ubuntu1
- ubuntu/gzip 1.6-4ubuntu1
- ubuntu/hicolor-icon-theme 0.15-0ubuntu1
- ubuntu/hostname 3.16ubuntu2
- ubuntu/humanity-icon-theme 0.6.10.1
- ubuntu/ifupdown 0.8.10ubuntu1.2
- ubuntu/init-system-helpers 1.29ubuntu4
- ubuntu/init 1.29ubuntu4
- ubuntu/initscripts 2.88dsf-59.3ubuntu2
- ubuntu/insserv 1.14.0-5ubuntu3
- ubuntu/iproute2 4.3.0-1ubuntu3.16.04.2
- ubuntu/isc-dhcp-client 4.3.3-5ubuntu12.7
- ubuntu/isc-dhcp-common 4.3.3-5ubuntu12.7
- ubuntu/iso-codes 3.65-1
- ubuntu/javascript-common 11
- ubuntu/krb5-locales 1.13.2 dfsg-5ubuntu2
- ubuntu/ledit 2.03-4build1
- ubuntu/less 481-2.1ubuntu0.2
- ubuntu/lib32asan2 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32atomic1 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32cilkrts5 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32gcc-5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32gcc1 1:6.0.1-0ubuntu1
- ubuntu/lib32gomp1 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32itm1 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32mpx0 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32quadmath0 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32stdc -5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/libpcre16-3 2:8.38-3.1
- ubuntu/lib32stdc 6 5.4.0-6ubuntu1~16.04.5
- ubuntu/lib32ubsan0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libacl1 2.2.52-3
- ubuntu/libalgorithm-diff-perl 1.19.03-1
- ubuntu/libalgorithm-diff-xs-perl 0.04-4build1
- ubuntu/libalgorithm-merge-perl 0.08-3
- ubuntu/libapparmor1 2.10.95-0ubuntu2.7
- ubuntu/libapt-inst2.0 1.2.24
- ubuntu/libapt-pkg5.0 1.2.24
- ubuntu/libasan2 5.4.0-6ubuntu1~16.04.5
- ubuntu/libasn1-8-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1
- ubuntu/libatk-bridge2.0-0 2.18.1-2ubuntu1
- ubuntu/libatk1.0-0 2.18.0-1
- ubuntu/libatk1.0-data 2.18.0-1
- ubuntu/libatm1 1:2.5.1-1.5
- ubuntu/libatomic1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libatspi2.0-0 2.18.3-4ubuntu1
- ubuntu/libattr1 1:2.4.47-2
- ubuntu/libaudit-common 1:2.4.5-1ubuntu2
- ubuntu/libaudit1 1:2.4.5-1ubuntu2
- ubuntu/libavahi-client3 0.6.32~rc dfsg-1ubuntu2
- ubuntu/libavahi-common-data 0.6.32~rc dfsg-1ubuntu2
- ubuntu/libavahi-common3 0.6.32~rc dfsg-1ubuntu2
- ubuntu/libblkid1 2.27.1-6ubuntu3.3
- ubuntu/libboost-filesystem1.58.0 1.58.0 dfsg-5ubuntu3.1
- ubuntu/libboost-system1.58.0 1.58.0 dfsg-5ubuntu3.1
- ubuntu/libbsd0 0.8.2-1
- ubuntu/libbz2-1.0 1.0.6-8
- ubuntu/libc-bin 2.23-0ubuntu9
- ubuntu/libc-dev-bin 2.23-0ubuntu9
- ubuntu/libc6-dev-i386 2.23-0ubuntu9
- ubuntu/libc6-dev-x32 2.23-0ubuntu9
- ubuntu/libc6-dev 2.23-0ubuntu9
- ubuntu/libc6-i386 2.23-0ubuntu9
- ubuntu/libc6-x32 2.23-0ubuntu9
- ubuntu/libc6 2.23-0ubuntu9
- ubuntu/libcairo-gobject2 1.14.6-1
- ubuntu/libcairo2 1.14.6-1
- ubuntu/libcamlp4-ocaml-dev 4.02.1 3-2
- ubuntu/libcap-ng0 0.7.7-1
- ubuntu/libcap2-bin 1:2.24-12
- ubuntu/libcap2 1:2.24-12
- ubuntu/libcapnp-0.5.3 0.5.3-2ubuntu1
- ubuntu/libcc1-0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libcilkrts5 5.4.0-6ubuntu1~16.04.5
- ubuntu/libcolord2 1.2.12-1ubuntu1
- ubuntu/libcolorhug2 1.2.12-1ubuntu1
- 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.3
- ubuntu/libcurl3-gnutls 7.47.0-1ubuntu2.5
- ubuntu/libdatrie1 0.2.10-2
- 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/libdconf1 0.24.0-2
- ubuntu/libdebconfclient0 0.198ubuntu1
- ubuntu/libdevmapper1.02.1 2:1.02.110-1ubuntu10
- ubuntu/libdns-export162 1:9.10.3.dfsg.P4-8ubuntu1.9
- ubuntu/libdpkg-perl 1.18.4ubuntu1.3
- ubuntu/libdrm-amdgpu1 2.4.83-1~16.04.1
- ubuntu/libdrm-common 2.4.83-1~16.04.1
- ubuntu/libdrm-intel1 2.4.83-1~16.04.1
- ubuntu/libdrm-nouveau2 2.4.83-1~16.04.1
- ubuntu/libdrm-radeon1 2.4.83-1~16.04.1
- ubuntu/libdrm2 2.4.83-1~16.04.1
- ubuntu/libedit2 3.1-20150325-1ubuntu2
- ubuntu/libegl1-mesa 17.2.4-0ubuntu1~16.04.2
- ubuntu/libelf1 0.165-3ubuntu1
- ubuntu/libepoxy0 1.3.1-1ubuntu0.16.04.2
- ubuntu/liberror-perl 0.17-1.2
- ubuntu/libevdev2 1.4.6 dfsg-1
- ubuntu/libexif12 0.6.21-2
- ubuntu/libexpat1 2.1.0-7ubuntu0.16.04.3
- ubuntu/libfakeroot 1.20.2-1ubuntu1
- ubuntu/libfdisk1 2.27.1-6ubuntu3.3
- ubuntu/libffi6 3.2.1-4
- ubuntu/libfile-fcntllock-perl 0.22-3
- ubuntu/libfindlib-ocaml-dev 1.5.5-2build1
- ubuntu/libfindlib-ocaml 1.5.5-2build1
- ubuntu/libfontconfig1 2.11.94-0ubuntu1.1
- ubuntu/libfreetype6 2.6.1-0.1ubuntu2.3
- ubuntu/libgbm1 17.2.4-0ubuntu1~16.04.2
- ubuntu/libgcc-5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/libgcc1 1:6.0.1-0ubuntu1
- ubuntu/libgcrypt20 1.6.5-2ubuntu0.3
- ubuntu/libgd3 2.1.1-4ubuntu0.16.04.8
- ubuntu/libgdbm3 1.8.3-13.1
- ubuntu/libgdk-pixbuf2.0-0 2.32.2-1ubuntu1.3
- ubuntu/libgdk-pixbuf2.0-common 2.32.2-1ubuntu1.3
- ubuntu/libgirepository-1.0-1 1.46.0-3ubuntu1
- ubuntu/libgl1-mesa-dri 17.2.4-0ubuntu1~16.04.2
- ubuntu/libgl1-mesa-glx 17.2.4-0ubuntu1~16.04.2
- ubuntu/libglapi-mesa 17.2.4-0ubuntu1~16.04.2
- ubuntu/libglib2.0-0 2.48.2-0ubuntu1
- ubuntu/libglib2.0-data 2.48.2-0ubuntu1
- ubuntu/libgmp10 2:6.1.0 dfsg-2
- ubuntu/libgnutls30 3.4.10-4ubuntu1.4
- ubuntu/libgomp1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libgpg-error0 1.21-2ubuntu1
- ubuntu/libgphoto2-6 2.5.9-3
- ubuntu/libgphoto2-l10n 2.5.9-3
- ubuntu/libgphoto2-port12 2.5.9-3
- ubuntu/libgraphite2-3 1.3.10-0ubuntu0.16.04.1
- ubuntu/libgssapi-krb5-2 1.13.2 dfsg-5ubuntu2
- ubuntu/libgssapi3-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1
- ubuntu/libgtk-3-0 3.18.9-1ubuntu3.3
- ubuntu/libgtk-3-bin 3.18.9-1ubuntu3.3
- ubuntu/libgtk-3-common 3.18.9-1ubuntu3.3
- ubuntu/libgtk2.0-0 2.24.30-1ubuntu1.16.04.2
- ubuntu/libgtk2.0-bin 2.24.30-1ubuntu1.16.04.2
- ubuntu/libgtk2.0-common 2.24.30-1ubuntu1.16.04.2
- ubuntu/libgudev-1.0-0 1:230-2
- ubuntu/libgusb2 0.2.9-0ubuntu1
- 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/libice6 2:1.0.9-1
- ubuntu/libicu55 55.1-7ubuntu0.3
- ubuntu/libidn11 1.32-3ubuntu1.2
- ubuntu/libieee1284-3 0.2.11-12
- ubuntu/libinput-bin 1.6.3-1ubuntu1~16.04.1
- ubuntu/libinput10 1.6.3-1ubuntu1~16.04.1
- ubuntu/libisc-export160 1:9.10.3.dfsg.P4-8ubuntu1.9
- ubuntu/libisl15 0.16.1-1
- ubuntu/libitm1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libjbig0 2.1-3.1
- ubuntu/libjpeg-turbo8 1.4.2-0ubuntu3
- ubuntu/libjpeg8 8c-2ubuntu8
- ubuntu/libjs-excanvas 0.r3-4
- ubuntu/libjson-glib-1.0-0 1.1.2-0ubuntu1
- ubuntu/libjson-glib-1.0-common 1.1.2-0ubuntu1
- ubuntu/libk5crypto3 1.13.2 dfsg-5ubuntu2
- ubuntu/libkeyutils1 1.5.9-8ubuntu1
- ubuntu/libkmod2 22-1ubuntu5
- ubuntu/libkrb5-26-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1
- ubuntu/libkrb5-3 1.13.2 dfsg-5ubuntu2
- ubuntu/libkrb5support0 1.13.2 dfsg-5ubuntu2
- ubuntu/liblcms2-2 2.6-3ubuntu2
- ubuntu/libldap-2.4-2 2.4.42 dfsg-2ubuntu3.2
- ubuntu/libllvm5.0 1:5.0-3~16.04.1
- ubuntu/liblsan0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libltdl7 2.4.6-0.1
- ubuntu/liblua5.1-0 5.1.5-8ubuntu1
- ubuntu/liblua5.2-0 5.2.4-1ubuntu1
- ubuntu/liblz4-1 0.0~r131-2ubuntu2
- ubuntu/liblzma5 5.1.1alpha 20120614-2ubuntu2
- ubuntu/libmagic1 1:5.25-2ubuntu1
- ubuntu/libmirclient9 0.26.3 16.04.20170605-0ubuntu1.1
- ubuntu/libmircommon7 0.26.3 16.04.20170605-0ubuntu1.1
- ubuntu/libmircore1 0.26.3 16.04.20170605-0ubuntu1.1
- ubuntu/libmirprotobuf3 0.26.3 16.04.20170605-0ubuntu1.1
- ubuntu/libmnl0 1.0.3-5
- ubuntu/libmount1 2.27.1-6ubuntu3.3
- ubuntu/libmpc3 1.0.3-1
- ubuntu/libmpdec2 2.4.2-1
- ubuntu/libmpfr4 3.1.4-1
- ubuntu/libmpx0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libmtdev1 1.1.5-1ubuntu2
- ubuntu/libncurses5-dev 6.0 20160213-1ubuntu1
- ubuntu/libncurses5 6.0 20160213-1ubuntu1
- ubuntu/libncursesw5 6.0 20160213-1ubuntu1
- ubuntu/libnettle6 3.2-1ubuntu0.16.04.1
- ubuntu/libnotify4 0.7.6-2svn1
- ubuntu/libp11-kit0 0.23.2-5~ubuntu16.04.1
- ubuntu/libpam-modules-bin 1.1.8-3.2ubuntu2
- ubuntu/libpam-modules 1.1.8-3.2ubuntu2
- ubuntu/libpam-runtime 1.1.8-3.2ubuntu2
- ubuntu/libpam-systemd 229-4ubuntu21
- ubuntu/libpam0g 1.1.8-3.2ubuntu2
- 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/libpciaccess0 0.13.4-1
- ubuntu/libpcre3 2:8.38-3.1
- ubuntu/libperl5.22 5.22.1-9ubuntu0.2
- ubuntu/libpixman-1-0 0.33.6-1
- ubuntu/libpng12-0 1.2.54-1ubuntu1
- ubuntu/libpolkit-agent-1-0 0.105-14.1
- ubuntu/libpolkit-backend-1-0 0.105-14.1
- ubuntu/libpolkit-gobject-1-0 0.105-14.1
- ubuntu/libpopt0 1.16-10
- ubuntu/libprocps4 2:3.3.10-4ubuntu2.3
- ubuntu/libprotobuf-lite9v5 2.6.1-1.3
- ubuntu/libproxy1v5 0.4.11-5ubuntu1
- ubuntu/libpthread-stubs0-dev 0.3-4
- ubuntu/libpython-stdlib 2.7.11-1
- ubuntu/libpython2.7-minimal 2.7.12-1ubuntu0~16.04.2
- ubuntu/libpython2.7-stdlib 2.7.12-1ubuntu0~16.04.2
- ubuntu/libpython2.7 2.7.12-1ubuntu0~16.04.2
- ubuntu/libpython3-stdlib 3.5.1-3
- ubuntu/libpython3.5-minimal 3.5.2-2ubuntu0~16.04.4
- ubuntu/libpython3.5-stdlib 3.5.2-2ubuntu0~16.04.4
- ubuntu/libqt5core5a 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libqt5dbus5 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libqt5gui5 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libqt5network5 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libqt5printsupport5 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libqt5svg5 5.5.1-2build1
- ubuntu/libqt5widgets5 5.5.1 dfsg-16ubuntu7.5
- ubuntu/libquadmath0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libreadline6 6.3-8ubuntu2
- ubuntu/librest-0.7-0 0.7.93-1
- 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/librtmp1 2.4 20151223.gitfa8646d-1ubuntu0.1
- ubuntu/libsane-common 1.0.25 git20150528-1ubuntu2.16.04.1
- ubuntu/libsane 1.0.25 git20150528-1ubuntu2.16.04.1
- ubuntu/libsasl2-2 2.1.26.dfsg1-14build1
- ubuntu/libsasl2-modules-db 2.1.26.dfsg1-14build1
- ubuntu/libsasl2-modules 2.1.26.dfsg1-14build1
- ubuntu/libseccomp2 2.2.3-3ubuntu3
- ubuntu/libselinux1 2.4-3build2
- ubuntu/libsemanage-common 2.3-1build3
- ubuntu/libsemanage1 2.3-1build3
- ubuntu/libsensors4 1:3.4.0-2
- ubuntu/libsepol1 2.4-2
- ubuntu/libsigsegv2 2.10-4
- ubuntu/libsm6 2:1.2.2-1
- ubuntu/libsmartcols1 2.27.1-6ubuntu3.3
- ubuntu/libsoup-gnome2.4-1 2.52.2-1ubuntu0.2
- ubuntu/libsoup2.4-1 2.52.2-1ubuntu0.2
- ubuntu/libsqlite3-0 3.11.0-1ubuntu1
- ubuntu/libss2 1.42.13-1ubuntu1
- ubuntu/libssl1.0.0 1.0.2g-1ubuntu4.10
- ubuntu/libstdc -5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/libstdc 6 5.4.0-6ubuntu1~16.04.5
- ubuntu/libsystemd0 229-4ubuntu21
- ubuntu/libtasn1-6 4.7-3ubuntu0.16.04.2
- ubuntu/libtbb2 4.4~20151115-0ubuntu3
- ubuntu/libthai-data 0.1.24-2
- ubuntu/libthai0 0.1.24-2
- ubuntu/libtiff5 4.0.6-1ubuntu0.2
- ubuntu/libtinfo-dev 6.0 20160213-1ubuntu1
- ubuntu/libtinfo5 6.0 20160213-1ubuntu1
- ubuntu/libtsan0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libtxc-dxtn-s2tc0 0~git20131104-1.1
- ubuntu/libubsan0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libudev1 229-4ubuntu21
- ubuntu/libusb-0.1-4 2:0.1.12-28
- ubuntu/libusb-1.0-0 2:1.0.20-1
- ubuntu/libustr-1.0-1 1.0.4-5
- ubuntu/libuuid1 2.27.1-6ubuntu3.3
- ubuntu/libvpx3 1.5.0-2ubuntu1
- ubuntu/libwacom-bin 0.22-1~ubuntu16.04.1
- ubuntu/libwacom-common 0.22-1~ubuntu16.04.1
- ubuntu/libwacom2 0.22-1~ubuntu16.04.1
- ubuntu/libwayland-client0 1.12.0-1~ubuntu16.04.2
- ubuntu/libwayland-cursor0 1.12.0-1~ubuntu16.04.2
- ubuntu/libwayland-egl1-mesa 17.2.4-0ubuntu1~16.04.2
- ubuntu/libwayland-server0 1.12.0-1~ubuntu16.04.2
- ubuntu/libwind0-heimdal 1.7~git20150920 dfsg-4ubuntu1.16.04.1
- ubuntu/libwxbase3.0-0v5 3.0.2 dfsg-1.3ubuntu0.1
- ubuntu/libwxgtk3.0-0v5 3.0.2 dfsg-1.3ubuntu0.1
- ubuntu/libx11-6 2:1.6.3-1ubuntu2
- ubuntu/libx11-data 2:1.6.3-1ubuntu2
- ubuntu/libx11-dev 2:1.6.3-1ubuntu2
- ubuntu/libx11-doc 2:1.6.3-1ubuntu2
- ubuntu/libx11-xcb1 2:1.6.3-1ubuntu2
- ubuntu/libx32asan2 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32atomic1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32cilkrts5 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32gcc-5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32gcc1 1:6.0.1-0ubuntu1
- ubuntu/libx32gomp1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32itm1 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32quadmath0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32stdc -5-dev 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32stdc 6 5.4.0-6ubuntu1~16.04.5
- ubuntu/libx32ubsan0 5.4.0-6ubuntu1~16.04.5
- ubuntu/libxau-dev 1:1.0.8-1
- ubuntu/libxau6 1:1.0.8-1
- ubuntu/libxcb-dri2-0 1.11.1-1ubuntu1
- ubuntu/libxcb-dri3-0 1.11.1-1ubuntu1
- ubuntu/libxcb-glx0 1.11.1-1ubuntu1
- ubuntu/libxcb-icccm4 0.4.1-1ubuntu1
- ubuntu/libxcb-image0 0.4.0-1build1
- ubuntu/libxcb-keysyms1 0.4.0-1
- ubuntu/libxcb-present0 1.11.1-1ubuntu1
- ubuntu/libxcb-randr0 1.11.1-1ubuntu1
- ubuntu/libxcb-render-util0 0.3.9-1
- ubuntu/libxcb-render0 1.11.1-1ubuntu1
- ubuntu/libxcb-shape0 1.11.1-1ubuntu1
- ubuntu/libxcb-shm0 1.11.1-1ubuntu1
- ubuntu/libxcb-sync1 1.11.1-1ubuntu1
- ubuntu/libxcb-util1 0.4.0-0ubuntu3
- ubuntu/libxcb-xfixes0 1.11.1-1ubuntu1
- ubuntu/libxcb-xkb1 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.1
- 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/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/libxkbcommon-x11-0 0.5.0-1ubuntu2
- ubuntu/libxkbcommon0 0.5.0-1ubuntu2
- ubuntu/libxml2 2.9.3 dfsg1-1ubuntu0.5
- ubuntu/libxmuu1 2:1.1.2-2
- ubuntu/libxpm4 1:3.5.11-1ubuntu0.16.04.1
- ubuntu/libxrandr2 2:1.5.0-1
- ubuntu/libxrender1 1:0.9.9-0ubuntu1
- ubuntu/libxshmfence1 1.2-1
- ubuntu/libxtables11 1.6.0-2ubuntu3
- ubuntu/libxtst6 2:1.2.2-1
- ubuntu/libxxf86vm1 1:1.1.4-1
- ubuntu/linux-libc-dev 4.4.0-109.132
- ubuntu/login 1:4.2-3.1ubuntu5.3
- 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/manpages-dev 4.04-2
- ubuntu/manpages 4.04-2
- ubuntu/mawk 1.3.3-17ubuntu2
- ubuntu/mercurial-common 3.7.3-1ubuntu1
- ubuntu/mercurial 3.7.3-1ubuntu1
- ubuntu/mime-support 3.59ubuntu1
- ubuntu/mount 2.27.1-6ubuntu3.3
- ubuntu/multiarch-support 2.23-0ubuntu9
- ubuntu/ncurses-base 6.0 20160213-1ubuntu1
- ubuntu/ncurses-bin 6.0 20160213-1ubuntu1
- ubuntu/netbase 5.3
- ubuntu/notification-daemon 3.18.2-1
- ubuntu/ocaml-base-nox 4.02.3-5ubuntu2
- ubuntu/ocaml-base 4.02.3-5ubuntu2
- ubuntu/ocaml-compiler-libs 4.02.3-5ubuntu2
- ubuntu/ocaml-findlib 1.5.5-2build1
- ubuntu/ocaml-interp 4.02.3-5ubuntu2
- ubuntu/ocaml-nox 4.02.3-5ubuntu2
- ubuntu/ocaml 4.02.3-5ubuntu2
- ubuntu/opam-docs 1.2.2-4
- ubuntu/opam 1.2.2-4
- ubuntu/openssh-client 1:7.2p2-4ubuntu2.2
- ubuntu/openssl 1.0.2g-1ubuntu4.10
- ubuntu/passwd 1:4.2-3.1ubuntu5.3
- ubuntu/patch 2.7.5-1
- ubuntu/perl-base 5.22.1-9ubuntu0.2
- ubuntu/perl-modules-5.22 5.22.1-9ubuntu0.2
- ubuntu/perl 5.22.1-9ubuntu0.2
- ubuntu/policykit-1 0.105-14.1
- ubuntu/procps 2:3.3.10-4ubuntu2.3
- ubuntu/python-apt-common 1.1.0~beta1build1
- ubuntu/python-minimal 2.7.11-1
- ubuntu/python2.7-minimal 2.7.12-1ubuntu0~16.04.2
- ubuntu/python2.7 2.7.12-1ubuntu0~16.04.2
- ubuntu/python3-apt 1.1.0~beta1build1
- 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.7
- ubuntu/python3.5-minimal 3.5.2-2ubuntu0~16.04.4
- ubuntu/python3.5 3.5.2-2ubuntu0~16.04.4
- ubuntu/python3 3.5.1-3
- ubuntu/python 2.7.11-1
- ubuntu/qttranslations5-l10n 5.5.1-2build1
- ubuntu/readline-common 6.3-8ubuntu2
- ubuntu/rename 0.20-4
- ubuntu/rsync 3.1.1-3ubuntu1.1
- ubuntu/sed 4.2.2-7
- ubuntu/sensible-utils 0.0.9
- ubuntu/sgml-base 1.26 nmu4ubuntu1
- ubuntu/shared-mime-info 1.5-2ubuntu0.1
- ubuntu/software-properties-common 0.96.20.7
- ubuntu/systemd-sysv 229-4ubuntu21
- ubuntu/systemd 229-4ubuntu21
- 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/ubuntu-mono 14.04 16.04.20161024-0ubuntu1
- ubuntu/ucf 3.0036
- ubuntu/unattended-upgrades 0.90ubuntu0.9
- ubuntu/unzip 6.0-20ubuntu1
- ubuntu/util-linux 2.27.1-6ubuntu3.3
- ubuntu/wget 1.17.1-1ubuntu1.3
- ubuntu/x11-common 1:7.7 13ubuntu3
- 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/xauth 1:1.0.9-1ubuntu2
- ubuntu/xdg-user-dirs 0.15-2ubuntu6
- ubuntu/xkb-data 2.16-1ubuntu1
- ubuntu/xml-core 0.13 nmu2
- 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 1:1.2.8.dfsg-2ubuntu4.1
- PyGObject 3.20.0
- argparse 1.2.1
- mercurial 3.7.3
- pycurl 7.43.0
- python-apt 1.1.0.b1
- unattended-upgrades 0.1
- wsgiref 0.1.2