guannanwei/gensym : icse23

Latest release: over 2 years ago - 65 downloads - 970 dependencies

JSON

Dependencies

ubuntu/adduser 3.118ubuntu2
ubuntu/adwaita-icon-theme 3.36.1-2ubuntu0.20.04.2
ubuntu/alsa-topology-conf 1.2.2-1
ubuntu/alsa-ucm-conf 1.2.2-1ubuntu0.13
ubuntu/apt 2.0.9
ubuntu/at-spi2-core 2.36.0-2
ubuntu/autoconf 2.69-11.1
ubuntu/automake 1:1.16.1-4ubuntu6
ubuntu/autopoint 0.19.8.1-10build1
ubuntu/autotools-dev 20180224.1
ubuntu/base-files 11ubuntu5.6
ubuntu/base-passwd 3.5.47
ubuntu/bash 5.0-6ubuntu1.2
ubuntu/binfmt-support 2.2.0-2
ubuntu/binutils-common 2.34-6ubuntu1.4
ubuntu/binutils-x86-64-linux-gnu 2.34-6ubuntu1.4
ubuntu/binutils 2.34-6ubuntu1.4
ubuntu/bison 2:3.5.1 dfsg-1
ubuntu/bsdutils 1:2.34-0.1ubuntu9.3
ubuntu/build-essential 12.8ubuntu1.1
ubuntu/bzip2 1.0.8-2
ubuntu/ca-certificates-java 20190405ubuntu1
ubuntu/ca-certificates 20211016ubuntu0.20.04.1
ubuntu/clang-11 1:11.0.0-2~ubuntu20.04.1
ubuntu/cloc 1.82-1
ubuntu/cmake-data 3.16.3-1ubuntu1.20.04.1
ubuntu/cmake 3.16.3-1ubuntu1.20.04.1
ubuntu/coreutils 8.30-3ubuntu2
ubuntu/cpp-8 8.4.0-3ubuntu2
ubuntu/cpp-9 9.4.0-1ubuntu1~20.04.1
ubuntu/cpp 4:9.3.0-1ubuntu2
ubuntu/curl 7.68.0-1ubuntu2.15
ubuntu/dash 0.5.10.2-6
ubuntu/dbus 1.12.16-2ubuntu2.3
ubuntu/debconf 1.5.73
ubuntu/debianutils 4.9.1
ubuntu/diffutils 1:3.7-3
ubuntu/dirmngr 2.2.19-3ubuntu2.2
ubuntu/doxygen 1.8.17-0ubuntu2
ubuntu/dpkg-dev 1.19.7ubuntu3.2
ubuntu/dpkg 1.19.7ubuntu3.2
ubuntu/e2fsprogs 1.45.5-2ubuntu1.1
ubuntu/fakeroot 1.24-1
ubuntu/fdisk 2.34-0.1ubuntu9.3
ubuntu/file 1:5.38-4
ubuntu/findutils 4.7.0-1ubuntu1
ubuntu/flex 2.6.4-6.2
ubuntu/fontconfig-config 2.13.1-2ubuntu3
ubuntu/fontconfig 2.13.1-2ubuntu3
ubuntu/fonts-dejavu-core 2.37-1
ubuntu/fonts-dejavu-extra 2.37-1
ubuntu/fonts-liberation 1:1.07.4-11
ubuntu/g -9-multilib 9.4.0-1ubuntu1~20.04.1
ubuntu/g -9 9.4.0-1ubuntu1~20.04.1
ubuntu/g -multilib 4:9.3.0-1ubuntu2
ubuntu/g 4:9.3.0-1ubuntu2
ubuntu/gcc-10-base 10.3.0-1ubuntu1~20.04
ubuntu/gcc-8-base 8.4.0-3ubuntu2
ubuntu/gcc-8 8.4.0-3ubuntu2
ubuntu/gcc-9-base 9.4.0-1ubuntu1~20.04.1
ubuntu/gcc-9-multilib 9.4.0-1ubuntu1~20.04.1
ubuntu/gcc-9 9.4.0-1ubuntu1~20.04.1
ubuntu/gcc-multilib 4:9.3.0-1ubuntu2
ubuntu/gcc 4:9.3.0-1ubuntu2
ubuntu/gettext-base 0.19.8.1-10build1
ubuntu/gettext 0.19.8.1-10build1
ubuntu/gfortran-8 8.4.0-3ubuntu2
ubuntu/gfortran-9 9.4.0-1ubuntu1~20.04.1
ubuntu/gfortran 4:9.3.0-1ubuntu2
ubuntu/git-man 1:2.25.1-1ubuntu3.10
ubuntu/git 1:2.25.1-1ubuntu3.10
ubuntu/gnupg-l10n 2.2.19-3ubuntu2.2
ubuntu/gnupg-utils 2.2.19-3ubuntu2.2
ubuntu/gnupg2 2.2.19-3ubuntu2.2
ubuntu/gnupg 2.2.19-3ubuntu2.2
ubuntu/gperf 3.1-1build1
ubuntu/gpg-agent 2.2.19-3ubuntu2.2
ubuntu/gpg-wks-client 2.2.19-3ubuntu2.2
ubuntu/gpg-wks-server 2.2.19-3ubuntu2.2
ubuntu/gpg 2.2.19-3ubuntu2.2
ubuntu/gpgconf 2.2.19-3ubuntu2.2
ubuntu/gpgsm 2.2.19-3ubuntu2.2
ubuntu/gpgv 2.2.19-3ubuntu2.2
ubuntu/graphviz 2.42.2-3build2
ubuntu/grep 3.4-1
ubuntu/gtk-update-icon-cache 3.24.20-0ubuntu1.1
ubuntu/gzip 1.10-0ubuntu4.1
ubuntu/hicolor-icon-theme 0.17-2
ubuntu/hostname 3.23
ubuntu/humanity-icon-theme 0.6.15
ubuntu/ibverbs-providers 28.0-1ubuntu1
ubuntu/icu-devtools 66.1-2ubuntu2.1
ubuntu/init-system-helpers 1.57
ubuntu/java-common 0.72
ubuntu/krb5-locales 1.17-6ubuntu4.2
ubuntu/less 551-1ubuntu0.1
ubuntu/lib32asan5 9.4.0-1ubuntu1~20.04.1
ubuntu/lib32atomic1 10.3.0-1ubuntu1~20.04
ubuntu/lib32gcc-9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/lib32gcc-s1 10.3.0-1ubuntu1~20.04
ubuntu/lib32gomp1 10.3.0-1ubuntu1~20.04
ubuntu/lib32itm1 10.3.0-1ubuntu1~20.04
ubuntu/lib32quadmath0 10.3.0-1ubuntu1~20.04
ubuntu/lib32stdc -9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/lib32stdc 6 10.3.0-1ubuntu1~20.04
ubuntu/lib32ubsan1 10.3.0-1ubuntu1~20.04
ubuntu/libacl1 2.2.53-6
ubuntu/libalgorithm-diff-perl 1.19.03-2
ubuntu/libalgorithm-diff-xs-perl 0.04-6
ubuntu/libalgorithm-merge-perl 0.08-3
ubuntu/libann0 1.1.2 doc-7build1
ubuntu/libapparmor1 2.13.3-7ubuntu5.1
ubuntu/libapt-pkg6.0 2.0.9
ubuntu/libarchive13 3.4.0-2ubuntu1.2
ubuntu/libasan5 9.4.0-1ubuntu1~20.04.1
ubuntu/libasn1-8-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libasound2-data 1.2.2-2.1ubuntu2.5
ubuntu/libasound2 1.2.2-2.1ubuntu2.5
ubuntu/libassuan0 2.5.3-7ubuntu2
ubuntu/libasyncns0 0.8-6
ubuntu/libatk-bridge2.0-0 2.34.2-0ubuntu2~20.04.1
ubuntu/libatk-wrapper-java-jni 0.37.1-1
ubuntu/libatk-wrapper-java 0.37.1-1
ubuntu/libatk1.0-0 2.35.1-1ubuntu2
ubuntu/libatk1.0-data 2.35.1-1ubuntu2
ubuntu/libatomic1 10.3.0-1ubuntu1~20.04
ubuntu/libatspi2.0-0 2.36.0-2
ubuntu/libattr1 1:2.4.48-5
ubuntu/libaudit-common 1:2.8.5-2ubuntu6
ubuntu/libaudit1 1:2.8.5-2ubuntu6
ubuntu/libauthen-sasl-perl 2.1600-1
ubuntu/libavahi-client3 0.7-4ubuntu7.1
ubuntu/libavahi-common-data 0.7-4ubuntu7.1
ubuntu/libavahi-common3 0.7-4ubuntu7.1
ubuntu/libb-hooks-op-check-perl 0.22-1build2
ubuntu/libbinutils 2.34-6ubuntu1.4
ubuntu/libblkid1 2.34-0.1ubuntu9.3
ubuntu/libboost-all-dev 1.71.0.0ubuntu2
ubuntu/libboost-atomic-dev 1.71.0.0ubuntu2
ubuntu/libboost-atomic1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-atomic1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-chrono-dev 1.71.0.0ubuntu2
ubuntu/libboost-chrono1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-chrono1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-container-dev 1.71.0.0ubuntu2
ubuntu/libboost-container1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-container1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-context-dev 1.71.0.0ubuntu2
ubuntu/libboost-context1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-context1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-coroutine-dev 1.71.0.0ubuntu2
ubuntu/libboost-coroutine1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-coroutine1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-date-time-dev 1.71.0.0ubuntu2
ubuntu/libboost-date-time1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-date-time1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-dev 1.71.0.0ubuntu2
ubuntu/libboost-exception-dev 1.71.0.0ubuntu2
ubuntu/libboost-exception1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-fiber-dev 1.71.0.0ubuntu2
ubuntu/libboost-fiber1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-fiber1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-filesystem-dev 1.71.0.0ubuntu2
ubuntu/libboost-filesystem1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-filesystem1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-graph-dev 1.71.0.0ubuntu2
ubuntu/libboost-graph-parallel-dev 1.71.0.0ubuntu2
ubuntu/libboost-graph-parallel1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-graph-parallel1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-graph1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-graph1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-iostreams-dev 1.71.0.0ubuntu2
ubuntu/libboost-iostreams1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-iostreams1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-locale-dev 1.71.0.0ubuntu2
ubuntu/libboost-locale1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-locale1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-log-dev 1.71.0.0ubuntu2
ubuntu/libboost-log1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-log1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-math-dev 1.71.0.0ubuntu2
ubuntu/libboost-math1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-math1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-mpi-dev 1.71.0.0ubuntu2
ubuntu/libboost-mpi-python-dev 1.71.0.0ubuntu2
ubuntu/libboost-mpi-python1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-mpi-python1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-mpi1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-mpi1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-numpy-dev 1.71.0.0ubuntu2
ubuntu/libboost-numpy1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-numpy1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-program-options-dev 1.71.0.0ubuntu2
ubuntu/libboost-program-options1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-program-options1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-python-dev 1.71.0.0ubuntu2
ubuntu/libboost-python1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-python1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-random-dev 1.71.0.0ubuntu2
ubuntu/libboost-random1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-random1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-regex-dev 1.71.0.0ubuntu2
ubuntu/libboost-regex1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-regex1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-serialization-dev 1.71.0.0ubuntu2
ubuntu/libboost-serialization1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-serialization1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-stacktrace-dev 1.71.0.0ubuntu2
ubuntu/libboost-stacktrace1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-stacktrace1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-system-dev 1.71.0.0ubuntu2
ubuntu/libboost-system1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-system1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-test-dev 1.71.0.0ubuntu2
ubuntu/libboost-test1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-test1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-thread-dev 1.71.0.0ubuntu2
ubuntu/libboost-thread1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-thread1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-timer-dev 1.71.0.0ubuntu2
ubuntu/libboost-timer1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-timer1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-tools-dev 1.71.0.0ubuntu2
ubuntu/libboost-type-erasure-dev 1.71.0.0ubuntu2
ubuntu/libboost-type-erasure1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-type-erasure1.71.0 1.71.0-6ubuntu6
ubuntu/libboost-wave-dev 1.71.0.0ubuntu2
ubuntu/libboost-wave1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost-wave1.71.0 1.71.0-6ubuntu6
ubuntu/libboost1.71-dev 1.71.0-6ubuntu6
ubuntu/libboost1.71-tools-dev 1.71.0-6ubuntu6
ubuntu/libbrotli1 1.0.7-6ubuntu0.1
ubuntu/libbsd0 0.10.0-1
ubuntu/libbz2-1.0 1.0.8-2
ubuntu/libc-bin 2.31-0ubuntu9.9
ubuntu/libc-dev-bin 2.31-0ubuntu9.9
ubuntu/libc6-dev-i386 2.31-0ubuntu9.9
ubuntu/libc6-dev-x32 2.31-0ubuntu9.9
ubuntu/libc6-dev 2.31-0ubuntu9.9
ubuntu/libc6-i386 2.31-0ubuntu9.9
ubuntu/libc6-x32 2.31-0ubuntu9.9
ubuntu/libc6 2.31-0ubuntu9.9
ubuntu/libcaf-openmpi-3 2.8.0-1
ubuntu/libcairo-gobject2 1.16.0-4ubuntu1
ubuntu/libcairo2 1.16.0-4ubuntu1
ubuntu/libcanberra0 0.30-7ubuntu1
ubuntu/libcap-dev 1:2.32-1
ubuntu/libcap-ng0 0.7.9-2.1build1
ubuntu/libcap2 1:2.32-1
ubuntu/libcbor0.6 0.6.0-0ubuntu1
ubuntu/libcc1-0 10.3.0-1ubuntu1~20.04
ubuntu/libcdt5 2.42.2-3build2
ubuntu/libcgraph6 2.42.2-3build2
ubuntu/libclang-common-11-dev 1:11.0.0-2~ubuntu20.04.1
ubuntu/libclang-cpp11 1:11.0.0-2~ubuntu20.04.1
ubuntu/libclang1-10 1:10.0.0-4ubuntu1
ubuntu/libclang1-11 1:11.0.0-2~ubuntu20.04.1
ubuntu/libclass-method-modifiers-perl 2.13-1
ubuntu/libclass-xsaccessor-perl 1.19-3build3
ubuntu/libcoarrays-dev 2.8.0-1
ubuntu/libcoarrays-openmpi-dev 2.8.0-1
ubuntu/libcom-err2 1.45.5-2ubuntu1.1
ubuntu/libcroco3 0.6.13-1
ubuntu/libcrypt-dev 1:4.4.10-10ubuntu4
ubuntu/libcrypt1 1:4.4.10-10ubuntu4
ubuntu/libctf-nobfd0 2.34-6ubuntu1.4
ubuntu/libctf0 2.34-6ubuntu1.4
ubuntu/libcups2 2.3.1-9ubuntu1.2
ubuntu/libcurl3-gnutls 7.68.0-1ubuntu2.15
ubuntu/libcurl4 7.68.0-1ubuntu2.15
ubuntu/libdata-dump-perl 1.23-1
ubuntu/libdatrie1 0.2.12-3
ubuntu/libdb5.3 5.3.28 dfsg1-0.6ubuntu2
ubuntu/libdbus-1-3 1.12.16-2ubuntu2.3
ubuntu/libdebconfclient0 0.251ubuntu1
ubuntu/libdevel-callchecker-perl 0.008-1ubuntu1
ubuntu/libdpkg-perl 1.19.7ubuntu3.2
ubuntu/libdrm-amdgpu1 2.4.107-8ubuntu1~20.04.2
ubuntu/libdrm-common 2.4.107-8ubuntu1~20.04.2
ubuntu/libdrm-intel1 2.4.107-8ubuntu1~20.04.2
ubuntu/libdrm-nouveau2 2.4.107-8ubuntu1~20.04.2
ubuntu/libdrm-radeon1 2.4.107-8ubuntu1~20.04.2
ubuntu/libdrm2 2.4.107-8ubuntu1~20.04.2
ubuntu/libdynaloader-functions-perl 0.003-1
ubuntu/libedit2 3.1-20191231-1
ubuntu/libelf1 0.176-1.1build1
ubuntu/libencode-locale-perl 1.05-1
ubuntu/liberror-perl 0.17029-1
ubuntu/libevent-2.1-7 2.1.11-stable-1
ubuntu/libevent-core-2.1-7 2.1.11-stable-1
ubuntu/libevent-dev 2.1.11-stable-1
ubuntu/libevent-extra-2.1-7 2.1.11-stable-1
ubuntu/libevent-openssl-2.1-7 2.1.11-stable-1
ubuntu/libevent-pthreads-2.1-7 2.1.11-stable-1
ubuntu/libexpat1-dev 2.2.9-1ubuntu0.6
ubuntu/libexpat1 2.2.9-1ubuntu0.6
ubuntu/libext2fs2 1.45.5-2ubuntu1.1
ubuntu/libfabric1 1.6.2-3ubuntu0.1
ubuntu/libfakeroot 1.24-1
ubuntu/libfdisk1 2.34-0.1ubuntu9.3
ubuntu/libffi-dev 3.3-4
ubuntu/libffi7 3.3-4
ubuntu/libfido2-1 1.3.1-1ubuntu2
ubuntu/libfile-fcntllock-perl 0.22-3build4
ubuntu/libfile-listing-perl 6.04-1
ubuntu/libfl-dev 2.6.4-6.2
ubuntu/libfl2 2.6.4-6.2
ubuntu/libflac8 1.3.3-1ubuntu0.1
ubuntu/libfont-afm-perl 1.20-2
ubuntu/libfontconfig1 2.13.1-2ubuntu3
ubuntu/libfontenc1 1:1.1.4-0ubuntu1
ubuntu/libfreetype6 2.10.1-2ubuntu0.2
ubuntu/libfribidi0 1.0.8-2ubuntu0.1
ubuntu/libgail-common 2.24.32-4ubuntu4
ubuntu/libgail18 2.24.32-4ubuntu4
ubuntu/libgc1c2 1:7.6.4-0.4ubuntu1
ubuntu/libgcc-8-dev 8.4.0-3ubuntu2
ubuntu/libgcc-9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libgcc-s1 10.3.0-1ubuntu1~20.04
ubuntu/libgcrypt20 1.8.5-5ubuntu1.1
ubuntu/libgd3 2.2.5-5.2ubuntu2.1
ubuntu/libgdbm-compat4 1.18.1-5
ubuntu/libgdbm6 1.18.1-5
ubuntu/libgdk-pixbuf2.0-0 2.40.0 dfsg-3ubuntu0.4
ubuntu/libgdk-pixbuf2.0-bin 2.40.0 dfsg-3ubuntu0.4
ubuntu/libgdk-pixbuf2.0-common 2.40.0 dfsg-3ubuntu0.4
ubuntu/libgfortran-8-dev 8.4.0-3ubuntu2
ubuntu/libgfortran-9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libgfortran5 10.3.0-1ubuntu1~20.04
ubuntu/libgif7 5.1.9-1
ubuntu/libgl1-mesa-dri 21.2.6-0ubuntu0.1~20.04.2
ubuntu/libgl1-mesa-glx 21.2.6-0ubuntu0.1~20.04.2
ubuntu/libgl1 1.3.2-1~ubuntu0.20.04.2
ubuntu/libglapi-mesa 21.2.6-0ubuntu0.1~20.04.2
ubuntu/libglib2.0-0 2.64.6-1~ubuntu20.04.4
ubuntu/libglib2.0-data 2.64.6-1~ubuntu20.04.4
ubuntu/libglvnd0 1.3.2-1~ubuntu0.20.04.2
ubuntu/libglx-mesa0 21.2.6-0ubuntu0.1~20.04.2
ubuntu/libglx0 1.3.2-1~ubuntu0.20.04.2
ubuntu/libgmp10 2:6.2.0 dfsg-4ubuntu0.1
ubuntu/libgnutls30 3.6.13-2ubuntu1.7
ubuntu/libgomp1 10.3.0-1ubuntu1~20.04
ubuntu/libgoogle-perftools-dev 2.7-1ubuntu2
ubuntu/libgoogle-perftools4 2.7-1ubuntu2
ubuntu/libgpg-error0 1.37-1
ubuntu/libgpm2 1.20.7-5
ubuntu/libgraphite2-3 1.3.13-11build1
ubuntu/libgssapi-krb5-2 1.17-6ubuntu4.2
ubuntu/libgssapi3-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libgtk2.0-0 2.24.32-4ubuntu4
ubuntu/libgtk2.0-bin 2.24.32-4ubuntu4
ubuntu/libgtk2.0-common 2.24.32-4ubuntu4
ubuntu/libgts-0.7-5 0.7.6 darcs121130-4
ubuntu/libgts-bin 0.7.6 darcs121130-4
ubuntu/libgvc6 2.42.2-3build2
ubuntu/libgvpr2 2.42.2-3build2
ubuntu/libharfbuzz0b 2.6.4-1ubuntu4.2
ubuntu/libhcrypto4-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libheimbase1-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libheimntlm0-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libhogweed5 3.5.1 really3.5.1-2ubuntu0.2
ubuntu/libhtml-form-perl 6.07-1
ubuntu/libhtml-format-perl 2.12-1
ubuntu/libhtml-parser-perl 3.72-5
ubuntu/libhtml-tagset-perl 3.20-4
ubuntu/libhtml-tree-perl 5.07-2
ubuntu/libhttp-cookies-perl 6.08-1
ubuntu/libhttp-daemon-perl 6.06-1ubuntu0.1
ubuntu/libhttp-date-perl 6.05-1
ubuntu/libhttp-message-perl 6.22-1
ubuntu/libhttp-negotiate-perl 6.01-1
ubuntu/libhwloc-dev 2.1.0 dfsg-4
ubuntu/libhwloc-plugins 2.1.0 dfsg-4
ubuntu/libhwloc15 2.1.0 dfsg-4
ubuntu/libhx509-5-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libibverbs-dev 28.0-1ubuntu1
ubuntu/libibverbs1 28.0-1ubuntu1
ubuntu/libice-dev 2:1.0.10-0ubuntu1
ubuntu/libice6 2:1.0.10-0ubuntu1
ubuntu/libicu-dev 66.1-2ubuntu2.1
ubuntu/libicu66 66.1-2ubuntu2.1
ubuntu/libidn2-0 2.2.0-2
ubuntu/libimport-into-perl 1.002005-1
ubuntu/libio-html-perl 1.001-1
ubuntu/libio-socket-ssl-perl 2.067-1
ubuntu/libisl22 0.22.1-1
ubuntu/libitm1 10.3.0-1ubuntu1~20.04
ubuntu/libjbig0 2.1-3.1ubuntu0.20.04.1
ubuntu/libjpeg-turbo8 2.0.3-0ubuntu1.20.04.3
ubuntu/libjpeg8 8c-2ubuntu8
ubuntu/libjsoncpp1 1.7.4-3.1ubuntu2
ubuntu/libk5crypto3 1.17-6ubuntu4.2
ubuntu/libkeyutils1 1.6-6ubuntu1.1
ubuntu/libkrb5-26-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libkrb5-3 1.17-6ubuntu4.2
ubuntu/libkrb5support0 1.17-6ubuntu4.2
ubuntu/libksba8 1.3.5-2ubuntu0.20.04.2
ubuntu/liblab-gamut1 2.42.2-3build2
ubuntu/liblcms2-2 2.9-4
ubuntu/libldap-2.4-2 2.4.49 dfsg-2ubuntu1.9
ubuntu/libldap-common 2.4.49 dfsg-2ubuntu1.9
ubuntu/libllvm10 1:10.0.0-4ubuntu1
ubuntu/libllvm11 1:11.0.0-2~ubuntu20.04.1
ubuntu/libllvm12 1:12.0.0-3ubuntu1~20.04.5
ubuntu/liblocale-gettext-perl 1.07-4
ubuntu/liblsan0 10.3.0-1ubuntu1~20.04
ubuntu/libltdl-dev 2.4.6-14
ubuntu/libltdl7 2.4.6-14
ubuntu/liblwp-mediatypes-perl 6.04-1
ubuntu/liblwp-protocol-https-perl 6.07-2ubuntu2
ubuntu/liblz4-1 1.9.2-2ubuntu0.20.04.1
ubuntu/liblzma-dev 5.2.4-1ubuntu1.1
ubuntu/liblzma5 5.2.4-1ubuntu1.1
ubuntu/libmagic-mgc 1:5.38-4
ubuntu/libmagic1 1:5.38-4
ubuntu/libmailtools-perl 2.21-1
ubuntu/libmodule-runtime-perl 0.016-1
ubuntu/libmoo-perl 2.003006-1
ubuntu/libmount1 2.34-0.1ubuntu9.3
ubuntu/libmpc3 1.1.0-1
ubuntu/libmpdec2 2.4.2-3
ubuntu/libmpfr6 4.0.2-1
ubuntu/libmpx2 8.4.0-3ubuntu2
ubuntu/libncurses-dev 6.2-0ubuntu2
ubuntu/libncurses5-dev 6.2-0ubuntu2
ubuntu/libncurses6 6.2-0ubuntu2
ubuntu/libncursesw6 6.2-0ubuntu2
ubuntu/libnet-http-perl 6.19-1
ubuntu/libnet-smtp-ssl-perl 1.04-1
ubuntu/libnet-ssleay-perl 1.88-2ubuntu1
ubuntu/libnettle7 3.5.1 really3.5.1-2ubuntu0.2
ubuntu/libnghttp2-14 1.40.0-1build1
ubuntu/libnl-3-200 3.4.0-1ubuntu0.1
ubuntu/libnl-3-dev 3.4.0-1ubuntu0.1
ubuntu/libnl-route-3-200 3.4.0-1ubuntu0.1
ubuntu/libnl-route-3-dev 3.4.0-1ubuntu0.1
ubuntu/libnpth0 1.6-1
ubuntu/libnspr4 2:4.25-1
ubuntu/libnss3 2:3.49.1-1ubuntu1.8
ubuntu/libnuma-dev 2.0.12-1
ubuntu/libnuma1 2.0.12-1
ubuntu/libobjc-9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libobjc4 10.3.0-1ubuntu1~20.04
ubuntu/libogg0 1.3.4-0ubuntu1
ubuntu/libomp-11-dev 1:11.0.0-2~ubuntu20.04.1
ubuntu/libomp5-11 1:11.0.0-2~ubuntu20.04.1
ubuntu/libopenmpi-dev 4.0.3-0ubuntu1
ubuntu/libopenmpi3 4.0.3-0ubuntu1
ubuntu/libp11-kit0 0.23.20-1ubuntu0.1
ubuntu/libpam-modules-bin 1.3.1-5ubuntu4.3
ubuntu/libpam-modules 1.3.1-5ubuntu4.3
ubuntu/libpam-runtime 1.3.1-5ubuntu4.3
ubuntu/libpam0g 1.3.1-5ubuntu4.3
ubuntu/libpango-1.0-0 1.44.7-2ubuntu4
ubuntu/libpangocairo-1.0-0 1.44.7-2ubuntu4
ubuntu/libpangoft2-1.0-0 1.44.7-2ubuntu4
ubuntu/libparallel-forkmanager-perl 2.02-1
ubuntu/libparams-classify-perl 0.015-1build2
ubuntu/libpathplan4 2.42.2-3build2
ubuntu/libpciaccess0 0.16-0ubuntu1
ubuntu/libpcre2-8-0 10.34-7ubuntu0.1
ubuntu/libpcre3 2:8.39-12ubuntu0.1
ubuntu/libpcsclite1 1.8.26-3
ubuntu/libperl5.30 5.30.0-9ubuntu0.3
ubuntu/libpfm4 4.10.1 git20-g7700f49-2
ubuntu/libpipeline1 1.5.2-2build1
ubuntu/libpixman-1-0 0.38.4-0ubuntu2.1
ubuntu/libpmix2 3.1.5-1
ubuntu/libpng16-16 1.6.37-2
ubuntu/libpopt0 1.16-14
ubuntu/libprocps8 2:3.3.16-1ubuntu2.3
ubuntu/libpsl5 0.21.0-1ubuntu1
ubuntu/libpsm-infinipath1 3.3 20.604758e7-6
ubuntu/libpsm2-2 11.2.86-1
ubuntu/libpthread-stubs0-dev 0.4-1
ubuntu/libpulse0 1:13.99.1-1ubuntu3.13
ubuntu/libpython2-stdlib 2.7.17-2ubuntu4
ubuntu/libpython2.7-minimal 2.7.18-1~20.04.3
ubuntu/libpython2.7-stdlib 2.7.18-1~20.04.3
ubuntu/libpython3-dev 3.8.2-0ubuntu2
ubuntu/libpython3-stdlib 3.8.2-0ubuntu2
ubuntu/libpython3.8-dev 3.8.10-0ubuntu1~20.04.6
ubuntu/libpython3.8-minimal 3.8.10-0ubuntu1~20.04.6
ubuntu/libpython3.8-stdlib 3.8.10-0ubuntu1~20.04.6
ubuntu/libpython3.8 3.8.10-0ubuntu1~20.04.6
ubuntu/libquadmath0 10.3.0-1ubuntu1~20.04
ubuntu/librdmacm1 28.0-1ubuntu1
ubuntu/libreadline8 8.0-4
ubuntu/libregexp-common-perl 2017060201-1
ubuntu/librhash0 1.3.9-1
ubuntu/libroken18-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/librole-tiny-perl 2.001004-1
ubuntu/librsvg2-2 2.48.9-1ubuntu0.20.04.1
ubuntu/librsvg2-common 2.48.9-1ubuntu0.20.04.1
ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build1
ubuntu/libsasl2-2 2.1.27 dfsg-2ubuntu0.1
ubuntu/libsasl2-modules-db 2.1.27 dfsg-2ubuntu0.1
ubuntu/libsasl2-modules 2.1.27 dfsg-2ubuntu0.1
ubuntu/libseccomp2 2.5.1-1ubuntu1~20.04.2
ubuntu/libselinux1 3.0-1build2
ubuntu/libsemanage-common 3.0-1build2
ubuntu/libsemanage1 3.0-1build2
ubuntu/libsensors-config 1:3.6.0-2ubuntu1.1
ubuntu/libsensors5 1:3.6.0-2ubuntu1.1
ubuntu/libsepol1 3.0-1ubuntu0.1
ubuntu/libsigsegv2 2.12-2
ubuntu/libsm-dev 2:1.2.3-1
ubuntu/libsm6 2:1.2.3-1
ubuntu/libsmartcols1 2.34-0.1ubuntu9.3
ubuntu/libsndfile1 1.0.28-7ubuntu0.1
ubuntu/libsqlite3-0 3.31.1-4ubuntu0.5
ubuntu/libsqlite3-dev 3.31.1-4ubuntu0.5
ubuntu/libss2 1.45.5-2ubuntu1.1
ubuntu/libssh-4 0.9.3-2ubuntu2.2
ubuntu/libssl1.1 1.1.1f-1ubuntu2.17
ubuntu/libstdc -9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libstdc 6 10.3.0-1ubuntu1~20.04
ubuntu/libstrictures-perl 2.000006-1
ubuntu/libsub-name-perl 0.26-1
ubuntu/libsub-quote-perl 2.006006-1
ubuntu/libsystemd0 245.4-4ubuntu3.19
ubuntu/libtasn1-6 4.16.0-2
ubuntu/libtcmalloc-minimal4 2.7-1ubuntu2
ubuntu/libtdb1 1.4.3-0ubuntu0.20.04.1
ubuntu/libtext-unidecode-perl 1.30-1
ubuntu/libthai-data 0.1.28-3
ubuntu/libthai0 0.1.28-3
ubuntu/libtiff5 4.1.0 git191117-2ubuntu0.20.04.7
ubuntu/libtimedate-perl 2.3200-1
ubuntu/libtinfo6 6.2-0ubuntu2
ubuntu/libtool 2.4.6-14
ubuntu/libtry-tiny-perl 0.30-1
ubuntu/libtsan0 10.3.0-1ubuntu1~20.04
ubuntu/libubsan1 10.3.0-1ubuntu1~20.04
ubuntu/libudev1 245.4-4ubuntu3.19
ubuntu/libunistring2 0.9.10-2
ubuntu/libunwind-dev 1.2.1-9build1
ubuntu/libunwind8 1.2.1-9build1
ubuntu/liburi-perl 1.76-2
ubuntu/libuuid1 2.34-0.1ubuntu9.3
ubuntu/libuv1 1.34.2-1ubuntu1.3
ubuntu/libvorbis0a 1.3.6-2ubuntu1
ubuntu/libvorbisenc2 1.3.6-2ubuntu1
ubuntu/libvorbisfile3 1.3.6-2ubuntu1
ubuntu/libvulkan1 1.2.131.2-1
ubuntu/libwayland-client0 1.18.0-1ubuntu0.1
ubuntu/libwebp6 0.6.1-2ubuntu0.20.04.1
ubuntu/libwind0-heimdal 7.7.0 dfsg-1ubuntu1.4
ubuntu/libwrap0 7.6.q-30
ubuntu/libwww-perl 6.43-1
ubuntu/libwww-robotrules-perl 6.02-1
ubuntu/libx11-6 2:1.6.9-2ubuntu1.2
ubuntu/libx11-data 2:1.6.9-2ubuntu1.2
ubuntu/libx11-dev 2:1.6.9-2ubuntu1.2
ubuntu/libx11-xcb1 2:1.6.9-2ubuntu1.2
ubuntu/libx32asan5 9.4.0-1ubuntu1~20.04.1
ubuntu/libx32atomic1 10.3.0-1ubuntu1~20.04
ubuntu/libx32gcc-9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libx32gcc-s1 10.3.0-1ubuntu1~20.04
ubuntu/libx32gomp1 10.3.0-1ubuntu1~20.04
ubuntu/libx32itm1 10.3.0-1ubuntu1~20.04
ubuntu/libx32quadmath0 10.3.0-1ubuntu1~20.04
ubuntu/libx32stdc -9-dev 9.4.0-1ubuntu1~20.04.1
ubuntu/libx32stdc 6 10.3.0-1ubuntu1~20.04
ubuntu/libx32ubsan1 10.3.0-1ubuntu1~20.04
ubuntu/libxapian30 1.4.14-2
ubuntu/libxau-dev 1:1.0.9-0ubuntu1
ubuntu/libxau6 1:1.0.9-0ubuntu1
ubuntu/libxaw7 2:1.0.13-1
ubuntu/libxcb-dri2-0 1.14-2
ubuntu/libxcb-dri3-0 1.14-2
ubuntu/libxcb-glx0 1.14-2
ubuntu/libxcb-present0 1.14-2
ubuntu/libxcb-randr0 1.14-2
ubuntu/libxcb-render0 1.14-2
ubuntu/libxcb-shape0 1.14-2
ubuntu/libxcb-shm0 1.14-2
ubuntu/libxcb-sync1 1.14-2
ubuntu/libxcb-xfixes0 1.14-2
ubuntu/libxcb1-dev 1.14-2
ubuntu/libxcb1 1.14-2
ubuntu/libxcomposite1 1:0.4.5-1
ubuntu/libxcursor1 1:1.2.0-2
ubuntu/libxdamage1 1:1.1.5-2
ubuntu/libxdmcp-dev 1:1.1.3-0ubuntu1
ubuntu/libxdmcp6 1:1.1.3-0ubuntu1
ubuntu/libxext6 2:1.3.4-0ubuntu1
ubuntu/libxfixes3 1:5.0.3-2
ubuntu/libxft2 2.3.3-0ubuntu1
ubuntu/libxi6 2:1.7.10-0ubuntu1
ubuntu/libxinerama1 2:1.1.4-2
ubuntu/libxkbfile1 1:1.1.0-1
ubuntu/libxml-libxml-perl 2.0134 dfsg-1build1
ubuntu/libxml-namespacesupport-perl 1.12-1
ubuntu/libxml-parser-perl 2.46-1
ubuntu/libxml-sax-base-perl 1.09-1
ubuntu/libxml-sax-expat-perl 0.51-1
ubuntu/libxml-sax-perl 1.02 dfsg-1
ubuntu/libxml2 2.9.10 dfsg-5ubuntu0.20.04.5
ubuntu/libxmu6 2:1.1.3-0ubuntu1
ubuntu/libxmuu1 2:1.1.3-0ubuntu1
ubuntu/libxnvctrl0 470.57.01-0ubuntu0.20.04.3
ubuntu/libxpm4 1:3.5.12-1ubuntu0.20.04.1
ubuntu/libxrandr2 2:1.5.2-0ubuntu1
ubuntu/libxrender1 1:0.9.10-1
ubuntu/libxshmfence1 1.3-1
ubuntu/libxt-dev 1:1.1.5-1
ubuntu/libxt6 1:1.1.5-1
ubuntu/libxtst6 2:1.2.3-1
ubuntu/libxv1 2:1.0.11-1
ubuntu/libxxf86dga1 2:1.1.5-0ubuntu1
ubuntu/libxxf86vm1 1:1.1.4-1build1
ubuntu/libyaml-0-2 0.2.2-1
ubuntu/libz3-4 4.8.7-4build1
ubuntu/libz3-dev 4.8.7-4build1
ubuntu/libzstd1 1.4.4 dfsg-3ubuntu0.1
ubuntu/linux-libc-dev 5.4.0-139.156
ubuntu/llvm-11-dev 1:11.0.0-2~ubuntu20.04.1
ubuntu/llvm-11-runtime 1:11.0.0-2~ubuntu20.04.1
ubuntu/llvm-11-tools 1:11.0.0-2~ubuntu20.04.1
ubuntu/llvm-11 1:11.0.0-2~ubuntu20.04.1
ubuntu/locales 2.31-0ubuntu9.9
ubuntu/login 1:4.8.1-1ubuntu5.20.04.4
ubuntu/logsave 1.45.5-2ubuntu1.1
ubuntu/lsb-base 11.1.0ubuntu2
ubuntu/m4 1.4.18-4
ubuntu/make 4.2.1-1.2
ubuntu/manpages-dev 5.05-1
ubuntu/manpages 5.05-1
ubuntu/mawk 1.3.4.20200120-2
ubuntu/mesa-vulkan-drivers 21.2.6-0ubuntu0.1~20.04.2
ubuntu/mime-support 3.64ubuntu1
ubuntu/minisat 1:2.2.1-5build2
ubuntu/mount 2.34-0.1ubuntu9.3
ubuntu/mpi-default-bin 1.13
ubuntu/mpi-default-dev 1.13
ubuntu/ncurses-base 6.2-0ubuntu2
ubuntu/ncurses-bin 6.2-0ubuntu2
ubuntu/netbase 6.1
ubuntu/ocl-icd-libopencl1 2.2.11-1ubuntu1
ubuntu/openjdk-8-jdk-headless 8u352-ga-1~20.04
ubuntu/openjdk-8-jdk 8u352-ga-1~20.04
ubuntu/openjdk-8-jre-headless 8u352-ga-1~20.04
ubuntu/openjdk-8-jre 8u352-ga-1~20.04
ubuntu/openmpi-bin 4.0.3-0ubuntu1
ubuntu/openmpi-common 4.0.3-0ubuntu1
ubuntu/openssh-client 1:8.2p1-4ubuntu0.5
ubuntu/openssl 1.1.1f-1ubuntu2.17
ubuntu/passwd 1:4.8.1-1ubuntu5.20.04.4
ubuntu/patch 2.7.6-6
ubuntu/perl-base 5.30.0-9ubuntu0.3
ubuntu/perl-modules-5.30 5.30.0-9ubuntu0.3
ubuntu/perl-openssl-defaults 4
ubuntu/perl 5.30.0-9ubuntu0.3
ubuntu/pinentry-curses 1.1.0-3build1
ubuntu/procps 2:3.3.16-1ubuntu2.3
ubuntu/publicsuffix 20200303.0012-1
ubuntu/python-is-python2 2.7.17-4
ubuntu/python-pip-whl 20.0.2-5ubuntu1.7
ubuntu/python2-minimal 2.7.17-2ubuntu4
ubuntu/python2.7-minimal 2.7.18-1~20.04.3
ubuntu/python2.7 2.7.18-1~20.04.3
ubuntu/python2 2.7.17-2ubuntu4
ubuntu/python3-dev 3.8.2-0ubuntu2
ubuntu/python3-distutils 3.8.10-0ubuntu1~20.04
ubuntu/python3-lib2to3 3.8.10-0ubuntu1~20.04
ubuntu/python3-minimal 3.8.2-0ubuntu2
ubuntu/python3-pip 20.0.2-5ubuntu1.7
ubuntu/python3-pkg-resources 45.2.0-1ubuntu0.1
ubuntu/python3-pygments 2.3.1 dfsg-1ubuntu2.2
ubuntu/python3-setuptools 45.2.0-1ubuntu0.1
ubuntu/python3-tabulate 0.8.6-0ubuntu2
ubuntu/python3-wheel 0.34.2-1ubuntu0.1
ubuntu/python3-yaml 5.3.1-1ubuntu0.1
ubuntu/python3.8-dev 3.8.10-0ubuntu1~20.04.6
ubuntu/python3.8-minimal 3.8.10-0ubuntu1~20.04.6
ubuntu/python3.8 3.8.10-0ubuntu1~20.04.6
ubuntu/python3 3.8.2-0ubuntu2
ubuntu/readline-common 8.0-4
ubuntu/rsync 3.1.3-8ubuntu0.4
ubuntu/sbt 1.8.2
ubuntu/sed 4.7-1
ubuntu/sensible-utils 0.0.12 nmu1
ubuntu/shared-mime-info 1.15-1
ubuntu/sound-theme-freedesktop 0.8-2ubuntu1
ubuntu/sysvinit-utils 2.96-2.1ubuntu1
ubuntu/tar 1.30 dfsg-7ubuntu0.20.04.2
ubuntu/tex-common 6.13
ubuntu/texinfo 6.7.0.dfsg.2-5
ubuntu/tzdata 2022g-0ubuntu0.20.04.1
ubuntu/ubuntu-keyring 2020.02.11.4
ubuntu/ubuntu-mono 19.04-0ubuntu3
ubuntu/ucf 3.0038 nmu1
ubuntu/unzip 6.0-25ubuntu1.1
ubuntu/util-linux 2.34-0.1ubuntu9.3
ubuntu/vim-common 2:8.1.2269-1ubuntu5.11
ubuntu/vim-runtime 2:8.1.2269-1ubuntu5.11
ubuntu/vim 2:8.1.2269-1ubuntu5.11
ubuntu/wget 1.20.3-1ubuntu2
ubuntu/x11-common 1:7.7 19ubuntu14
ubuntu/x11-utils 7.7 5
ubuntu/x11proto-core-dev 2019.2-1ubuntu1
ubuntu/x11proto-dev 2019.2-1ubuntu1
ubuntu/xauth 1:1.1-0ubuntu1
ubuntu/xdg-user-dirs 0.17-2ubuntu1
ubuntu/xorg-sgml-doctools 1:1.11-1
ubuntu/xtrans-dev 1.4.0-1
ubuntu/xxd 2:8.1.2269-1ubuntu5.11
ubuntu/xz-utils 5.2.4-1ubuntu1.1
ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu1.5
ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu1.5
ubuntu/zsh-common 5.8-3ubuntu1.1
ubuntu/zsh 5.8-3ubuntu1.1

