[libre-riscv-dev] Routing a first nmigen disign with Corilis

Jean-Paul Chaput Jean-Paul.Chaput at lip6.fr
Tue Feb 11 13:47:42 GMT 2020


On Tue, 2020-02-11 at 12:37 +0000, Luke Kenneth Casson Leighton wrote:
> On Tue, Feb 11, 2020 at 1:10 AM Jean-Paul Chaput
> <Jean-Paul.Chaput at lip6.fr> wrote:
> > 
> > 
> > I've just recompiled inside a Debian 9 schrooted environement, mostly
> > following your guidelines, and I do not have any problems.
> 
> *drumming fingers*... just with export CHECK_TOOLKIT and export
> YOSYS_TOP in addition to eval coriolisEnv.py?  (that's all i have in
> user-lkcl.mk)?
> 
> > All the benches and the ARM works ok.
> 
> hmmm....
> 
> > So both docker and chroot are OK on my side.
> 
> hmmm....  and you didn't try "make -j16 install" or anything, just
> "make -j1 install"?

  I build Alliance in "-j1", the parallel build has always caused
  problems. But in this case, the compilation fail, It do not create
  faulty binaries.

  Coriolis I build in "-j3" (I have 4 cores/8 threads) but do not
  want to overheat...

  I'm writing scripts (Python and a little bash) to automate as
  much as possible the install procedure for chrooted Debian.


> could you do dpkg -l > /tmp/dpkg-list, then bzip2 it, and share the
> results? we need to double-check that we have the same packages
> installed.  it *might* be the case for example that security updates
> or something are also included.

  I did put that in attachement (Debian 9, with all updates).
  In addition, the host  OS is Scientific Linux 7 (RHEL7/CentOS7)
  up to date. The kernel is:
    Linux lepka 5.1.12-1.el7.elrepo.x86_64 #1 SMP Wed Jun 19 08:49:21 EDT 2019 x86_64 x86_64 x86_64 GNU/Linux
  (comes from ELrepo).

  I will be unreachable from Wednesday afternoon until Saturday,
  so not worry if I do not respond (will be somewhere in Disneyland Paris :-) ).

> tobias, cole, this is important for both of you to help replicate as
> well, to see where the problem might be.
> 
> l.
> _______________________________________________
> libre-riscv-dev mailing list
> libre-riscv-dev at lists.libre-riscv.org
> http://lists.libre-riscv.org/mailman/listinfo/libre-riscv-dev
-- 

      .-.     J e a n - P a u l   C h a p u t  /  Administrateur Systeme
      /v\     Jean-Paul.Chaput at lip6.fr
    /(___)\   work: (33) 01.44.27.53.99              
     ^^ ^^    cell:      06.66.25.35.55   home: 09.65.29.83.38

    U P M C   Universite Pierre & Marie Curie
    L I P 6   Laboratoire d'Informatique de Paris VI
    S o C     System On Chip