bash 5.0.17

12:12 0.1.0-SNAPSHOT
12:12 0.9.1
12:12 4.7.1
GenSym-assembly:GenSym-assembly 0.1.0-SNAPSHOT
US_export_policy:US_export_policy *
better-monadic-for:12 0.3.0-M4
charsets:charsets *
cldrdata:cldrdata *
com.eed3si9n.jarjarabrams:12 0.1.0
com.eed3si9n:12 0.5.0
com.eed3si9n:12 0.9.1
com.eed3si9n:12 1.0.0-M4
com.eed3si9n:sbt-assembly 0.15.0
com.github.ben-manes.caffeine:caffeine 2.8.5
com.github.mpilquist:12 0.15.0
com.github.tomasmikula:12 0.3.5
com.google.code.findbugs:jsr305 3.0.2
com.google.code.gson:gson 2.7
com.google.code.gson:gson 2.8.2
com.google.errorprone:error_prone_annotations 2.4.0
com.google.guava:guava 21.0
com.jcraft:jsch 0.1.54
com.lmax.disruptor:disruptor 3.4.2
com.squareup.okhttp3:okhttp-urlconnection 3.7.0
com.squareup.okhttp3:okhttp 3.14.2
com.squareup.okio:okio 1.17.2
com.sun.jna.platform:jna-platform 4.5.0
com.sun.jna.platform:jna-platform 5.5.0
com.sun.jna:jna 4.5.0
com.sun.jna:jna 5.5.0
com.sun:jce 1.8.0_352
com.sun:sunec 1.8.0_352
com.sun:sunjce_provider 1.8.0_352
com.sun:sunpkcs11 1.8.0_352
com.swoval:file-tree-views 2.1.6
com.typesafe:12 0.4.0
com.typesafe:config 1.3.3
dnsns:dnsns *
dt:dt *
gettext:gettext *
icedtea-sound:icedtea-sound *
io.get-coursier:12 2.0.6
jaccess:jaccess *
jarjar:jarjar 1.7.2
javax.enterprise:cdi-api 1.0
jconsole:jconsole *
jfr:jfr 1.8.0_352
jline:jline 2.14.6
jsr250-api:jsr250-api 1.0
jsse:jsse 1.8.0_352
junit:junit 4.12
libintl:libintl *
local_policy:local_policy *
localedata:localedata *
management-agent:management-agent *
nashorn:nashorn 1.8.0_352-8u352-ga-1~20.04-b08
net.openhft:zero-allocation-hashing 0.10.1
org.GNOME.Accessibility.AtkWrapper:java-atk-wrapper *
org.antlr:antlr4-runtime 4.9.3
org.apache.ant:ant-launcher 1.9.9
org.apache.ant:ant 1.9.9
org.apache.commons:commons-lang3 3.4
org.apache.logging.log4j:log4j-api 2.11.2
org.apache.logging.log4j:log4j-core 2.11.2
org.apache.logging.log4j:log4j-slf4j-impl 2.11.2
org.apache.maven:maven-artifact 3.3.9
org.apache.maven:maven-model 3.3.9
org.apache.maven:maven-plugin-api 3.3.9
org.atnos:12 5.7.0
org.checkerframework.checker.qual:checker-qual 3.4.1
org.codehaus.plexus:plexus-classworlds 2.5.2
org.codehaus.plexus:plexus-component-annotations 1.5.5
org.codehaus.plexus:plexus-utils 3.0.22
org.debian.security.UpdateCertificates:ca-certificates-java *
org.easymock:easymock 3.3.1
org.eclipse.sisu.inject:inject 0.3.2
org.eclipse.sisu.plexus:plexus 0.3.2
org.fusesource.hawtjni:hawtjni-runtime 1.17
org.fusesource.hawtjni:hawtjni-runtime 1.9
org.fusesource.jansi:jansi-freebsd32 1.8
org.fusesource.jansi:jansi-freebsd64 1.8
org.fusesource.jansi:jansi-linux32 1.6
org.fusesource.jansi:jansi-linux32 1.8
org.fusesource.jansi:jansi-linux64 1.6
org.fusesource.jansi:jansi-linux64 1.8
org.fusesource.jansi:jansi-native 1.6
org.fusesource.jansi:jansi-native 1.8
org.fusesource.jansi:jansi-osx 1.6
org.fusesource.jansi:jansi-osx 1.8
org.fusesource.jansi:jansi-windows32 1.6
org.fusesource.jansi:jansi-windows32 1.8
org.fusesource.jansi:jansi-windows64 1.6
org.fusesource.jansi:jansi-windows64 1.8
org.fusesource.jansi:jansi 1.12
org.fusesource.jansi:jansi 1.18
org.jline:jline-builtins 3.16.0
org.jline:jline-reader 3.16.0
org.jline:jline-style 3.16.0
org.jline:jline-terminal-jansi 3.16.0
org.jline:jline-terminal-jna 3.16.0
org.jline:jline-terminal 3.16.0
org.jsoup:jsoup 1.13.1
org.objectweb.asm.commons:asm-commons 7.0
org.objectweb.asm.tree.analysis:asm-analysis 7.0
org.objectweb.asm.tree:asm-tree 7.0
org.objectweb.asm:asm 7.0
org.powermock:powermock-api-easymock 1.6.2
org.powermock:powermock-module-junit4 1.6.2
org.reactivestreams.reactive-streams:reactive-streams 1.0.2
org.scala-lang.modules.scala-parser-combinators:12 1.0.4
org.scala-lang.modules.scala-parser-combinators:12 1.0.6
org.scala-lang.modules.scala-parser-combinators:12 1.0.7
org.scala-lang.modules.scala-xml:12 1.0.6
org.scala-lang.modules.scala-xml:12 1.2.0
org.scala-lang.modules:12 1.1.2
org.scala-lang.modules:12 1.3.0
org.scala-lang.modules:12 2.0.3
org.scala-lang.modules:12 2.3.2
org.scala-lang.plugins.scala-continuations-library:12 1.0.3
org.scala-lang.plugins.scala-continuations-plugin:0 1.0.3
org.scala-lang.scala-compiler:scala-compiler 2.12.10
org.scala-lang.scala-compiler:scala-compiler 2.12.10.v20190904-150159-VFINAL-61701c2
org.scala-lang.scala-compiler:scala-compiler 2.12.12
org.scala-lang.scala-compiler:scala-compiler 2.12.12.v20200625-063324-VFINAL-cbe6ade
org.scala-lang.scala-compiler:scala-compiler 2.12.8
org.scala-lang.scala-library:scala-library 2.12.10
org.scala-lang.scala-library:scala-library 2.12.10.v20190904-150159-VFINAL-61701c2
org.scala-lang.scala-library:scala-library 2.12.12
org.scala-lang.scala-library:scala-library 2.12.12.v20200625-063324-VFINAL-cbe6ade
org.scala-lang.scala-library:scala-library 2.12.8
org.scala-lang.scala-reflect:scala-reflect 2.12.10
org.scala-lang.scala-reflect:scala-reflect 2.12.10.v20190904-150159-VFINAL-61701c2
org.scala-lang.scala-reflect:scala-reflect 2.12.12
org.scala-lang.scala-reflect:scala-reflect 2.12.12.v20200625-063324-VFINAL-cbe6ade
org.scala-lang.scala-reflect:scala-reflect 2.12.8
org.scala-lang.virtualized:12 0.0.1-SNAPSHOT
org.scala-sbt.ipcsocket:ipcsocket 1.3.0
org.scala-sbt.ivy:ivy 2.3.0-sbt-fbc4f586aeeb1591710b14eb4f41b94880dcd745
org.scala-sbt.jline:jline 2.14.7-sbt-5e51b9d4f9631ebfa29753ce4accc57808e7fd6b
org.scala-sbt.jline3:jline-terminal 3.16.0-sbt-211a082ed6326908dc84ca017ce4430728f18a8a
org.scala-sbt:12 0.5.1
org.scala-sbt:12 1.4.0
org.scala-sbt:12 1.4.3
org.scala-sbt:12 1.4.4
org.scala-sbt:12 1.4.4-bin_2.12.10__52.0
org.scala-sbt:12 1.4.4-bin_2.12.10__52.0-1.4.4_20201220T223045
org.scala-sbt:12 1.4.4-bin_2.12.8__52.0
org.scala-sbt:12 1.4.4-bin_2.12.8__52.0-1.4.4_20201220T223045
org.scala-sbt:12 1.4.4-sources
org.scala-sbt:12 1.4.7
org.scala-sbt:compiler-interface 1.4.4
org.scala-sbt:launcher-interface 1.1.6
org.scala-sbt:sbt-launch 1.8.2
org.scala-sbt:sbt 1.4.7
org.scala-sbt:template-resolver 0.1
org.scala-sbt:test-agent 1.4.7
org.scala-sbt:test-interface 1.0
org.scala-sbt:util-interface 1.4.0
org.scala-sbt:util-interface 1.4.7
org.scala-sbt:zinc-persist-core-assembly 1.4.4
org.scalactic:12 3.0.1
org.scalactic:12 3.0.8
org.scalamacros:10 2.1.0
org.scalamacros:8 2.1.0
org.scalatest:12 3.0.1
org.scalatest:12 3.0.8
org.scalaz.core:12 7.2.27
org.slf4j:slf4j-api 1.7.26
org.slf4j:slf4j-nop 1.7.2
org.typelevel:10 0.11.3
org.typelevel:12 0.6.6
org.typelevel:12 1.1.1
org.typelevel:12 1.6.0
org.typelevel:12 2.1.0
resources:resources 1.8.0_352
rt:rt 1.8.0_352
sa-jdi:sa-jdi *
sbt-bloop:sbt-bloop 1.4.10-8-8d1cbc4f
scalap:scalap 2.12.10
tools:tools *
z3:z3 *
zipfs:zipfs 1.8.0_352

Microsoft.NETCore.Platforms 1.1.0
Microsoft.NETCore.Targets 1.1.0
Microsoft.Win32.Primitives 4.3.0
Microsoft.Z3 4.8.12
NETStandard.Library 1.6.1
System.AppContext 4.3.0
System.Buffers 4.3.0
System.Collections.Concurrent 4.3.0
System.Collections 4.3.0
System.Console 4.3.0
System.Diagnostics.Debug 4.3.0
System.Diagnostics.DiagnosticSource 4.3.0
System.Diagnostics.Tools 4.3.0
System.Diagnostics.Tracing 4.3.0
System.Globalization.Calendars 4.3.0
System.Globalization 4.3.0
System.IO.Compression.ZipFile 4.3.0
System.IO.Compression 4.3.0
System.IO.FileSystem.Primitives 4.3.0
System.IO.FileSystem 4.3.0
System.IO 4.3.0
System.Linq.Expressions 4.3.0
System.Linq 4.3.0
System.Net.Http 4.3.0
System.Net.Primitives 4.3.0
System.Net.Sockets 4.3.0
System.ObjectModel 4.3.0
System.Reflection.Extensions 4.3.0
System.Reflection.Primitives 4.3.0
System.Reflection 4.3.0
System.Resources.ResourceManager 4.3.0
System.Runtime.Extensions 4.3.0
System.Runtime.Handles 4.3.0
System.Runtime.InteropServices.RuntimeInformation 4.3.0
System.Runtime.InteropServices 4.3.0
System.Runtime.Numerics 4.3.0
System.Runtime 4.3.0
System.Security.Cryptography.Algorithms 4.3.0
System.Security.Cryptography.Encoding 4.3.0
System.Security.Cryptography.Primitives 4.3.0
System.Security.Cryptography.X509Certificates 4.3.0
System.Text.Encoding.Extensions 4.3.0
System.Text.Encoding 4.3.0
System.Text.RegularExpressions 4.3.0
System.Threading.Tasks.Extensions 4.3.0
System.Threading.Tasks 4.3.0
System.Threading.Timer 4.3.0
System.Threading 4.3.0
System.Xml.ReaderWriter 4.3.0
System.Xml.XDocument 4.3.0
runtime.debian.8-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.fedora.23-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.fedora.24-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.native.System.IO.Compression 4.3.0
runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.native.System 4.3.0
runtime.opensuse.13.2-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.opensuse.42.1-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.osx.10.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.rhel.7-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.14.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.16.04-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0
runtime.ubuntu.16.10-x64.runtime.native.System.Security.Cryptography.OpenSsl 4.3.0

Sphinx 1.7.1
recommonmark 0.4.0