-------------- next part --------------
Desired=Unknown/Install/Remove/Purge/Hold
| Status=Not/Inst/Conf-files/Unpacked/halF-conf/Half-inst/trig-aWait/Trig-pend
|/ Err?=(none)/Reinst-required (Status,Err: uppercase=bad)
||/ Name                                   Version                           Architecture Description
+++-======================================-=================================-============-================================================================================================
ii  adduser                                3.115                             all          add and remove users and groups
ii  adwaita-icon-theme                     3.22.0-1+deb9u1                   all          default icon theme of GNOME
ii  apt                                    1.4.9                             amd64        commandline package manager
ii  apt-utils                              1.4.9                             amd64        package management related utility programs
ii  at-spi2-core                           2.22.0-6+deb9u1                   amd64        Assistive Technology Service Provider Interface (dbus core)
ii  autoconf                               2.69-10                           all          automatic configure script builder
ii  automake                               1:1.15-6                          all          Tool for generating GNU Standards-compliant Makefiles
ii  autotools-dev                          20161112.1                        all          Update infrastructure for config.{guess,sub} files
ii  base-files                             9.9+deb9u12                       amd64        Debian base system miscellaneous files
ii  base-passwd                            3.5.43                            amd64        Debian base system master password and group files
ii  bash                                   4.4-5                             amd64        GNU Bourne Again SHell
ii  berkeley-abc                           1.01+20161002hgeb6eca6+dfsg-1     amd64        ABC - A System for Sequential Synthesis and Verification
ii  binutils                               2.28-5                            amd64        GNU assembler, linker and binary utilities
ii  binutils-dev                           2.28-5                            amd64        GNU binary utilities (BFD development files)
ii  bison                                  2:3.0.4.dfsg-1+b1                 amd64        YACC-compatible parser generator
ii  bsdmainutils                           9.0.12+nmu1                       amd64        collection of more utilities from FreeBSD
ii  bsdutils                               1:2.29.2-1+deb9u1                 amd64        basic utilities from 4.4BSD-Lite
ii  build-essential                        12.3                              amd64        Informational list of build-essential packages
ii  bzip2                                  1.0.6-8.1                         amd64        high-quality block-sorting file compressor - utilities
ii  bzip2-doc                              1.0.6-8.1                         all          high-quality block-sorting file compressor - documentation
ii  ca-certificates                        20161130+nmu1+deb9u1              all          Common CA certificates
ii  cmake                                  3.7.2-1                           amd64        cross-platform, open-source make system
ii  cmake-data                             3.7.2-1                           all          CMake data files (modules, templates and documentation)
ii  coreutils                              8.26-3                            amd64        GNU core utilities
ii  cpio                                   2.11+dfsg-6                       amd64        GNU cpio -- a program to manage archives of files
ii  cpp                                    4:6.3.0-4                         amd64        GNU C preprocessor (cpp)
ii  cpp-6                                  6.3.0-18+deb9u1                   amd64        GNU C preprocessor
ii  cron                                   3.0pl1-128+deb9u1                 amd64        process scheduling daemon
ii  dash                                   0.5.8-2.4                         amd64        POSIX-compliant shell
ii  dbus                                   1.10.28-0+deb9u1                  amd64        simple interprocess messaging system (daemon and utilities)
ii  dconf-gsettings-backend:amd64          0.26.0-2+b1                       amd64        simple configuration storage system - GSettings back-end
ii  dconf-service                          0.26.0-2+b1                       amd64        simple configuration storage system - D-Bus service
ii  debconf                                1.5.61                            all          Debian configuration management system
ii  debconf-i18n                           1.5.61                            all          full internationalization support for debconf
ii  debian-archive-keyring                 2017.5+deb9u1                     all          GnuPG archive keys of the Debian archive
ii  debianutils                            4.8.1.1                           amd64        Miscellaneous utilities specific to Debian
ii  dh-python                              2.20170125                        all          Debian helper tools for packaging Python libraries and applications
ii  diffutils                              1:3.5-3                           amd64        File comparison utilities
ii  dmidecode                              3.0-4                             amd64        SMBIOS/DMI table decoder
ii  dmsetup                                2:1.02.137-2                      amd64        Linux Kernel Device Mapper userspace library
ii  dpkg                                   1.18.25                           amd64        Debian package management system
ii  dpkg-dev                               1.18.25                           all          Debian package development tools
ii  e2fslibs:amd64                         1.43.4-2+deb9u1                   amd64        ext2/ext3/ext4 file system libraries
ii  e2fsprogs                              1.43.4-2+deb9u1                   amd64        ext2/ext3/ext4 file system utilities
ii  fakeroot                               1.21-3.1                          amd64        tool for simulating superuser privileges
ii  file                                   1:5.30-1+deb9u3                   amd64        Recognize the type of data in a file using "magic" numbers
ii  findutils                              4.6.0+git+20161106-2              amd64        utilities for finding files--find, xargs
ii  flex                                   2.6.1-1.3                         amd64        fast lexical analyzer generator
ii  fontconfig                             2.11.0-6.7+b1                     amd64        generic font configuration library - support binaries
ii  fontconfig-config                      2.11.0-6.7                        all          generic font configuration library - configuration
ii  fonts-dejavu-core                      2.37-1                            all          Vera font family derivate with additional characters
ii  fonts-liberation                       1:1.07.4-2                        all          Fonts with the same metrics as Times, Arial and Courier
ii  g++                                    4:6.3.0-4                         amd64        GNU C++ compiler
ii  g++-6                                  6.3.0-18+deb9u1                   amd64        GNU C++ compiler
ii  gcc                                    4:6.3.0-4                         amd64        GNU C compiler
ii  gcc-6                                  6.3.0-18+deb9u1                   amd64        GNU C compiler
ii  gcc-6-base:amd64                       6.3.0-18+deb9u1                   amd64        GCC, the GNU Compiler Collection (base package)
ii  gir1.2-atk-1.0:amd64                   2.22.0-1                          amd64        ATK accessibility toolkit (GObject introspection)
ii  gir1.2-freedesktop:amd64               1.50.0-1+b1                       amd64        Introspection data for some FreeDesktop components
ii  gir1.2-gdkpixbuf-2.0:amd64             2.36.5-2+deb9u2                   amd64        GDK Pixbuf library - GObject-Introspection
ii  gir1.2-glib-2.0:amd64                  1.50.0-1+b1                       amd64        Introspection data for GLib, GObject, Gio and GModule
ii  gir1.2-gtk-3.0:amd64                   3.22.11-1                         amd64        GTK+ graphical user interface library -- gir bindings
ii  gir1.2-pango-1.0:amd64                 1.40.5-1                          amd64        Layout and rendering of internationalized text - gir bindings
ii  git                                    1:2.11.0-3+deb9u5                 amd64        fast, scalable, distributed revision control system
ii  git-man                                1:2.11.0-3+deb9u5                 all          fast, scalable, distributed revision control system (manual pages)
ii  glib-networking:amd64                  2.50.0-1+b1                       amd64        network-related giomodules for GLib
ii  glib-networking-common                 2.50.0-1                          all          network-related giomodules for GLib - data files
ii  glib-networking-services               2.50.0-1+b1                       amd64        network-related giomodules for GLib - D-Bus services
ii  gnupg                                  2.1.18-8~deb9u4                   amd64        GNU privacy guard - a free PGP replacement
ii  gnupg-agent                            2.1.18-8~deb9u4                   amd64        GNU privacy guard - cryptographic agent
ii  gpgv                                   2.1.18-8~deb9u4                   amd64        GNU privacy guard - signature verification tool
ii  graphviz                               2.38.0-17                         amd64        rich set of graph drawing tools
ii  grep                                   2.27-2                            amd64        GNU grep, egrep and fgrep
ii  gsettings-desktop-schemas              3.22.0-1                          all          GSettings desktop-wide schemas
ii  gtk-update-icon-cache                  3.22.11-1                         amd64        icon theme caching utility
ii  gzip                                   1.6-5+b1                          amd64        GNU compression utilities
ii  hicolor-icon-theme                     0.15-1                            all          default fallback theme for FreeDesktop.org icon themes
ii  hostname                               3.18+b1                           amd64        utility to set/show the host name or domain name
ii  icu-devtools                           57.1-6+deb9u3                     amd64        Development utilities for International Components for Unicode
ii  ifupdown                               0.8.19                            amd64        high level tools to configure network interfaces
ii  init                                   1.48                              amd64        metapackage ensuring an init system is installed
ii  init-system-helpers                    1.48                              all          helper tools for all init systems
ii  iproute2                               4.9.0-1+deb9u1                    amd64        networking and traffic control tools
ii  iptables                               1.6.0+snapshot20161117-6          amd64        administration tools for packet filtering and NAT
ii  iputils-ping                           3:20161105-1                      amd64        Tools to test the reachability of network hosts
ii  isc-dhcp-client                        4.3.5-3+deb9u1                    amd64        DHCP client for automatically obtaining an IP address
ii  isc-dhcp-common                        4.3.5-3+deb9u1                    amd64        common manpages relevant to all of the isc-dhcp packages
ii  kmod                                   23-2                              amd64        tools for managing Linux kernel modules
ii  krb5-locales                           1.15-1+deb9u1                     all          internationalization support for MIT Kerberos
ii  less                                   481-2.1                           amd64        pager program similar to more
ii  libacl1:amd64                          2.2.52-3+b1                       amd64        Access control list shared library
ii  libalgorithm-diff-perl                 1.19.03-1                         all          module to find differences between files
ii  libalgorithm-diff-xs-perl              0.04-4+b2                         amd64        module to find differences between files (XS accelerated)
ii  libalgorithm-merge-perl                0.08-3                            all          Perl module for three-way merge of textual data
ii  libann0                                1.1.2+doc-6                       amd64        Approximate Nearest Neighbor Searching library
ii  libapparmor1:amd64                     2.11.0-3+deb9u2                   amd64        changehat AppArmor library
ii  libapt-inst2.0:amd64                   1.4.9                             amd64        deb package format runtime library
ii  libapt-pkg5.0:amd64                    1.4.9                             amd64        package management runtime library
ii  libarchive13:amd64                     3.2.2-2+deb9u2                    amd64        Multi-format archive and compression library (shared library)
ii  libasan3:amd64                         6.3.0-18+deb9u1                   amd64        AddressSanitizer -- a fast memory error detector
ii  libassuan0:amd64                       2.4.3-2                           amd64        IPC library for the GnuPG components
ii  libatk-bridge2.0-0:amd64               2.22.0-2                          amd64        AT-SPI 2 toolkit bridge - shared library
ii  libatk1.0-0:amd64                      2.22.0-1                          amd64        ATK accessibility toolkit
ii  libatk1.0-data                         2.22.0-1                          all          Common files for the ATK accessibility toolkit
ii  libatomic1:amd64                       6.3.0-18+deb9u1                   amd64        support library providing __atomic built-in functions
ii  libatspi2.0-0:amd64                    2.22.0-6+deb9u1                   amd64        Assistive Technology Service Provider Interface - shared library
ii  libattr1:amd64                         1:2.4.47-2+b2                     amd64        Extended attribute shared library
ii  libaudio2:amd64                        1.9.4-5+b1                        amd64        Network Audio System - shared libraries
ii  libaudit-common                        1:2.6.7-2                         all          Dynamic library for security auditing - common files
ii  libaudit1:amd64                        1:2.6.7-2                         amd64        Dynamic library for security auditing
ii  libavahi-client3:amd64                 0.6.32-2                          amd64        Avahi client library
ii  libavahi-common-data:amd64             0.6.32-2                          amd64        Avahi common data files
ii  libavahi-common3:amd64                 0.6.32-2                          amd64        Avahi common library
ii  libbison-dev:amd64                     2:3.0.4.dfsg-1+b1                 amd64        YACC-compatible parser generator - development library
ii  libblkid1:amd64                        2.29.2-1+deb9u1                   amd64        block device ID library
ii  libboost-all-dev                       1.62.0.1                          amd64        Boost C++ Libraries development files (ALL) (default version)
ii  libboost-atomic-dev:amd64              1.62.0.1                          amd64        atomic data types, operations, and memory ordering constraints (default version)
ii  libboost-atomic1.62-dev:amd64          1.62.0+dfsg-4                     amd64        atomic data types, operations, and memory ordering constraints
ii  libboost-atomic1.62.0:amd64            1.62.0+dfsg-4                     amd64        atomic data types, operations, and memory ordering constraints
ii  libboost-chrono-dev:amd64              1.62.0.1                          amd64        C++ representation of time duration, time point, and clocks (default version)
ii  libboost-chrono1.62-dev:amd64          1.62.0+dfsg-4                     amd64        C++ representation of time duration, time point, and clocks
ii  libboost-chrono1.62.0:amd64            1.62.0+dfsg-4                     amd64        C++ representation of time duration, time point, and clocks
ii  libboost-context-dev:amd64             1.62.0.1                          amd64        provides a sort of cooperative multitasking on a single thread (default version)
ii  libboost-context1.62-dev:amd64         1.62.0+dfsg-4                     amd64        provides a sort of cooperative multitasking on a single thread
ii  libboost-context1.62.0:amd64           1.62.0+dfsg-4                     amd64        provides a sort of cooperative multitasking on a single thread
ii  libboost-coroutine-dev:amd64           1.62.0.1                          amd64        provides a sort of cooperative multitasking on a single thread (default version)
ii  libboost-coroutine1.62-dev:amd64       1.62.0+dfsg-4                     amd64        provides a sort of cooperative multitasking on a single thread
ii  libboost-coroutine1.62.0:amd64         1.62.0+dfsg-4                     amd64        provides a sort of cooperative multitasking on a single thread
ii  libboost-date-time-dev:amd64           1.62.0.1                          amd64        set of date-time libraries based on generic programming concepts (default version)
ii  libboost-date-time1.62-dev:amd64       1.62.0+dfsg-4                     amd64        set of date-time libraries based on generic programming concepts
ii  libboost-date-time1.62.0:amd64         1.62.0+dfsg-4                     amd64        set of date-time libraries based on generic programming concepts
ii  libboost-dev:amd64                     1.62.0.1                          amd64        Boost C++ Libraries development files (default version)
ii  libboost-exception-dev:amd64           1.62.0.1                          amd64        library to help write exceptions and handlers (default version)
ii  libboost-exception1.62-dev:amd64       1.62.0+dfsg-4                     amd64        library to help write exceptions and handlers
ii  libboost-fiber-dev:amd64               1.62.0.1                          amd64        cooperatively-scheduled micro-/userland-threads (default version)
ii  libboost-fiber1.62-dev:amd64           1.62.0+dfsg-4                     amd64        cooperatively-scheduled micro-/userland-threads
ii  libboost-fiber1.62.0:amd64             1.62.0+dfsg-4                     amd64        cooperatively-scheduled micro-/userland-threads
ii  libboost-filesystem-dev:amd64          1.62.0.1                          amd64        filesystem operations (portable paths, iteration over directories, etc) in C++ (default version)
ii  libboost-filesystem1.62-dev:amd64      1.62.0+dfsg-4                     amd64        filesystem operations (portable paths, iteration over directories, etc) in C++
ii  libboost-filesystem1.62.0:amd64        1.62.0+dfsg-4                     amd64        filesystem operations (portable paths, iteration over directories, etc) in C++
ii  libboost-graph-dev:amd64               1.62.0.1                          amd64        generic graph components and algorithms in C++ (default version)
ii  libboost-graph-parallel-dev            1.62.0.1                          amd64        generic graph components and algorithms in C++ (default version)
ii  libboost-graph-parallel1.62-dev        1.62.0+dfsg-4                     amd64        generic graph components and algorithms in C++
ii  libboost-graph-parallel1.62.0          1.62.0+dfsg-4                     amd64        generic graph components and algorithms in C++
ii  libboost-graph1.62-dev:amd64           1.62.0+dfsg-4                     amd64        generic graph components and algorithms in C++
ii  libboost-graph1.62.0:amd64             1.62.0+dfsg-4                     amd64        generic graph components and algorithms in C++
ii  libboost-iostreams-dev:amd64           1.62.0.1                          amd64        Boost.Iostreams Library development files (default version)
ii  libboost-iostreams1.62-dev:amd64       1.62.0+dfsg-4                     amd64        Boost.Iostreams Library development files
ii  libboost-iostreams1.62.0:amd64         1.62.0+dfsg-4                     amd64        Boost.Iostreams Library
ii  libboost-locale-dev:amd64              1.62.0.1                          amd64        C++ facilities for localization (default version)
ii  libboost-locale1.62-dev:amd64          1.62.0+dfsg-4                     amd64        C++ facilities for localization
ii  libboost-locale1.62.0:amd64            1.62.0+dfsg-4                     amd64        C++ facilities for localization
ii  libboost-log-dev                       1.62.0.1                          amd64        C++ logging library (default version)
ii  libboost-log1.62-dev                   1.62.0+dfsg-4                     amd64        C++ logging library
ii  libboost-log1.62.0                     1.62.0+dfsg-4                     amd64        C++ logging library
ii  libboost-math-dev:amd64                1.62.0.1                          amd64        Boost.Math Library development files (default version)
ii  libboost-math1.62-dev:amd64            1.62.0+dfsg-4                     amd64        Boost.Math Library development files
ii  libboost-math1.62.0:amd64              1.62.0+dfsg-4                     amd64        Boost.Math Library
ii  libboost-mpi-dev                       1.62.0.1                          amd64        C++ interface to the Message Passing Interface (MPI) (default version)
ii  libboost-mpi-python-dev                1.62.0.1                          amd64        C++ interface to the Message Passing Interface (MPI), Python Bindings (default version)
ii  libboost-mpi-python1.62-dev            1.62.0+dfsg-4                     amd64        C++ interface to the Message Passing Interface (MPI), Python Bindings
ii  libboost-mpi-python1.62.0              1.62.0+dfsg-4                     amd64        C++ interface to the Message Passing Interface (MPI), Python Bindings
ii  libboost-mpi1.62-dev                   1.62.0+dfsg-4                     amd64        C++ interface to the Message Passing Interface (MPI)
ii  libboost-mpi1.62.0                     1.62.0+dfsg-4                     amd64        C++ interface to the Message Passing Interface (MPI)
ii  libboost-program-options-dev:amd64     1.62.0.1                          amd64        program options library for C++ (default version)
ii  libboost-program-options1.62-dev:amd64 1.62.0+dfsg-4                     amd64        program options library for C++
ii  libboost-program-options1.62.0:amd64   1.62.0+dfsg-4                     amd64        program options library for C++
ii  libboost-python-dev                    1.62.0.1                          amd64        Boost.Python Library development files (default version)
ii  libboost-python1.62-dev                1.62.0+dfsg-4                     amd64        Boost.Python Library development files
ii  libboost-python1.62.0                  1.62.0+dfsg-4                     amd64        Boost.Python Library
ii  libboost-random-dev:amd64              1.62.0.1                          amd64        Boost Random Number Library (default version)
ii  libboost-random1.62-dev:amd64          1.62.0+dfsg-4                     amd64        Boost Random Number Library
ii  libboost-random1.62.0:amd64            1.62.0+dfsg-4                     amd64        Boost Random Number Library
ii  libboost-regex-dev:amd64               1.62.0.1                          amd64        regular expression library for C++ (default version)
ii  libboost-regex1.62-dev:amd64           1.62.0+dfsg-4                     amd64        regular expression library for C++
ii  libboost-regex1.62.0:amd64             1.62.0+dfsg-4                     amd64        regular expression library for C++
ii  libboost-serialization-dev:amd64       1.62.0.1                          amd64        serialization library for C++ (default version)
ii  libboost-serialization1.62-dev:amd64   1.62.0+dfsg-4                     amd64        serialization library for C++
ii  libboost-serialization1.62.0:amd64     1.62.0+dfsg-4                     amd64        serialization library for C++
ii  libboost-signals-dev:amd64             1.62.0.1                          amd64        managed signals and slots library for C++ (default version)
ii  libboost-signals1.62-dev:amd64         1.62.0+dfsg-4                     amd64        managed signals and slots library for C++
ii  libboost-signals1.62.0:amd64           1.62.0+dfsg-4                     amd64        managed signals and slots library for C++
ii  libboost-system-dev:amd64              1.62.0.1                          amd64        Operating system (e.g. diagnostics support) library (default version)
ii  libboost-system1.62-dev:amd64          1.62.0+dfsg-4                     amd64        Operating system (e.g. diagnostics support) library
ii  libboost-system1.62.0:amd64            1.62.0+dfsg-4                     amd64        Operating system (e.g. diagnostics support) library
ii  libboost-test-dev:amd64                1.62.0.1                          amd64        components for writing and executing test suites (default version)
ii  libboost-test1.62-dev:amd64            1.62.0+dfsg-4                     amd64        components for writing and executing test suites
ii  libboost-test1.62.0:amd64              1.62.0+dfsg-4                     amd64        components for writing and executing test suites
ii  libboost-thread-dev:amd64              1.62.0.1                          amd64        portable C++ multi-threading (default version)
ii  libboost-thread1.62-dev:amd64          1.62.0+dfsg-4                     amd64        portable C++ multi-threading
ii  libboost-thread1.62.0:amd64            1.62.0+dfsg-4                     amd64        portable C++ multi-threading
ii  libboost-timer-dev:amd64               1.62.0.1                          amd64        C++ wall clock and CPU process timers (default version)
ii  libboost-timer1.62-dev:amd64           1.62.0+dfsg-4                     amd64        C++ wall clock and CPU process timers
ii  libboost-timer1.62.0:amd64             1.62.0+dfsg-4                     amd64        C++ wall clock and CPU process timers
ii  libboost-tools-dev                     1.62.0.1                          amd64        Boost C++ Libraries development tools (default version)
ii  libboost-type-erasure-dev:amd64        1.62.0.1                          amd64        C++ runtime polymorphism based on concepts (default version)
ii  libboost-type-erasure1.62-dev:amd64    1.62.0+dfsg-4                     amd64        C++ runtime polymorphism based on concepts
ii  libboost-type-erasure1.62.0:amd64      1.62.0+dfsg-4                     amd64        C++ runtime polymorphism based on concepts
ii  libboost-wave-dev:amd64                1.62.0.1                          amd64        C99/C++ preprocessor library (default version)
ii  libboost-wave1.62-dev:amd64            1.62.0+dfsg-4                     amd64        C99/C++ preprocessor library
ii  libboost-wave1.62.0:amd64              1.62.0+dfsg-4                     amd64        C99/C++ preprocessor library
ii  libboost1.62-dev:amd64                 1.62.0+dfsg-4                     amd64        Boost C++ Libraries development files
ii  libboost1.62-tools-dev                 1.62.0+dfsg-4                     amd64        Boost C++ Libraries development tools
ii  libbsd0:amd64                          0.8.3-1                           amd64        utility functions from BSD systems - shared library
ii  libbz2-1.0:amd64                       1.0.6-8.1                         amd64        high-quality block-sorting file compressor library - runtime
ii  libbz2-dev:amd64                       1.0.6-8.1                         amd64        high-quality block-sorting file compressor library - development
ii  libc-bin                               2.24-11+deb9u4                    amd64        GNU C Library: Binaries
ii  libc-dev-bin                           2.24-11+deb9u4                    amd64        GNU C Library: Development binaries
ii  libc6:amd64                            2.24-11+deb9u4                    amd64        GNU C Library: Shared libraries
ii  libc6-dev:amd64                        2.24-11+deb9u4                    amd64        GNU C Library: Development Libraries and Header Files
ii  libcairo-gobject2:amd64                1.14.8-1                          amd64        Cairo 2D vector graphics library (GObject library)
ii  libcairo2:amd64                        1.14.8-1                          amd64        Cairo 2D vector graphics library
ii  libcap-ng0:amd64                       0.7.7-3+b1                        amd64        An alternate POSIX capabilities library
ii  libcap2:amd64                          1:2.25-1                          amd64        POSIX 1003.1e capabilities (library)
ii  libcc1-0:amd64                         6.3.0-18+deb9u1                   amd64        GCC cc1 plugin for GDB
ii  libcdt5                                2.38.0-17                         amd64        rich set of graph drawing tools - cdt library
ii  libcgraph6                             2.38.0-17                         amd64        rich set of graph drawing tools - cgraph library
ii  libcilkrts5:amd64                      6.3.0-18+deb9u1                   amd64        Intel Cilk Plus language extensions (runtime)
ii  libcolord2:amd64                       1.3.3-2                           amd64        system service to manage device colour profiles -- runtime
ii  libcomerr2:amd64                       1.43.4-2+deb9u1                   amd64        common error description library
ii  libcroco3:amd64                        0.6.11-3                          amd64        Cascading Style Sheet (CSS) parsing and manipulation toolkit
ii  libcryptsetup4:amd64                   2:1.7.3-4                         amd64        disk encryption support - shared library
ii  libcups2:amd64                         2.2.1-8+deb9u5                    amd64        Common UNIX Printing System(tm) - Core library
ii  libcurl3:amd64                         7.52.1-5+deb9u9                   amd64        easy-to-use client-side URL transfer library (OpenSSL flavour)
ii  libcurl3-gnutls:amd64                  7.52.1-5+deb9u9                   amd64        easy-to-use client-side URL transfer library (GnuTLS flavour)
ii  libdatrie1:amd64                       0.2.10-4+b1                       amd64        Double-array trie library
ii  libdb5.3:amd64                         5.3.28-12+deb9u1                  amd64        Berkeley v5.3 Database Libraries [runtime]
ii  libdbus-1-3:amd64                      1.10.28-0+deb9u1                  amd64        simple interprocess messaging system (library)
ii  libdconf1:amd64                        0.26.0-2+b1                       amd64        simple configuration storage system - runtime library
ii  libdebconfclient0:amd64                0.227                             amd64        Debian Configuration Management System (C-implementation library)
ii  libdevmapper1.02.1:amd64               2:1.02.137-2                      amd64        Linux Kernel Device Mapper userspace library
ii  libdns-export162                       1:9.10.3.dfsg.P4-12.3+deb9u5      amd64        Exported DNS Shared Library
ii  libdpkg-perl                           1.18.25                           all          Dpkg perl modules
ii  libdrm-amdgpu1:amd64                   2.4.74-1                          amd64        Userspace interface to amdgpu-specific kernel DRM services -- runtime
ii  libdrm-dev:amd64                       2.4.74-1                          amd64        Userspace interface to kernel DRM services -- development files
ii  libdrm-intel1:amd64                    2.4.74-1                          amd64        Userspace interface to intel-specific kernel DRM services -- runtime
ii  libdrm-nouveau2:amd64                  2.4.74-1                          amd64        Userspace interface to nouveau-specific kernel DRM services -- runtime
ii  libdrm-radeon1:amd64                   2.4.74-1                          amd64        Userspace interface to radeon-specific kernel DRM services -- runtime
ii  libdrm2:amd64                          2.4.74-1                          amd64        Userspace interface to kernel DRM services -- runtime
ii  libedit2:amd64                         3.1-20160903-3                    amd64        BSD editline and history libraries
ii  libegl1-mesa:amd64                     13.0.6-1+b2                       amd64        free implementation of the EGL API -- runtime
ii  libelf1:amd64                          0.168-1                           amd64        library to read and write ELF files
ii  libepoxy0:amd64                        1.3.1-2                           amd64        OpenGL function pointer management library
ii  liberror-perl                          0.17024-1                         all          Perl module for error/exception handling in an OO-ish way
ii  libestr0                               0.1.10-2                          amd64        Helper functions for handling strings (lib)
ii  libexpat1:amd64                        2.2.0-2+deb9u3                    amd64        XML parsing C library - runtime library
ii  libexpat1-dev:amd64                    2.2.0-2+deb9u3                    amd64        XML parsing C library - development kit
ii  libfabric1                             1.4.0-1                           amd64        libfabric communication library
ii  libfakeroot:amd64                      1.21-3.1                          amd64        tool for simulating superuser privileges - shared libraries
ii  libfastjson4:amd64                     0.99.4-1                          amd64        fast json library for C
ii  libfdisk1:amd64                        2.29.2-1+deb9u1                   amd64        fdisk partitioning library
ii  libffi6:amd64                          3.2.1-6                           amd64        Foreign Function Interface library runtime
ii  libfile-fcntllock-perl                 0.22-3+b2                         amd64        Perl module for file locking with fcntl(2)
ii  libfl-dev:amd64                        2.6.1-1.3                         amd64        static library for flex (a fast lexical analyzer generator)
ii  libfontconfig1:amd64                   2.11.0-6.7+b1                     amd64        generic font configuration library - runtime
ii  libfontconfig1-dev:amd64               2.11.0-6.7+b1                     amd64        generic font configuration library - development
ii  libfreetype6:amd64                     2.6.3-3.2+deb9u1                  amd64        FreeType 2 font engine, shared library files
ii  libfreetype6-dev                       2.6.3-3.2+deb9u1                  amd64        FreeType 2 font engine, development files
ii  libgbm1:amd64                          13.0.6-1+b2                       amd64        generic buffer management API -- runtime
ii  libgcc-6-dev:amd64                     6.3.0-18+deb9u1                   amd64        GCC support library (development files)
ii  libgcc1:amd64                          1:6.3.0-18+deb9u1                 amd64        GCC support library
ii  libgcrypt20:amd64                      1.7.6-2+deb9u3                    amd64        LGPL Crypto library - runtime library
ii  libgd3:amd64                           2.2.4-2+deb9u5                    amd64        GD Graphics Library
ii  libgdbm3:amd64                         1.8.3-14                          amd64        GNU dbm database routines (runtime version)
ii  libgdk-pixbuf2.0-0:amd64               2.36.5-2+deb9u2                   amd64        GDK Pixbuf library
ii  libgdk-pixbuf2.0-common                2.36.5-2+deb9u2                   all          GDK Pixbuf library - data files
ii  libgfortran3:amd64                     6.3.0-18+deb9u1                   amd64        Runtime library for GNU Fortran applications
ii  libgirepository-1.0-1:amd64            1.50.0-1+b1                       amd64        Library for handling GObject introspection data (runtime library)
ii  libgl1-mesa-dev:amd64                  13.0.6-1+b2                       amd64        free implementation of the OpenGL API -- GLX development files
ii  libgl1-mesa-dri:amd64                  13.0.6-1+b2                       amd64        free implementation of the OpenGL API -- DRI modules
ii  libgl1-mesa-glx:amd64                  13.0.6-1+b2                       amd64        free implementation of the OpenGL API -- GLX runtime
ii  libglapi-mesa:amd64                    13.0.6-1+b2                       amd64        free implementation of the GL API -- shared library
ii  libglib2.0-0:amd64                     2.50.3-2+deb9u2                   amd64        GLib library of C routines
ii  libglib2.0-data                        2.50.3-2+deb9u2                   all          Common files for GLib library
ii  libglu1-mesa:amd64                     9.0.0-2.1                         amd64        Mesa OpenGL utility library (GLU)
ii  libglu1-mesa-dev:amd64                 9.0.0-2.1                         amd64        Mesa OpenGL utility library -- development files
ii  libgmp10:amd64                         2:6.1.2+dfsg-1                    amd64        Multiprecision arithmetic library
ii  libgnutls30:amd64                      3.5.8-5+deb9u4                    amd64        GNU TLS library - main runtime library
ii  libgomp1:amd64                         6.3.0-18+deb9u1                   amd64        GCC OpenMP (GOMP) support library
ii  libgpg-error0:amd64                    1.26-2                            amd64        library for common error values and messages in GnuPG components
ii  libgpm2:amd64                          1.20.4-6.2+b1                     amd64        General Purpose Mouse - shared library
ii  libgraphite2-3:amd64                   1.3.10-1                          amd64        Font rendering engine for Complex Scripts -- library
ii  libgssapi-krb5-2:amd64                 1.15-1+deb9u1                     amd64        MIT Kerberos runtime libraries - krb5 GSS-API Mechanism
ii  libgtk-3-0:amd64                       3.22.11-1                         amd64        GTK+ graphical user interface library
ii  libgtk-3-bin                           3.22.11-1                         amd64        programs for the GTK+ graphical user interface library
ii  libgtk-3-common                        3.22.11-1                         all          common files for the GTK+ graphical user interface library
ii  libgts-0.7-5:amd64                     0.7.6+darcs121130-4               amd64        library to deal with 3D computational surface meshes
ii  libgts-bin                             0.7.6+darcs121130-4               amd64        utility binaries for libgts
ii  libgvc6                                2.38.0-17                         amd64        rich set of graph drawing tools - gvc library
ii  libgvpr2                               2.38.0-17                         amd64        rich set of graph drawing tools - gvpr library
ii  libharfbuzz0b:amd64                    1.4.2-1                           amd64        OpenType text shaping engine (shared library)
ii  libhogweed4:amd64                      3.3-1+b2                          amd64        low level cryptographic library (public-key cryptos)
ii  libhwloc-dev:amd64                     1.11.5-1                          amd64        Hierarchical view of the machine - static libs and headers
ii  libhwloc-plugins                       1.11.5-1                          amd64        Hierarchical view of the machine - plugins
ii  libhwloc5:amd64                        1.11.5-1                          amd64        Hierarchical view of the machine - shared libs
ii  libibverbs-dev                         1.2.1-2                           amd64        Development files for the libibverbs library
ii  libibverbs1                            1.2.1-2                           amd64        Library for direct userspace use of RDMA (InfiniBand/iWARP)
ii  libice-dev:amd64                       2:1.0.9-2                         amd64        X11 Inter-Client Exchange library (development headers)
ii  libice6:amd64                          2:1.0.9-2                         amd64        X11 Inter-Client Exchange library
ii  libicu-dev                             57.1-6+deb9u3                     amd64        Development files for International Components for Unicode
ii  libicu57:amd64                         57.1-6+deb9u3                     amd64        International Components for Unicode
ii  libidn11:amd64                         1.33-1+deb9u1                     amd64        GNU Libidn library, implementation of IETF IDN specifications
ii  libidn2-0:amd64                        0.16-1+deb9u1                     amd64        Internationalized domain names (IDNA2008) library
ii  libip4tc0:amd64                        1.6.0+snapshot20161117-6          amd64        netfilter libip4tc library
ii  libip6tc0:amd64                        1.6.0+snapshot20161117-6          amd64        netfilter libip6tc library
ii  libiptc0:amd64                         1.6.0+snapshot20161117-6          amd64        netfilter libiptc library
ii  libisc-export160                       1:9.10.3.dfsg.P4-12.3+deb9u5      amd64        Exported ISC Shared Library
ii  libisl15:amd64                         0.18-1                            amd64        manipulating sets and relations of integer points bounded by linear constraints
ii  libitm1:amd64                          6.3.0-18+deb9u1                   amd64        GNU Transactional Memory Library
ii  libjbig0:amd64                         2.1-3.1+b2                        amd64        JBIGkit libraries
ii  libjpeg62-turbo:amd64                  1:1.5.1-2                         amd64        libjpeg-turbo JPEG runtime library
ii  libjson-glib-1.0-0:amd64               1.2.6-1                           amd64        GLib JSON manipulation library
ii  libjson-glib-1.0-common                1.2.6-1                           all          GLib JSON manipulation library (common files)
ii  libjsoncpp1:amd64                      1.7.4-3                           amd64        library for reading and writing JSON for C++
ii  libk5crypto3:amd64                     1.15-1+deb9u1                     amd64        MIT Kerberos runtime libraries - Crypto Library
ii  libkeyutils1:amd64                     1.5.9-9                           amd64        Linux Key Management Utilities (library)
ii  libkmod2:amd64                         23-2                              amd64        libkmod shared library
ii  libkrb5-3:amd64                        1.15-1+deb9u1                     amd64        MIT Kerberos runtime libraries
ii  libkrb5support0:amd64                  1.15-1+deb9u1                     amd64        MIT Kerberos runtime libraries - Support library
ii  libksba8:amd64                         1.3.5-2                           amd64        X.509 and CMS support library
ii  liblcms2-2:amd64                       2.8-4+deb9u1                      amd64        Little CMS 2 color management library
ii  libldap-2.4-2:amd64                    2.4.44+dfsg-5+deb9u3              amd64        OpenLDAP libraries
ii  libldap-common                         2.4.44+dfsg-5+deb9u3              all          OpenLDAP common files for libraries
ii  libllvm3.9:amd64                       1:3.9.1-9                         amd64        Modular compiler and toolchain technologies, runtime library
ii  liblocale-gettext-perl                 1.07-3+b1                         amd64        module using libc functions for internationalization in Perl
ii  liblogging-stdlog0:amd64               1.0.5-2+b2                        amd64        easy to use and lightweight logging library
ii  liblognorm5:amd64                      2.0.1-1.1+b1                      amd64        log normalizing library
ii  liblsan0:amd64                         6.3.0-18+deb9u1                   amd64        LeakSanitizer -- a memory leak detector (runtime)
ii  libltdl-dev:amd64                      2.4.6-2                           amd64        System independent dlopen wrapper for GNU libtool
ii  libltdl7:amd64                         2.4.6-2                           amd64        System independent dlopen wrapper for GNU libtool
ii  liblz4-1:amd64                         0.0~r131-2+b1                     amd64        Fast LZ compression algorithm library - runtime
ii  liblzma5:amd64                         5.2.2-1.2+b1                      amd64        XZ-format compression library
ii  liblzo2-2:amd64                        2.08-1.2+b2                       amd64        data compression library
ii  libmagic-mgc                           1:5.30-1+deb9u3                   amd64        File type determination library using "magic" numbers (compiled magic file)
ii  libmagic1:amd64                        1:5.30-1+deb9u3                   amd64        Recognize the type of data in a file using "magic" numbers - library
ii  libmariadbclient18:amd64               10.1.44-0+deb9u1                  amd64        MariaDB database client library
ii  libmng1:amd64                          1.0.10+dfsg-3.1+b5                amd64        Multiple-image Network Graphics library
ii  libmnl0:amd64                          1.0.4-2                           amd64        minimalistic Netlink communication library
ii  libmotif-common                        2.3.4-13                          all          Motif - common files
ii  libmotif-dev:amd64                     2.3.4-13                          amd64        Motif - development files
ii  libmount1:amd64                        2.29.2-1+deb9u1                   amd64        device mounting library
ii  libmpc3:amd64                          1.0.3-1+b2                        amd64        multiple precision complex floating-point library
ii  libmpdec2:amd64                        2.4.2-1                           amd64        library for decimal floating point arithmetic (runtime library)
ii  libmpfr4:amd64                         3.1.5-1                           amd64        multiple precision floating-point computation
ii  libmpx2:amd64                          6.3.0-18+deb9u1                   amd64        Intel memory protection extensions (runtime)
ii  libmrm4:amd64                          2.3.4-13                          amd64        Motif - MRM (Motif Resource Manager) shared library
ii  libncurses5:amd64                      6.0+20161126-1+deb9u2             amd64        shared libraries for terminal handling
ii  libncursesw5:amd64                     6.0+20161126-1+deb9u2             amd64        shared libraries for terminal handling (wide character support)
ii  libnetfilter-conntrack3:amd64          1.0.6-2                           amd64        Netfilter netlink-conntrack library
ii  libnettle6:amd64                       3.3-1+b2                          amd64        low level cryptographic library (symmetric and one-way cryptos)
ii  libnewt0.52:amd64                      0.52.19-1+b1                      amd64        Not Erik's Windowing Toolkit - text mode windowing with slang
ii  libnfnetlink0:amd64                    1.0.1-3                           amd64        Netfilter netlink library
ii  libnghttp2-14:amd64                    1.18.1-1+deb9u1                   amd64        library implementing HTTP/2 protocol (shared library)
ii  libnl-3-200:amd64                      3.2.27-2                          amd64        library for dealing with netlink sockets
ii  libnl-route-3-200:amd64                3.2.27-2                          amd64        library for dealing with netlink sockets - route interface
ii  libnpth0:amd64                         1.3-1                             amd64        replacement for GNU Pth using system threads
ii  libnuma-dev:amd64                      2.0.11-2.1                        amd64        Development files for libnuma
ii  libnuma1:amd64                         2.0.11-2.1                        amd64        Libraries for controlling NUMA policy
ii  libopenmpi-dev                         2.0.2-2                           amd64        high performance message passing library -- header files
ii  libopenmpi2:amd64                      2.0.2-2                           amd64        high performance message passing library -- shared library
ii  libp11-kit0:amd64                      0.23.3-2                          amd64        library for loading and coordinating access to PKCS#11 modules - runtime
ii  libpam-modules:amd64                   1.1.8-3.6                         amd64        Pluggable Authentication Modules for PAM
ii  libpam-modules-bin                     1.1.8-3.6                         amd64        Pluggable Authentication Modules for PAM - helper binaries
ii  libpam-runtime                         1.1.8-3.6                         all          Runtime support for the PAM library
ii  libpam0g:amd64                         1.1.8-3.6                         amd64        Pluggable Authentication Modules library
ii  libpango-1.0-0:amd64                   1.40.5-1                          amd64        Layout and rendering of internationalized text
ii  libpangocairo-1.0-0:amd64              1.40.5-1                          amd64        Layout and rendering of internationalized text
ii  libpangoft2-1.0-0:amd64                1.40.5-1                          amd64        Layout and rendering of internationalized text
ii  libpangoxft-1.0-0:amd64                1.40.5-1                          amd64        Layout and rendering of internationalized text
ii  libpathplan4                           2.38.0-17                         amd64        rich set of graph drawing tools - pathplan library
ii  libpciaccess0:amd64                    0.13.4-1+b2                       amd64        Generic PCI access library for X
ii  libpcre3:amd64                         2:8.39-3                          amd64        Old Perl 5 Compatible Regular Expression Library - runtime files
ii  libperl5.24:amd64                      5.24.1-3+deb9u6                   amd64        shared Perl library
ii  libpipeline1:amd64                     1.4.1-2                           amd64        pipeline manipulation library
ii  libpixman-1-0:amd64                    0.34.0-1                          amd64        pixel-manipulation library for X and cairo
ii  libpng-dev:amd64                       1.6.28-1+deb9u1                   amd64        PNG library - development (version 1.6)
ii  libpng-tools                           1.6.28-1+deb9u1                   amd64        PNG library - tools (version 1.6)
ii  libpng16-16:amd64                      1.6.28-1+deb9u1                   amd64        PNG library - runtime (version 1.6)
ii  libpopt0:amd64                         1.16-10+b2                        amd64        lib for parsing cmdline parameters
ii  libprocps6:amd64                       2:3.3.12-3+deb9u1                 amd64        library for accessing process information from /proc
ii  libproxy1v5:amd64                      0.4.14-2                          amd64        automatic proxy configuration management library (shared)
ii  libpsl5:amd64                          0.17.0-3                          amd64        Library for Public Suffix List (shared libraries)
ii  libpsm-infinipath1                     3.3+19.g67c0807.open-3            amd64        PSM Messaging library for Intel Truescale adapters
ii  libpthread-stubs0-dev:amd64            0.3-4                             amd64        pthread stubs not provided by native libc, development files
ii  libpython-dev:amd64                    2.7.13-2                          amd64        header files and a static library for Python (default)
ii  libpython-stdlib:amd64                 2.7.13-2                          amd64        interactive high-level object-oriented language (default python version)
ii  libpython2.7:amd64                     2.7.13-2+deb9u3                   amd64        Shared Python runtime library (version 2.7)
ii  libpython2.7-dev:amd64                 2.7.13-2+deb9u3                   amd64        Header files and a static library for Python (v2.7)
ii  libpython2.7-minimal:amd64             2.7.13-2+deb9u3                   amd64        Minimal subset of the Python language (version 2.7)
ii  libpython2.7-stdlib:amd64              2.7.13-2+deb9u3                   amd64        Interactive high-level object-oriented language (standard library, version 2.7)
ii  libpython3-dev:amd64                   3.5.3-1                           amd64        header files and a static library for Python (default)
ii  libpython3-stdlib:amd64                3.5.3-1                           amd64        interactive high-level object-oriented language (default python3 version)
ii  libpython3.5:amd64                     3.5.3-1+deb9u1                    amd64        Shared Python runtime library (version 3.5)
ii  libpython3.5-dev:amd64                 3.5.3-1+deb9u1                    amd64        Header files and a static library for Python (v3.5)
ii  libpython3.5-minimal:amd64             3.5.3-1+deb9u1                    amd64        Minimal subset of the Python language (version 3.5)
ii  libpython3.5-stdlib:amd64              3.5.3-1+deb9u1                    amd64        Interactive high-level object-oriented language (standard library, version 3.5)
ii  libqt4-dbus:amd64                      4:4.8.7+dfsg-11                   amd64        Qt 4 D-Bus module
ii  libqt4-declarative:amd64               4:4.8.7+dfsg-11                   amd64        Qt 4 Declarative module
ii  libqt4-designer:amd64                  4:4.8.7+dfsg-11                   amd64        Qt 4 designer module
ii  libqt4-dev                             4:4.8.7+dfsg-11                   amd64        Qt 4 development files
ii  libqt4-dev-bin                         4:4.8.7+dfsg-11                   amd64        Qt 4 development programs
ii  libqt4-help:amd64                      4:4.8.7+dfsg-11                   amd64        Qt 4 help module
ii  libqt4-network:amd64                   4:4.8.7+dfsg-11                   amd64        Qt 4 network module
ii  libqt4-opengl:amd64                    4:4.8.7+dfsg-11                   amd64        Qt 4 OpenGL module
ii  libqt4-opengl-dev                      4:4.8.7+dfsg-11                   amd64        Qt 4 OpenGL library development files
ii  libqt4-qt3support:amd64                4:4.8.7+dfsg-11                   amd64        Qt 3 compatibility library for Qt 4
ii  libqt4-script:amd64                    4:4.8.7+dfsg-11                   amd64        Qt 4 script module
ii  libqt4-scripttools:amd64               4:4.8.7+dfsg-11                   amd64        Qt 4 script tools module
ii  libqt4-sql:amd64                       4:4.8.7+dfsg-11                   amd64        Qt 4 SQL module
ii  libqt4-sql-mysql:amd64                 4:4.8.7+dfsg-11                   amd64        Qt 4 MySQL database driver
ii  libqt4-sql-sqlite:amd64                4:4.8.7+dfsg-11                   amd64        Qt 4 SQLite 3 database driver
ii  libqt4-svg:amd64                       4:4.8.7+dfsg-11                   amd64        Qt 4 SVG module
ii  libqt4-test:amd64                      4:4.8.7+dfsg-11                   amd64        Qt 4 test module
ii  libqt4-xml:amd64                       4:4.8.7+dfsg-11                   amd64        Qt 4 XML module
ii  libqt4-xmlpatterns:amd64               4:4.8.7+dfsg-11                   amd64        Qt 4 XML patterns module
ii  libqtassistantclient4:amd64            4.6.3-7+b1                        amd64        Qt Assistant client library (runtime)
ii  libqtcore4:amd64                       4:4.8.7+dfsg-11                   amd64        Qt 4 core module
ii  libqtdbus4:amd64                       4:4.8.7+dfsg-11                   amd64        Qt 4 D-Bus module library
ii  libqtgui4:amd64                        4:4.8.7+dfsg-11                   amd64        Qt 4 GUI module
ii  libquadmath0:amd64                     6.3.0-18+deb9u1                   amd64        GCC Quad-Precision Math Library
ii  libqwt-dev                             6.1.2-6                           amd64        Qt widgets library for technical applications (development, qt4)
ii  libqwt-headers                         6.1.2-6                           amd64        Qt widgets library for technical applications (header files)
ii  libqwt6abi1                            6.1.2-6                           amd64        Qt widgets library for technical applications (runtime, qt4)
ii  librdmacm1                             1.1.0-2                           amd64        Library for managing RDMA connections
ii  libreadline7:amd64                     7.0-3                             amd64        GNU readline and history libraries, run-time libraries
ii  librest-0.7-0:amd64                    0.8.0-2                           amd64        REST service access library
ii  librsvg2-2:amd64                       2.40.16-1+b1                      amd64        SAX-based renderer library for SVG files (runtime)
ii  librsvg2-common:amd64                  2.40.16-1+b1                      amd64        SAX-based renderer library for SVG files (extra runtime)
ii  librtmp1:amd64                         2.4+20151223.gitfa8646d.1-1+b1    amd64        toolkit for RTMP streams (shared library)
ii  libsasl2-2:amd64                       2.1.27~101-g0780600+dfsg-3+deb9u1 amd64        Cyrus SASL - authentication abstraction library
ii  libsasl2-modules:amd64                 2.1.27~101-g0780600+dfsg-3+deb9u1 amd64        Cyrus SASL - pluggable authentication modules
ii  libsasl2-modules-db:amd64              2.1.27~101-g0780600+dfsg-3+deb9u1 amd64        Cyrus SASL - pluggable authentication modules (DB)
ii  libseccomp2:amd64                      2.3.1-2.1+deb9u1                  amd64        high level interface to Linux seccomp filter
ii  libselinux1:amd64                      2.6-3+b3                          amd64        SELinux runtime shared libraries
ii  libsemanage-common                     2.6-2                             all          Common files for SELinux policy management libraries
ii  libsemanage1:amd64                     2.6-2                             amd64        SELinux policy management library
ii  libsensors4:amd64                      1:3.4.0-4                         amd64        library to read temperature/voltage/fan sensors
ii  libsepol1:amd64                        2.6-2                             amd64        SELinux library for manipulating binary security policies
ii  libsigsegv2:amd64                      2.10-5                            amd64        Library for handling page faults in a portable way
ii  libslang2:amd64                        2.3.1-5                           amd64        S-Lang programming library - runtime version
ii  libsm-dev:amd64                        2:1.2.2-1+b3                      amd64        X11 Session Management library (development headers)
ii  libsm6:amd64                           2:1.2.2-1+b3                      amd64        X11 Session Management library
ii  libsmartcols1:amd64                    2.29.2-1+deb9u1                   amd64        smart column output alignment library
ii  libsoup-gnome2.4-1:amd64               2.56.0-2+deb9u2                   amd64        HTTP library implementation in C -- GNOME support library
ii  libsoup2.4-1:amd64                     2.56.0-2+deb9u2                   amd64        HTTP library implementation in C -- Shared library
ii  libsqlite3-0:amd64                     3.16.2-5+deb9u1                   amd64        SQLite 3 shared library
ii  libss2:amd64                           1.43.4-2+deb9u1                   amd64        command-line interface parsing library
ii  libssh2-1:amd64                        1.7.0-1+deb9u1                    amd64        SSH2 client-side library
ii  libssl1.0.2:amd64                      1.0.2u-1~deb9u1                   amd64        Secure Sockets Layer toolkit - shared libraries
ii  libssl1.1:amd64                        1.1.0l-1~deb9u1                   amd64        Secure Sockets Layer toolkit - shared libraries
ii  libstdc++-6-dev:amd64                  6.3.0-18+deb9u1                   amd64        GNU Standard C++ Library v3 (development files)
ii  libstdc++6:amd64                       6.3.0-18+deb9u1                   amd64        GNU Standard C++ Library v3
ii  libsystemd0:amd64                      232-25+deb9u12                    amd64        systemd utility library
ii  libtasn1-6:amd64                       4.10-1.1+deb9u1                   amd64        Manage ASN.1 structures (runtime)
ii  libtcl8.6:amd64                        8.6.6+dfsg-1+b1                   amd64        Tcl (the Tool Command Language) v8.6 - run-time library files
ii  libtext-charwidth-perl                 0.04-7+b5                         amd64        get display widths of characters on the terminal
ii  libtext-iconv-perl                     1.7-5+b4                          amd64        converts between character sets in Perl
ii  libtext-wrapi18n-perl                  0.06-7.1                          all          internationalized substitute of Text::Wrap
ii  libthai-data                           0.1.26-1                          all          Data files for Thai language support library
ii  libthai0:amd64                         0.1.26-1                          amd64        Thai language support library
ii  libtiff5:amd64                         4.0.8-2+deb9u4                    amd64        Tag Image File Format (TIFF) library
ii  libtinfo5:amd64                        6.0+20161126-1+deb9u2             amd64        shared low-level terminfo library for terminal handling
ii  libtool                                2.4.6-2                           all          Generic library support script
ii  libtsan0:amd64                         6.3.0-18+deb9u1                   amd64        ThreadSanitizer -- a Valgrind-based detector of data races (runtime)
ii  libtxc-dxtn-s2tc:amd64                 1.0+git20151227-2                 amd64        Texture compression library for Mesa
ii  libubsan0:amd64                        6.3.0-18+deb9u1                   amd64        UBSan -- undefined behaviour sanitizer (runtime)
ii  libudev1:amd64                         232-25+deb9u12                    amd64        libudev shared library
ii  libuil4:amd64                          2.3.4-13                          amd64        Motif - UIL (User Interface Language) shared library
ii  libunistring0:amd64                    0.9.6+really0.9.3-0.1             amd64        Unicode string library for C
ii  libustr-1.0-1:amd64                    1.0.4-6                           amd64        Micro string library: shared library
ii  libuuid1:amd64                         2.29.2-1+deb9u1                   amd64        Universally Unique ID library
ii  libuv1:amd64                           1.9.1-3                           amd64        asynchronous event notification library - runtime library
ii  libwayland-client0:amd64               1.12.0-1+deb9u1                   amd64        wayland compositor infrastructure - client library
ii  libwayland-cursor0:amd64               1.12.0-1+deb9u1                   amd64        wayland compositor infrastructure - cursor library
ii  libwayland-egl1-mesa:amd64             13.0.6-1+b2                       amd64        implementation of the Wayland EGL platform -- runtime
ii  libwayland-server0:amd64               1.12.0-1+deb9u1                   amd64        wayland compositor infrastructure - server library
ii  libwebp6:amd64                         0.5.2-1                           amd64        Lossy compression of digital photographic images.
ii  libx11-6:amd64                         2:1.6.4-3+deb9u1                  amd64        X11 client-side library
ii  libx11-data                            2:1.6.4-3+deb9u1                  all          X11 client-side library
ii  libx11-dev:amd64                       2:1.6.4-3+deb9u1                  amd64        X11 client-side library (development headers)
ii  libx11-doc                             2:1.6.4-3+deb9u1                  all          X11 client-side library (development documentation)
ii  libx11-xcb-dev:amd64                   2:1.6.4-3+deb9u1                  amd64        Xlib/XCB interface library (development headers)
ii  libx11-xcb1:amd64                      2:1.6.4-3+deb9u1                  amd64        Xlib/XCB interface library
ii  libxapian30:amd64                      1.4.3-2+deb9u3                    amd64        Search engine library
ii  libxau-dev:amd64                       1:1.0.8-1                         amd64        X11 authorisation library (development headers)
ii  libxau6:amd64                          1:1.0.8-1                         amd64        X11 authorisation library
ii  libxaw7:amd64                          2:1.0.13-1+b2                     amd64        X11 Athena Widget library
ii  libxcb-dri2-0:amd64                    1.12-1                            amd64        X C Binding, dri2 extension
ii  libxcb-dri2-0-dev:amd64                1.12-1                            amd64        X C Binding, dri2 extension, development files
ii  libxcb-dri3-0:amd64                    1.12-1                            amd64        X C Binding, dri3 extension
ii  libxcb-dri3-dev:amd64                  1.12-1                            amd64        X C Binding, dri3 extension, development files
ii  libxcb-glx0:amd64                      1.12-1                            amd64        X C Binding, glx extension
ii  libxcb-glx0-dev:amd64                  1.12-1                            amd64        X C Binding, glx extension, development files
ii  libxcb-present-dev:amd64               1.12-1                            amd64        X C Binding, present extension, development files
ii  libxcb-present0:amd64                  1.12-1                            amd64        X C Binding, present extension
ii  libxcb-randr0:amd64                    1.12-1                            amd64        X C Binding, randr extension
ii  libxcb-randr0-dev:amd64                1.12-1                            amd64        X C Binding, randr extension, development files
ii  libxcb-render0:amd64                   1.12-1                            amd64        X C Binding, render extension
ii  libxcb-render0-dev:amd64               1.12-1                            amd64        X C Binding, render extension, development files
ii  libxcb-shape0:amd64                    1.12-1                            amd64        X C Binding, shape extension
ii  libxcb-shape0-dev:amd64                1.12-1                            amd64        X C Binding, shape extension, development files
ii  libxcb-shm0:amd64                      1.12-1                            amd64        X C Binding, shm extension
ii  libxcb-sync-dev:amd64                  1.12-1                            amd64        X C Binding, sync extension, development files
ii  libxcb-sync1:amd64                     1.12-1                            amd64        X C Binding, sync extension
ii  libxcb-xfixes0:amd64                   1.12-1                            amd64        X C Binding, xfixes extension
ii  libxcb-xfixes0-dev:amd64               1.12-1                            amd64        X C Binding, xfixes extension, development files
ii  libxcb1:amd64                          1.12-1                            amd64        X C Binding
ii  libxcb1-dev:amd64                      1.12-1                            amd64        X C Binding, development files
ii  libxcomposite1:amd64                   1:0.4.4-2                         amd64        X11 Composite extension library
ii  libxcursor1:amd64                      1:1.1.14-1+deb9u2                 amd64        X cursor management library
ii  libxdamage-dev:amd64                   1:1.1.4-2+b3                      amd64        X11 damaged region extension library (development headers)
ii  libxdamage1:amd64                      1:1.1.4-2+b3                      amd64        X11 damaged region extension library
ii  libxdmcp-dev:amd64                     1:1.1.2-3                         amd64        X11 authorisation library (development headers)
ii  libxdmcp6:amd64                        1:1.1.2-3                         amd64        X11 Display Manager Control Protocol library
ii  libxdot4                               2.38.0-17                         amd64        rich set of graph drawing tools - xdot library
ii  libxext-dev:amd64                      2:1.3.3-1+b2                      amd64        X11 miscellaneous extensions library (development headers)
ii  libxext6:amd64                         2:1.3.3-1+b2                      amd64        X11 miscellaneous extension library
ii  libxfixes-dev:amd64                    1:5.0.3-1                         amd64        X11 miscellaneous 'fixes' extension library (development headers)
ii  libxfixes3:amd64                       1:5.0.3-1                         amd64        X11 miscellaneous 'fixes' extension library
ii  libxft-dev                             2.3.2-1+b2                        amd64        FreeType-based font drawing library for X (development files)
ii  libxft2:amd64                          2.3.2-1+b2                        amd64        FreeType-based font drawing library for X
ii  libxi6:amd64                           2:1.7.9-1                         amd64        X11 Input extension library
ii  libxinerama1:amd64                     2:1.1.3-1+b3                      amd64        X11 Xinerama extension library
ii  libxkbcommon0:amd64                    0.7.1-2~deb9u1                    amd64        library interface to the XKB compiler - shared library
ii  libxm4:amd64                           2.3.4-13                          amd64        Motif - X/Motif shared library
ii  libxml2:amd64                          2.9.4+dfsg1-2.2+deb9u2            amd64        GNOME XML library
ii  libxml2-dev:amd64                      2.9.4+dfsg1-2.2+deb9u2            amd64        Development files for the GNOME XML library
ii  libxmu6:amd64                          2:1.1.2-2                         amd64        X11 miscellaneous utility library
ii  libxmuu1:amd64                         2:1.1.2-2                         amd64        X11 miscellaneous micro-utility library
ii  libxpm-dev:amd64                       1:3.5.12-1                        amd64        X11 pixmap library (development headers)
ii  libxpm4:amd64                          1:3.5.12-1                        amd64        X11 pixmap library
ii  libxrandr2:amd64                       2:1.5.1-1                         amd64        X11 RandR extension library
ii  libxrender-dev:amd64                   1:0.9.10-1                        amd64        X Rendering Extension client library (development files)
ii  libxrender1:amd64                      1:0.9.10-1                        amd64        X Rendering Extension client library
ii  libxshmfence-dev:amd64                 1.2-1+b2                          amd64        X shared memory fences - development files
ii  libxshmfence1:amd64                    1.2-1+b2                          amd64        X shared memory fences - shared library
ii  libxt-dev:amd64                        1:1.1.5-1                         amd64        X11 toolkit intrinsics library (development headers)
ii  libxt6:amd64                           1:1.1.5-1                         amd64        X11 toolkit intrinsics library
ii  libxtables12:amd64                     1.6.0+snapshot20161117-6          amd64        netfilter xtables library
ii  libxtst6:amd64                         2:1.2.3-1                         amd64        X11 Testing -- Record extension library
ii  libxxf86vm-dev:amd64                   1:1.1.4-1+b2                      amd64        X11 XFree86 video mode extension library (development headers)
ii  libxxf86vm1:amd64                      1:1.1.4-1+b2                      amd64        X11 XFree86 video mode extension library
ii  linux-libc-dev:amd64                   4.9.210-1                         amd64        Linux support headers for userspace development
ii  login                                  1:4.4-4.1                         amd64        system login tools
ii  logrotate                              3.11.0-0.1                        amd64        Log rotation utility
ii  lsb-base                               9.20161125                        all          Linux Standard Base init script functionality
ii  m4                                     1.4.18-1                          amd64        macro processing language
ii  make                                   4.1-9.1                           amd64        utility for directing compilation
ii  manpages                               4.10-2                            all          Manual pages about using a GNU/Linux system
ii  manpages-dev                           4.10-2                            all          Manual pages about using GNU/Linux for development
ii  mawk                                   1.3.3-17+b3                       amd64        a pattern scanning and text processing language
ii  mesa-common-dev:amd64                  13.0.6-1+b2                       amd64        Developer documentation for Mesa
ii  mime-support                           3.60                              all          MIME files 'mime.types' & 'mailcap', and support programs
ii  mount                                  2.29.2-1+deb9u1                   amd64        tools for mounting and manipulating filesystems
ii  mpi-default-bin                        1.8                               amd64        Standard MPI runtime programs (metapackage)
ii  mpi-default-dev                        1.8                               amd64        Standard MPI development files (metapackage)
ii  multiarch-support                      2.24-11+deb9u4                    amd64        Transitional package to ensure multiarch compatibility
ii  mysql-common                           5.8+1.0.2                         all          MySQL database common files, e.g. /etc/mysql/my.cnf
ii  nano                                   2.7.4-1                           amd64        small, friendly text editor inspired by Pico
ii  ncurses-base                           6.0+20161126-1+deb9u2             all          basic terminal type definitions
ii  ncurses-bin                            6.0+20161126-1+deb9u2             amd64        terminal-related programs and man pages
ii  netbase                                5.4                               all          Basic TCP/IP networking system
ii  ocl-icd-libopencl1:amd64               2.2.11-1                          amd64        Generic OpenCL ICD Loader
ii  openmpi-bin                            2.0.2-2                           amd64        high performance message passing library -- binaries
ii  openmpi-common                         2.0.2-2                           all          high performance message passing library -- common files
ii  openssh-client                         1:7.4p1-10+deb9u7                 amd64        secure shell (SSH) client, for secure access to remote machines
ii  openssl                                1.1.0l-1~deb9u1                   amd64        Secure Sockets Layer toolkit - cryptographic utility
ii  passwd                                 1:4.4-4.1                         amd64        change and administer password and group data
ii  patch                                  2.7.5-1+deb9u2                    amd64        Apply a diff file to an original
ii  perl                                   5.24.1-3+deb9u6                   amd64        Larry Wall's Practical Extraction and Report Language
ii  perl-base                              5.24.1-3+deb9u6                   amd64        minimal Perl system
ii  perl-modules-5.24                      5.24.1-3+deb9u6                   all          Core Perl modules
ii  pinentry-curses                        1.0.0-2                           amd64        curses-based PIN or pass-phrase entry dialog for GnuPG
ii  pkg-config                             0.29-4+b1                         amd64        manage compile and link flags for libraries
ii  procps                                 2:3.3.12-3+deb9u1                 amd64        /proc file system utilities
ii  python                                 2.7.13-2                          amd64        interactive high-level object-oriented language (default version)
ii  python-dev                             2.7.13-2                          amd64        header files and a static library for Python (default)
ii  python-minimal                         2.7.13-2                          amd64        minimal subset of the Python language (default version)
ii  python-qt4                             4.11.4+dfsg-2+b1                  amd64        Python bindings for Qt4
ii  python-sip                             4.18.1+dfsg-2                     amd64        Python/C++ bindings generator runtime library
ii  python2.7                              2.7.13-2+deb9u3                   amd64        Interactive high-level object-oriented language (version 2.7)
ii  python2.7-dev                          2.7.13-2+deb9u3                   amd64        Header files and a static library for Python (v2.7)
ii  python2.7-minimal                      2.7.13-2+deb9u3                   amd64        Minimal subset of the Python language (version 2.7)
ii  python3                                3.5.3-1                           amd64        interactive high-level object-oriented language (default python3 version)
ii  python3-cairo                          1.10.0+dfsg-5+b1                  amd64        Python 3 bindings for the Cairo vector graphics library
ii  python3-dev                            3.5.3-1                           amd64        header files and a static library for Python (default)
ii  python3-gi                             3.22.0-2                          amd64        Python 3 bindings for gobject-introspection libraries
ii  python3-gi-cairo                       3.22.0-2                          amd64        Python 3 Cairo bindings for the GObject library
ii  python3-minimal                        3.5.3-1                           amd64        minimal subset of the Python language (default python3 version)
ii  python3.5                              3.5.3-1+deb9u1                    amd64        Interactive high-level object-oriented language (version 3.5)
ii  python3.5-dev                          3.5.3-1+deb9u1                    amd64        Header files and a static library for Python (v3.5)
ii  python3.5-minimal                      3.5.3-1+deb9u1                    amd64        Minimal subset of the Python language (version 3.5)
ii  qdbus                                  4:4.8.7+dfsg-11                   amd64        Qt 4 D-Bus tool
ii  qt-at-spi:amd64                        0.4.0-5                           amd64        at-spi accessibility plugin for Qt
ii  qt4-designer                           4:4.8.7+dfsg-11                   amd64        graphical designer for Qt 4 applications
ii  qt4-dev-tools                          4:4.8.7+dfsg-11                   amd64        Qt 4 development tools
ii  qt4-doc                                4:4.8.7+dfsg-11                   all          Qt 4 API documentation
ii  qt4-linguist-tools                     4:4.8.7+dfsg-11                   amd64        Qt 4 Linguist tools
ii  qt4-qmake                              4:4.8.7+dfsg-11                   amd64        Qt 4 qmake Makefile generator tool
ii  qtchooser                              63-g13a3d08-1                     amd64        Wrapper to select between Qt development binary versions
ii  qtcore4-l10n                           4:4.8.7+dfsg-11                   all          Qt 4 core module translations
ii  rapidjson-dev                          0.12~git20141031+dfsg-1           all          fast JSON parser/generator for C++ with SAX/DOM style API
ii  readline-common                        7.0-3                             all          GNU readline and history libraries, common files
ii  rename                                 0.20-4                            all          Perl extension for renaming multiple files
ii  rsync                                  3.1.2-1+deb9u2                    amd64        fast, versatile, remote (and local) file-copying tool
ii  rsyslog                                8.24.0-1                          amd64        reliable system and kernel logging daemon
ii  sed                                    4.4-1                             amd64        GNU stream editor for filtering/transforming text
ii  sensible-utils                         0.0.9+deb9u1                      all          Utilities for sensible alternative selection
ii  sgml-base                              1.29                              all          SGML infrastructure and SGML catalog file support
ii  shared-mime-info                       1.8-1+deb9u1                      amd64        FreeDesktop.org shared MIME database and spec
ii  systemd                                232-25+deb9u12                    amd64        system and service manager
ii  systemd-sysv                           232-25+deb9u12                    amd64        system and service manager - SysV links
ii  sysvinit-utils                         2.88dsf-59.9                      amd64        System-V-like utilities
ii  tar                                    1.29b-1.1                         amd64        GNU version of the tar archiving utility
ii  tasksel                                3.39                              all          tool for selecting tasks for installation on Debian systems
ii  tasksel-data                           3.39                              all          official tasks used for installation of Debian systems
ii  tzdata                                 2019c-0+deb9u1                    all          time zone and daylight-saving time data
ii  ucf                                    3.0036                            all          Update Configuration File(s): preserve user changes to config files
ii  udev                                   232-25+deb9u12                    amd64        /dev/ and hotplug management daemon
ii  uil                                    2.3.4-13                          amd64        Motif - UIL (User Interface Language) compiler
ii  util-linux                             2.29.2-1+deb9u1                   amd64        miscellaneous system utilities
ii  vim                                    2:8.0.0197-4+deb9u3               amd64        Vi IMproved - enhanced vi editor
ii  vim-common                             2:8.0.0197-4+deb9u3               all          Vi IMproved - Common files
ii  vim-runtime                            2:8.0.0197-4+deb9u3               all          Vi IMproved - Runtime files
ii  vim-tiny                               2:8.0.0197-4+deb9u3               amd64        Vi IMproved - enhanced vi editor - compact version
ii  wget                                   1.18-5+deb9u3                     amd64        retrieves files from the web
ii  whiptail                               0.52.19-1+b1                      amd64        Displays user-friendly dialog boxes from shell scripts
ii  x11-common                             1:7.7+19                          all          X Window System (X.Org) infrastructure
ii  x11proto-core-dev                      7.0.31-1                          all          X11 core wire protocol and auxiliary headers
ii  x11proto-damage-dev                    1:1.2.1-2                         all          X11 Damage extension wire protocol
ii  x11proto-dri2-dev                      2.8-2                             all          X11 DRI2 extension wire protocol
ii  x11proto-fixes-dev                     1:5.0-2                           all          X11 Fixes extension wire protocol
ii  x11proto-gl-dev                        1.4.17-1                          all          X11 OpenGL extension wire protocol
ii  x11proto-input-dev                     2.3.2-1                           all          X11 Input extension wire protocol
ii  x11proto-kb-dev                        1.0.7-1                           all          X11 XKB extension wire protocol
ii  x11proto-render-dev                    2:0.11.1-2                        all          X11 Render extension wire protocol
ii  x11proto-xext-dev                      7.3.0-1                           all          X11 various extension wire protocol
ii  x11proto-xf86vidmode-dev               2.3.1-2                           all          X11 Video Mode extension wire protocol
ii  xauth                                  1:1.0.9-1+b2                      amd64        X authentication utility
ii  xdg-user-dirs                          0.15-2+b1                         amd64        tool to manage well known user directories
ii  xdot                                   0.7-2                             all          interactive viewer for Graphviz dot files
ii  xkb-data                               2.19-1+deb9u1                     all          X Keyboard Extension (XKB) configuration data
ii  xml-core                               0.17                              all          XML infrastructure and XML catalog file support
ii  xorg-sgml-doctools                     1:1.11-1                          all          Common tools for building X.Org SGML documentation
ii  xtrans-dev                             1.3.5-1                           all          X transport library (development files)
ii  xxd                                    2:8.0.0197-4+deb9u3               amd64        tool to make (or reverse) a hex dump
ii  xz-utils                               5.2.2-1.2+b1                      amd64        XZ-format compression utilities
ii  yosys                                  0.7-2+deb9u1                      amd64        Framework for Verilog RTL synthesis
ii  zlib1g:amd64                           1:1.2.8.dfsg-5                    amd64        compression library - runtime
ii  zlib1g-dev:amd64                       1:1.2.8.dfsg-5                    amd64        compression library - development


More information about the libre-riscv-dev mailing list