Ecosyste.ms: Docker

An open API service providing dependency metadata for docker images.

toposoid/toposoid-sat-solver-web : 0.4-SNAPSHOT-workflow

Ubuntu 18.04.5 LTS

Latest release: over 1 year ago - 156 downloads - 785 dependencies

JSON

Dependencies

ubuntu/adduser 3.116ubuntu1
ubuntu/apt-utils 1.6.14
ubuntu/apt 1.6.14
ubuntu/at-spi2-core 2.28.0-1
ubuntu/base-files 10.1ubuntu2.10
ubuntu/base-passwd 3.5.44
ubuntu/bash 4.4.18-2ubuntu1.2
ubuntu/binutils-common 2.30-21ubuntu1~18.04.5
ubuntu/binutils-x86-64-linux-gnu 2.30-21ubuntu1~18.04.5
ubuntu/binutils 2.30-21ubuntu1~18.04.5
ubuntu/bsdutils 1:2.31.1-0.4ubuntu3.7
ubuntu/build-essential 12.4ubuntu1
ubuntu/bzip2 1.0.6-8.1ubuntu0.2
ubuntu/ca-certificates-java 20180516ubuntu1~18.04.1
ubuntu/ca-certificates 20210119~18.04.1
ubuntu/cmake-data 3.10.2-1ubuntu2.18.04.2
ubuntu/cmake 3.10.2-1ubuntu2.18.04.2
ubuntu/coreutils 8.28-1ubuntu1
ubuntu/cpp-7 7.5.0-3ubuntu1~18.04
ubuntu/cpp 4:7.4.0-1ubuntu2.3
ubuntu/curl 7.58.0-2ubuntu3.13
ubuntu/dash 0.5.8-2.10
ubuntu/dbus 1.12.2-1ubuntu1.2
ubuntu/debconf 1.5.66ubuntu1
ubuntu/debianutils 4.8.4
ubuntu/dialog 1.3-20171209-1
ubuntu/diffutils 1:3.6-1
ubuntu/dirmngr 2.2.4-1ubuntu1.4
ubuntu/dpkg-dev 1.19.0.5ubuntu2.3
ubuntu/dpkg 1.19.0.5ubuntu2.3
ubuntu/e2fsprogs 1.44.1-1ubuntu1.3
ubuntu/fakeroot 1.22-2ubuntu1
ubuntu/fdisk 2.31.1-0.4ubuntu3.7
ubuntu/findutils 4.6.0 git 20170828-2
ubuntu/fontconfig-config 2.12.6-0ubuntu2
ubuntu/fontconfig 2.12.6-0ubuntu2
ubuntu/fonts-dejavu-core 2.37-1
ubuntu/fonts-dejavu-extra 2.37-1
ubuntu/fonts-droid-fallback 1:6.0.1r16-1.1
ubuntu/fonts-liberation 1:1.07.4-7~18.04.1
ubuntu/fonts-noto-mono 20171026-2
ubuntu/g -7 7.5.0-3ubuntu1~18.04
ubuntu/g 4:7.4.0-1ubuntu2.3
ubuntu/gcc-7-base 7.5.0-3ubuntu1~18.04
ubuntu/gcc-7 7.5.0-3ubuntu1~18.04
ubuntu/gcc-8-base 8.4.0-1ubuntu1~18.04
ubuntu/gcc 4:7.4.0-1ubuntu2.3
ubuntu/ghostscript-x 9.26~dfsg 0-0ubuntu0.18.04.14
ubuntu/ghostscript 9.26~dfsg 0-0ubuntu0.18.04.14
ubuntu/git-man 1:2.17.1-1ubuntu0.8
ubuntu/git 1:2.17.1-1ubuntu0.11
ubuntu/gnupg-l10n 2.2.4-1ubuntu1.4
ubuntu/gnupg-utils 2.2.4-1ubuntu1.4
ubuntu/gnupg 2.2.4-1ubuntu1.4
ubuntu/google-perftools 2.5-2.2ubuntu3
ubuntu/gpg-agent 2.2.4-1ubuntu1.4
ubuntu/gpg-wks-client 2.2.4-1ubuntu1.4
ubuntu/gpg-wks-server 2.2.4-1ubuntu1.4
ubuntu/gpg 2.2.4-1ubuntu1.4
ubuntu/gpgconf 2.2.4-1ubuntu1.4
ubuntu/gpgsm 2.2.4-1ubuntu1.4
ubuntu/gpgv 2.2.4-1ubuntu1.4
ubuntu/graphviz 2.40.1-2
ubuntu/grep 3.1-2build1
ubuntu/gsfonts 1:8.11 urwcyr1.0.7~pre44-4.4
ubuntu/gv 1:3.7.4-1build1
ubuntu/gzip 1.6-5ubuntu1
ubuntu/hostname 3.20
ubuntu/init-system-helpers 1.51
ubuntu/java-common 0.68ubuntu1~18.04.1
ubuntu/krb5-locales 1.16-2ubuntu0.2
ubuntu/less 487-0.1
ubuntu/libacl1 2.2.52-3build1
ubuntu/libalgorithm-diff-perl 1.19.03-1
ubuntu/libalgorithm-diff-xs-perl 0.04-5
ubuntu/libalgorithm-merge-perl 0.08-3
ubuntu/libann0 1.1.2 doc-6
ubuntu/libapparmor1 2.12-4ubuntu5.1
ubuntu/libapt-inst2.0 1.6.14
ubuntu/libapt-pkg5.0 1.6.14
ubuntu/libarchive13 3.2.2-3.1ubuntu0.7
ubuntu/libasan4 7.5.0-3ubuntu1~18.04
ubuntu/libasn1-8-heimdal 7.5.0 dfsg-1
ubuntu/libasound2-data 1.1.3-5ubuntu0.5
ubuntu/libasound2 1.1.3-5ubuntu0.5
ubuntu/libassuan0 2.5.1-2
ubuntu/libatk-bridge2.0-0 2.26.2-1
ubuntu/libatk-wrapper-java-jni 0.33.3-20ubuntu0.1
ubuntu/libatk-wrapper-java 0.33.3-20ubuntu0.1
ubuntu/libatk1.0-0 2.28.1-1
ubuntu/libatk1.0-data 2.28.1-1
ubuntu/libatomic1 8.4.0-1ubuntu1~18.04
ubuntu/libatspi2.0-0 2.28.0-1
ubuntu/libattr1 1:2.4.47-2build1
ubuntu/libaudit-common 1:2.8.2-1ubuntu1.1
ubuntu/libaudit1 1:2.8.2-1ubuntu1.1
ubuntu/libavahi-client3 0.7-3.1ubuntu1.3
ubuntu/libavahi-common-data 0.7-3.1ubuntu1.3
ubuntu/libavahi-common3 0.7-3.1ubuntu1.3
ubuntu/libbinutils 2.30-21ubuntu1~18.04.5
ubuntu/libblkid1 2.31.1-0.4ubuntu3.7
ubuntu/libboost-dev 1.65.1.0ubuntu1
ubuntu/libboost1.65-dev 1.65.1 dfsg-0ubuntu5
ubuntu/libbsd0 0.8.7-1ubuntu0.1
ubuntu/libbz2-1.0 1.0.6-8.1ubuntu0.2
ubuntu/libc-bin 2.27-3ubuntu1.4
ubuntu/libc-dev-bin 2.27-3ubuntu1.4
ubuntu/libc6-dev 2.27-3ubuntu1.4
ubuntu/libc6 2.27-3ubuntu1.4
ubuntu/libcairo2 1.15.10-2ubuntu0.1
ubuntu/libcap-ng0 0.7.7-3.1
ubuntu/libcc1-0 8.4.0-1ubuntu1~18.04
ubuntu/libcdt5 2.40.1-2
ubuntu/libcgraph6 2.40.1-2
ubuntu/libcilkrts5 7.5.0-3ubuntu1~18.04
ubuntu/libcom-err2 1.44.1-1ubuntu1.3
ubuntu/libcups2 2.2.7-1ubuntu2.8
ubuntu/libcupsfilters1 1.20.2-0ubuntu3.1
ubuntu/libcupsimage2 2.2.7-1ubuntu2.8
ubuntu/libcurl3-gnutls 7.58.0-2ubuntu3.13
ubuntu/libcurl4 7.58.0-2ubuntu3.13
ubuntu/libdatrie1 0.2.10-7
ubuntu/libdb5.3 5.3.28-13.1ubuntu1.1
ubuntu/libdbus-1-3 1.12.2-1ubuntu1.2
ubuntu/libdebconfclient0 0.213ubuntu1
ubuntu/libdpkg-perl 1.19.0.5ubuntu2.3
ubuntu/libdrm-amdgpu1 2.4.101-2~18.04.1
ubuntu/libdrm-common 2.4.101-2~18.04.1
ubuntu/libdrm-intel1 2.4.101-2~18.04.1
ubuntu/libdrm-nouveau2 2.4.101-2~18.04.1
ubuntu/libdrm-radeon1 2.4.101-2~18.04.1
ubuntu/libdrm2 2.4.101-2~18.04.1
ubuntu/libedit2 3.1-20170329-1
ubuntu/libelf1 0.170-0.4ubuntu0.1
ubuntu/liberror-perl 0.17025-1
ubuntu/libexpat1 2.2.5-3ubuntu0.2
ubuntu/libext2fs2 1.44.1-1ubuntu1.3
ubuntu/libfakeroot 1.22-2ubuntu1
ubuntu/libfdisk1 2.31.1-0.4ubuntu3.7
ubuntu/libffi6 3.2.1-8
ubuntu/libfile-fcntllock-perl 0.22-3build2
ubuntu/libfontconfig1 2.12.6-0ubuntu2
ubuntu/libfontenc1 1:1.1.3-1
ubuntu/libfreetype6 2.8.1-2ubuntu2.1
ubuntu/libgcc-7-dev 7.5.0-3ubuntu1~18.04
ubuntu/libgcc1 1:8.4.0-1ubuntu1~18.04
ubuntu/libgcrypt20 1.8.1-4ubuntu1.2
ubuntu/libgd3 2.2.5-4ubuntu0.5
ubuntu/libgdbm-compat4 1.14.1-6
ubuntu/libgdbm5 1.14.1-6
ubuntu/libgif7 5.1.4-2ubuntu0.1
ubuntu/libgl1-mesa-dri 20.0.8-0ubuntu1~18.04.1
ubuntu/libgl1 1.0.0-2ubuntu2.3
ubuntu/libglapi-mesa 20.0.8-0ubuntu1~18.04.1
ubuntu/libglib2.0-0 2.56.4-0ubuntu0.18.04.8
ubuntu/libglib2.0-data 2.56.4-0ubuntu0.18.04.8
ubuntu/libglvnd0 1.0.0-2ubuntu2.3
ubuntu/libglx-mesa0 20.0.8-0ubuntu1~18.04.1
ubuntu/libglx0 1.0.0-2ubuntu2.3
ubuntu/libgmp10 2:6.1.2 dfsg-2
ubuntu/libgnutls30 3.5.18-1ubuntu1.4
ubuntu/libgomp1 8.4.0-1ubuntu1~18.04
ubuntu/libgoogle-perftools-dev 2.5-2.2ubuntu3
ubuntu/libgoogle-perftools4 2.5-2.2ubuntu3
ubuntu/libgpg-error0 1.27-6
ubuntu/libgraphite2-3 1.3.11-2
ubuntu/libgs9-common 9.26~dfsg 0-0ubuntu0.18.04.14
ubuntu/libgs9 9.26~dfsg 0-0ubuntu0.18.04.14
ubuntu/libgssapi-krb5-2 1.16-2ubuntu0.2
ubuntu/libgssapi3-heimdal 7.5.0 dfsg-1
ubuntu/libgts-0.7-5 0.7.6 darcs121130-4
ubuntu/libgts-bin 0.7.6 darcs121130-4
ubuntu/libgvc6 2.40.1-2
ubuntu/libgvpr2 2.40.1-2
ubuntu/libharfbuzz0b 1.7.2-1ubuntu1
ubuntu/libhcrypto4-heimdal 7.5.0 dfsg-1
ubuntu/libheimbase1-heimdal 7.5.0 dfsg-1
ubuntu/libheimntlm0-heimdal 7.5.0 dfsg-1
ubuntu/libhogweed4 3.4.1-0ubuntu0.18.04.1
ubuntu/libhx509-5-heimdal 7.5.0 dfsg-1
ubuntu/libice-dev 2:1.0.9-2
ubuntu/libice6 2:1.0.9-2
ubuntu/libicu60 60.2-3ubuntu3.1
ubuntu/libidn11 1.33-2.1ubuntu1.2
ubuntu/libidn2-0 2.0.4-1.1ubuntu0.2
ubuntu/libijs-0.35 0.35-13
ubuntu/libisl19 0.19-1
ubuntu/libitm1 8.4.0-1ubuntu1~18.04
ubuntu/libjbig0 2.1-3.1build1
ubuntu/libjbig2dec0 0.13-6
ubuntu/libjpeg-turbo8 1.5.2-0ubuntu5.18.04.4
ubuntu/libjpeg8 8c-2ubuntu8
ubuntu/libjsoncpp1 1.7.4-3
ubuntu/libjuman4 7.0-3.4
ubuntu/libk5crypto3 1.16-2ubuntu0.2
ubuntu/libkeyutils1 1.5.9-9.2ubuntu2
ubuntu/libkrb5-26-heimdal 7.5.0 dfsg-1
ubuntu/libkrb5-3 1.16-2ubuntu0.2
ubuntu/libkrb5support0 1.16-2ubuntu0.2
ubuntu/libksba8 1.3.5-2
ubuntu/liblab-gamut1 2.40.1-2
ubuntu/liblcms2-2 2.9-1ubuntu0.1
ubuntu/libldap-2.4-2 2.4.45 dfsg-1ubuntu1.10
ubuntu/libldap-common 2.4.45 dfsg-1ubuntu1.10
ubuntu/libllvm10 1:10.0.0-4ubuntu1~18.04.2
ubuntu/liblocale-gettext-perl 1.07-3build2
ubuntu/liblsan0 8.4.0-1ubuntu1~18.04
ubuntu/libltdl7 2.4.6-2
ubuntu/liblz4-1 0.0~r131-2ubuntu3.1
ubuntu/liblzma-dev 5.2.2-1.3
ubuntu/liblzma5 5.2.2-1.3
ubuntu/liblzo2-2 2.08-1.2
ubuntu/libmount1 2.31.1-0.4ubuntu3.7
ubuntu/libmpc3 1.1.0-1
ubuntu/libmpfr6 4.0.1-1
ubuntu/libmpx2 8.4.0-1ubuntu1~18.04
ubuntu/libncurses5 6.1-1ubuntu1.18.04
ubuntu/libncursesw5 6.1-1ubuntu1.18.04
ubuntu/libnettle6 3.4.1-0ubuntu0.18.04.1
ubuntu/libnghttp2-14 1.30.0-1ubuntu1
ubuntu/libnpth0 1.5-3
ubuntu/libnspr4 2:4.18-1ubuntu1
ubuntu/libnss3 2:3.35-2ubuntu2.12
ubuntu/libp11-kit0 0.23.9-2ubuntu0.1
ubuntu/libpam-modules-bin 1.1.8-3.6ubuntu2.18.04.3
ubuntu/libpam-modules 1.1.8-3.6ubuntu2.18.04.3
ubuntu/libpam-runtime 1.1.8-3.6ubuntu2.18.04.3
ubuntu/libpam0g 1.1.8-3.6ubuntu2.18.04.3
ubuntu/libpango-1.0-0 1.40.14-1ubuntu0.1
ubuntu/libpangocairo-1.0-0 1.40.14-1ubuntu0.1
ubuntu/libpangoft2-1.0-0 1.40.14-1ubuntu0.1
ubuntu/libpaper-utils 1.1.24 nmu5ubuntu1
ubuntu/libpaper1 1.1.24 nmu5ubuntu1
ubuntu/libpathplan4 2.40.1-2
ubuntu/libpciaccess0 0.14-1
ubuntu/libpcre3 2:8.39-9
ubuntu/libpcsclite1 1.8.23-1
ubuntu/libperl5.26 5.26.1-6ubuntu0.5
ubuntu/libpixman-1-0 0.34.0-2
ubuntu/libpng16-16 1.6.34-1ubuntu0.18.04.2
ubuntu/libprocps6 2:3.3.12-3ubuntu1.2
ubuntu/libpsl5 0.19.1-5build1
ubuntu/libpthread-stubs0-dev 0.3-4
ubuntu/libquadmath0 8.4.0-1ubuntu1~18.04
ubuntu/libreadline7 7.0-3
ubuntu/librhash0 1.3.6-2
ubuntu/libroken18-heimdal 7.5.0 dfsg-1
ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-1
ubuntu/libsasl2-2 2.1.27~101-g0780600 dfsg-3ubuntu2.3
ubuntu/libsasl2-modules-db 2.1.27~101-g0780600 dfsg-3ubuntu2.3
ubuntu/libsasl2-modules 2.1.27~101-g0780600 dfsg-3ubuntu2.3
ubuntu/libseccomp2 2.5.1-1ubuntu1~18.04.1
ubuntu/libselinux1 2.7-2build2
ubuntu/libsemanage-common 2.7-2build2
ubuntu/libsemanage1 2.7-2build2
ubuntu/libsensors4 1:3.4.0-4
ubuntu/libsepol1 2.7-1
ubuntu/libsm-dev 2:1.2.2-1
ubuntu/libsm6 2:1.2.2-1
ubuntu/libsmartcols1 2.31.1-0.4ubuntu3.7
ubuntu/libsqlite3-0 3.22.0-1ubuntu0.4
ubuntu/libss2 1.44.1-1ubuntu1.3
ubuntu/libssl1.0.0 1.0.2n-1ubuntu5.6
ubuntu/libssl1.1 1.1.1-1ubuntu2.1~18.04.9
ubuntu/libstdc -7-dev 7.5.0-3ubuntu1~18.04
ubuntu/libstdc 6 8.4.0-1ubuntu1~18.04
ubuntu/libsystemd0 237-3ubuntu10.48
ubuntu/libtasn1-6 4.13-2
ubuntu/libtcmalloc-minimal4 2.5-2.2ubuntu3
ubuntu/libthai-data 0.1.27-2
ubuntu/libthai0 0.1.27-2
ubuntu/libtiff5 4.0.9-5ubuntu0.4
ubuntu/libtinfo5 6.1-1ubuntu1.18.04
ubuntu/libtsan0 8.4.0-1ubuntu1~18.04
ubuntu/libubsan0 7.5.0-3ubuntu1~18.04
ubuntu/libudev1 237-3ubuntu10.48
ubuntu/libunistring2 0.9.9-0ubuntu2
ubuntu/libunwind-dev 1.2.1-8
ubuntu/libunwind8 1.2.1-8
ubuntu/libuuid1 2.31.1-0.4ubuntu3.7
ubuntu/libuv1 1.18.0-3
ubuntu/libwebp6 0.6.1-2ubuntu0.18.04.1
ubuntu/libwind0-heimdal 7.5.0 dfsg-1
ubuntu/libx11-6 2:1.6.4-3ubuntu0.4
ubuntu/libx11-data 2:1.6.4-3ubuntu0.4
ubuntu/libx11-dev 2:1.6.4-3ubuntu0.4
ubuntu/libx11-doc 2:1.6.4-3ubuntu0.4
ubuntu/libx11-xcb1 2:1.6.4-3ubuntu0.4
ubuntu/libxau-dev 1:1.0.8-1ubuntu1
ubuntu/libxau6 1:1.0.8-1ubuntu1
ubuntu/libxaw7 2:1.0.13-1
ubuntu/libxcb-dri2-0 1.13-2~ubuntu18.04
ubuntu/libxcb-dri3-0 1.13-2~ubuntu18.04
ubuntu/libxcb-glx0 1.13-2~ubuntu18.04
ubuntu/libxcb-present0 1.13-2~ubuntu18.04
ubuntu/libxcb-render0 1.13-2~ubuntu18.04
ubuntu/libxcb-shape0 1.13-2~ubuntu18.04
ubuntu/libxcb-shm0 1.13-2~ubuntu18.04
ubuntu/libxcb-sync1 1.13-2~ubuntu18.04
ubuntu/libxcb1-dev 1.13-2~ubuntu18.04
ubuntu/libxcb1 1.13-2~ubuntu18.04
ubuntu/libxcomposite1 1:0.4.4-2
ubuntu/libxdamage1 1:1.1.4-3
ubuntu/libxdmcp-dev 1:1.1.2-3
ubuntu/libxdmcp6 1:1.1.2-3
ubuntu/libxext6 2:1.3.3-1
ubuntu/libxfixes3 1:5.0.3-1
ubuntu/libxft2 2.3.2-1
ubuntu/libxi6 2:1.7.9-1
ubuntu/libxinerama1 2:1.1.3-1
ubuntu/libxml2 2.9.4 dfsg1-6.1ubuntu1.4
ubuntu/libxmu6 2:1.1.2-2
ubuntu/libxmuu1 2:1.1.2-2
ubuntu/libxpm4 1:3.5.12-1
ubuntu/libxrandr2 2:1.5.1-1
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.4-1
ubuntu/libxxf86vm1 1:1.1.4-1
ubuntu/libzstd1 1.3.3 dfsg-2ubuntu1.2
ubuntu/linux-libc-dev 4.15.0-156.163
ubuntu/locales 2.27-3ubuntu1.4
ubuntu/login 1:4.5-1ubuntu2
ubuntu/lsb-base 9.20170808ubuntu1
ubuntu/make 4.1-9.1ubuntu1
ubuntu/manpages-dev 4.15-1
ubuntu/manpages 4.15-1
ubuntu/mawk 1.3.3-17ubuntu3
ubuntu/mount 2.31.1-0.4ubuntu3.7
ubuntu/multiarch-support 2.27-3ubuntu1.4
ubuntu/ncurses-base 6.1-1ubuntu1.18.04
ubuntu/ncurses-bin 6.1-1ubuntu1.18.04
ubuntu/netbase 5.4
ubuntu/openjdk-11-jdk-headless 11.0.11 9-0ubuntu2~18.04
ubuntu/openjdk-11-jdk 11.0.11 9-0ubuntu2~18.04
ubuntu/openjdk-11-jre-headless 11.0.11 9-0ubuntu2~18.04
ubuntu/openjdk-11-jre 11.0.11 9-0ubuntu2~18.04
ubuntu/openssh-client 1:7.6p1-4ubuntu0.3
ubuntu/openssl 1.1.1-1ubuntu2.1~18.04.9
ubuntu/passwd 1:4.5-1ubuntu2
ubuntu/patch 2.7.6-2ubuntu1.1
ubuntu/perl-base 5.26.1-6ubuntu0.5
ubuntu/perl-modules-5.26 5.26.1-6ubuntu0.5
ubuntu/perl 5.26.1-6ubuntu0.5
ubuntu/pinentry-curses 1.1.0-1
ubuntu/poppler-data 0.4.8-2
ubuntu/procps 2:3.3.12-3ubuntu1.2
ubuntu/publicsuffix 20180223.1310-1
ubuntu/readline-common 7.0-3
ubuntu/sbt 1.2.8
ubuntu/sed 4.4-2
ubuntu/sensible-utils 0.0.12
ubuntu/shared-mime-info 1.9-2
ubuntu/sysvinit-utils 2.88dsf-59.10ubuntu1
ubuntu/tar 1.29b-2ubuntu0.2
ubuntu/ubuntu-keyring 2018.09.18.1~18.04.2
ubuntu/ucf 3.0038
ubuntu/unzip 6.0-21ubuntu1.2
ubuntu/util-linux 2.31.1-0.4ubuntu3.7
ubuntu/wget 1.19.4-1ubuntu2.2
ubuntu/x11-common 1:7.7 19ubuntu7.1
ubuntu/x11-utils 7.7 3build1
ubuntu/x11proto-core-dev 2018.4-4
ubuntu/x11proto-dev 2018.4-4
ubuntu/xauth 1:1.0.10-1
ubuntu/xaw3dg 1.5 E-18.3
ubuntu/xdg-user-dirs 0.17-1ubuntu1
ubuntu/xorg-sgml-doctools 1:1.11-1
ubuntu/xtrans-dev 1.3.5-1
ubuntu/xz-utils 5.2.2-1.3
ubuntu/zlib1g-dev 1:1.2.11.dfsg-0ubuntu2.2
ubuntu/zlib1g 1:1.2.11.dfsg-0ubuntu2.2

aopalliance.aopalliance:aopalliance.aopalliance 1.0
aopalliance:aopalliance 1.0
cache-api:cache-api 1.1.1
cglib:cglib 3.3.0
ch.qos.logback.logback-classic:ch.qos.logback.logback-classic 1.2.3
ch.qos.logback.logback-core:ch.qos.logback.logback-core 1.2.3
com.eed3si9n:gigahorse-core_2.12 0.3.0
com.eed3si9n:gigahorse-okhttp_2.12 0.3.0
com.eed3si9n:shaded-scalajson_2.12 1.0.0-M4
com.eed3si9n:sjson-new-core_2.12 0.8.2
com.eed3si9n:sjson-new-murmurhash_2.12 0.8.2
com.eed3si9n:sjson-new-scalajson_2.12 0.8.2
com.fasterxml.jackson.core.jackson-annotations:com.fasterxml.jackson.core.jackson-annotations 2.11.4
com.fasterxml.jackson.core.jackson-core:com.fasterxml.jackson.core.jackson-core 2.11.4
com.fasterxml.jackson.core.jackson-databind:com.fasterxml.jackson.core.jackson-databind 2.11.4
com.fasterxml.jackson.core:jackson-annotations 2.11.4
com.fasterxml.jackson.core:jackson-core 2.11.4
com.fasterxml.jackson.core:jackson-core 2.9.7
com.fasterxml.jackson.core:jackson-databind 2.11.4
com.fasterxml.jackson.dataformat.jackson-dataformat-cbor:com.fasterxml.jackson.dataformat.jackson-dataformat-cbor 2.11.4
com.fasterxml.jackson.dataformat:jackson-dataformat-cbor 2.11.4
com.fasterxml.jackson.datatype.jackson-datatype-jdk8:com.fasterxml.jackson.datatype.jackson-datatype-jdk8 2.11.4
com.fasterxml.jackson.datatype.jackson-datatype-jsr310:com.fasterxml.jackson.datatype.jackson-datatype-jsr310 2.11.4
com.fasterxml.jackson.datatype:jackson-datatype-jdk8 2.11.4
com.fasterxml.jackson.datatype:jackson-datatype-jsr310 2.11.4
com.fasterxml.jackson.module.jackson-module-parameter-names:com.fasterxml.jackson.module.jackson-module-parameter-names 2.11.4
com.fasterxml.jackson.module.jackson-module-paranamer:com.fasterxml.jackson.module.jackson-module-paranamer 2.11.4
com.fasterxml.jackson.module.jackson.module.scala:com.fasterxml.jackson.module.jackson-module-scala_2.12 2.11.4
com.fasterxml.jackson.module.jackson.module.scala:jackson-module-scala_2.12 2.11.4
com.fasterxml.jackson.module:jackson-module-parameter-names 2.11.4
com.fasterxml.jackson.module:jackson-module-paranamer 2.11.4
com.github.ben-manes.caffeine:caffeine 2.5.6
com.github.cb372:scalacache-caffeine_2.12 0.20.0
com.github.cb372:scalacache-core_2.12 0.20.0
com.github.eldis:tool-launcher 0.2.2
com.github.pathikrit:better-files_2.12 3.8.0
com.google.code.findbugs:jsr305 3.0.2
com.google.errorprone.annotations:com.google.errorprone.error_prone_annotations 2.3.4
com.google.errorprone:error_prone_annotations 2.3.4
com.google.gson:gson 2.2.4
com.google.guava.failureaccess:com.google.guava.failureaccess 1.0.1
com.google.guava.listenablefuture:com.google.guava.listenablefuture 9999.0-empty-to-avoid-conflict-with-guava
com.google.guava:com.google.guava.guava 28.2-jre
com.google.guava:failureaccess 1.0.1
com.google.guava:guava 28.2-jre
com.google.guava:listenablefuture 9999.0-empty-to-avoid-conflict-with-guava
com.google.inject.assistedinject:com.google.inject.extensions.guice-assistedinject 4.2.3
com.google.inject.assistedinject:guice-assistedinject 4.2.3
com.google.inject:com.google.inject.guice 4.2.3
com.google.inject:guice 4.2.3
com.google.j2objc.j2objc-annotations:com.google.j2objc.j2objc-annotations 1.3
com.google.j2objc:j2objc-annotations 1.3
com.google.protobuf:protobuf-java 3.3.1
com.googlecode.javaewah:JavaEWAH 1.1.6
com.ideal.linked.toposoid-sat-solver-web:com.ideal.linked.toposoid-sat-solver-web 0.4-SNAPSHOT-assets
com.ideal.linked.toposoid-sat-solver-web:com.ideal.linked.toposoid-sat-solver-web 0.4-SNAPSHOT-sans-externalized
com.ideal.linked:com.ideal.linked.scala-common_2.12 0.4-SNAPSHOT
com.ideal.linked:com.ideal.linked.toposoid-deduction-protocol-model_2.12 0.4-SNAPSHOT
com.ideal.linked:com.ideal.linked.toposoid-knowledgebase-model_2.12 0.4-SNAPSHOT
com.ideal.linked:scala-common 2.12
com.ideal.linked:scala-data-accessor-neo4j 2.12
com.ideal.linked:toposoid-common 2.12
com.ideal.linked:toposoid-deduction-protocol-model 2.12
com.ideal.linked:toposoid-knowledgebase-model 2.12
com.ideal.linked:toposoid-sat-solver-web_2.12 0.4-SNAPSHOT
com.ideal.linked:toposoid-sentence-transformer-neo4j 2.12
com.jcraft:jsch 0.1.54
com.lightbend.play:play-file-watch_2.12 1.1.16
com.lightbend.sbt:sbt-javaagent 0.1.5
com.lihaoyi:fastparse-utils_2.12 0.4.2
com.lihaoyi:fastparse_2.12 0.4.2
com.lihaoyi:sourcecode_2.12 0.1.3
com.lmax.disruptor:disruptor 3.4.2
com.novocode:junit-interface 0.11
com.squareup.okhttp3:okhttp-urlconnection 3.7.0
com.squareup.okhttp3:okhttp 3.11.0
com.squareup.okhttp3:okhttp 3.7.0
com.squareup.okio:okio 1.12.0
com.squareup.okio:okio 1.14.0
com.sun.jna.platform:jna-platform 4.5.0
com.sun.jna:jna 4.5.0
com.sun.jna:jna 5.7.0
com.sun:activation 1.1
com.sun:jakarta.activation-api 1.2.2
com.sun:jakarta.activation.jakarta.activation-api 1.2.2
com.sun:mail 1.4
com.swoval:apple-file-events 1.3.2
com.thoughtworks.paranamer:com.thoughtworks.paranamer.paranamer 2.8
com.thoughtworks.paranamer:paranamer 2.8
com.trueaccord.lenses:lenses_2.12 0.4.12
com.trueaccord.scalapb:scalapb-runtime_2.12 0.6.0
com.typesafe.akka.actor.typed:akka-actor-typed_2.12 2.6.14
com.typesafe.akka.actor.typed:com.typesafe.akka.akka-actor-typed_2.12 2.6.14
com.typesafe.akka.actor:akka-actor_2.12 2.5.18
com.typesafe.akka.actor:akka-actor_2.12 2.6.14
com.typesafe.akka.actor:com.typesafe.akka.akka-actor_2.12 2.6.14
com.typesafe.akka.protobuf.v3:akka-protobuf-v3_2.12 2.6.14
com.typesafe.akka.protobuf.v3:com.typesafe.akka.akka-protobuf-v3_2.12 2.6.14
com.typesafe.akka.serialization.jackson:akka-serialization-jackson_2.12 2.6.14
com.typesafe.akka.serialization.jackson:com.typesafe.akka.akka-serialization-jackson_2.12 2.6.14
com.typesafe.akka.slf4j:akka-slf4j_2.12 2.6.14
com.typesafe.akka.slf4j:com.typesafe.akka.akka-slf4j_2.12 2.6.14
com.typesafe.akka.stream:akka-stream_2.12 2.6.14
com.typesafe.akka.stream:com.typesafe.akka.akka-stream_2.12 2.6.14
com.typesafe.akka:akka-http-core_2.12 10.1.14
com.typesafe.akka:akka-http-spray-json_2.12 10.1.14
com.typesafe.akka:akka-http_2.12 10.1.14
com.typesafe.akka:akka-parsing_2.12 10.1.14
com.typesafe.akka:com.typesafe.akka.akka-http-core_2.12 10.1.14
com.typesafe.akka:com.typesafe.akka.akka-parsing_2.12 10.1.14
com.typesafe.config:config 1.2.0
com.typesafe.play:build-link 2.8.8
com.typesafe.play:cachecontrol_2.12 2.0.0
com.typesafe.play:com.typesafe.play.build-link 2.8.8
com.typesafe.play:com.typesafe.play.filters-helpers_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play-akka-http-server_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play-exceptions 2.8.8
com.typesafe.play:com.typesafe.play.play-functional_2.12 2.8.1
com.typesafe.play:com.typesafe.play.play-guice_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play-json_2.12 2.8.1
com.typesafe.play:com.typesafe.play.play-logback_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play-server_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play-streams_2.12 2.8.8
com.typesafe.play:com.typesafe.play.play_2.12 2.8.8
com.typesafe.play:com.typesafe.play.twirl-api_2.12 1.5.1
com.typesafe.play:filters-helpers_2.12 2.8.8
com.typesafe.play:play-ahc-ws-standalone_2.12 2.1.2
com.typesafe.play:play-ahc-ws_2.12 2.8.0
com.typesafe.play:play-akka-http-server_2.12 2.8.8
com.typesafe.play:play-doc_2.12 2.1.0
com.typesafe.play:play-docs_2.12 2.8.8
com.typesafe.play:play-exceptions 2.8.8
com.typesafe.play:play-functional_2.12 2.8.1
com.typesafe.play:play-functional_2.12 2.9.2
com.typesafe.play:play-guice_2.12 2.8.8
com.typesafe.play:play-json_2.12 2.8.1
com.typesafe.play:play-json_2.12 2.9.2
com.typesafe.play:play-logback_2.12 2.8.8
com.typesafe.play:play-server_2.12 2.8.8
com.typesafe.play:play-streams_2.12 2.8.8
com.typesafe.play:play-test_2.12 2.8.8
com.typesafe.play:play-ws-standalone-json_2.12 2.1.2
com.typesafe.play:play-ws-standalone-xml_2.12 2.1.2
com.typesafe.play:play-ws-standalone_2.12 2.1.2
com.typesafe.play:play-ws_2.12 2.8.0
com.typesafe.play:play_2.12 2.8.8
com.typesafe.play:run-support_2.12 2.8.8
com.typesafe.play:sbt-plugin 2.8.8
com.typesafe.play:sbt-routes-compiler_2.12 2.8.8
com.typesafe.play:shaded-asynchttpclient 2.1.2
com.typesafe.play:shaded-oauth 2.1.2
com.typesafe.play:twirl-api_2.12 1.5.1
com.typesafe.play:twirl-compiler_2.12 1.5.1
com.typesafe.play:twirl-parser_2.12 1.5.1
com.typesafe.sbt:sbt-js-engine 1.2.3
com.typesafe.sbt:sbt-native-packager 1.5.2
com.typesafe.sbt:sbt-twirl 1.5.1
com.typesafe.sbt:sbt-web 1.4.4
com.typesafe.scala-logging:com.typesafe.scala-logging.scala-logging_2.12 3.9.3
com.typesafe.scala-logging:scala-logging_2.12 3.9.3
com.typesafe.sslconfig:com.typesafe.ssl-config-core_2.12 0.4.2
com.typesafe.sslconfig:ssl-config-core_2.12 0.2.2
com.typesafe.sslconfig:ssl-config-core_2.12 0.4.2
com.typesafe:com.typesafe.config 1.4.1
com.typesafe:config 1.4.0
com.typesafe:config 1.4.1
com.typesafe:jse_2.12 1.2.4
com.typesafe:npm_2.12 1.2.1
commons-codec:commons-codec 1.11
commons-codec:commons-codec 1.6
commons-io:commons-io 2.6
commons-logging:commons-logging 1.1.3
commons-logging:commons-logging 1.2
commons-net:commons-net 3.6
hamcrest-core:hamcrest-core 1.3
htmlunit-core-js:htmlunit-core-js 2.36.0
htmlunit-cssparser:htmlunit-cssparser 1.5.0
htmlunit:htmlunit 2.36.0
io.apigee.trireme:trireme-core 0.9.4
io.apigee.trireme:trireme-kernel 0.9.4
io.apigee.trireme:trireme-node10src 0.9.4
io.github.retronym.java9rtexport.Export:java9-rt-export 0.1-SNAPSHOT
io.jsonwebtoken.jjwt:io.jsonwebtoken.jjwt 0.9.1
io.jsonwebtoken:jjwt 0.9.1
io.jvm.uuid:io.jvm.uuid.scala-uuid_2.12 0.3.1
io.jvm.uuid:scala-uuid_2.12 0.3.1
io.methvin:directory-watcher 0.15.0
io.netty:netty-buffer 4.1.63.Final
io.netty:netty-codec 4.1.63.Final
io.netty:netty-common 4.1.63.Final
io.netty:netty-handler 4.1.63.Final
io.netty:netty-resolver 4.1.63.Final
io.netty:netty-transport 4.1.63.Final
io.spray:spray-json_2.12 1.3.5
jakarta.activation-api:jakarta.activation-api 1.2.2
jakarta.xml.bind-api:jakarta.xml.bind-api 2.3.3
jakarta.xml.bind.jakarta.xml.bind-api:jakarta.xml.bind.jakarta.xml.bind-api 2.3.3
jawjaw:jawjaw 0.1.0
jline:jline 2.14.6
joda-time:joda-time 2.10.5
jrt-fs:jrt-fs 11.0.11
junit:junit 4.13.2
log4j:log4j 1.2.15
logback-classic:logback-classic 1.2.3
logback-core:logback-core 1.2.3
neko-htmlunit:neko-htmlunit 2.36.0
net.bytebuddy:byte-buddy-dep 1.8.15
org.GNOME.Accessibility.AtkWrapper:java-atk-wrapper *
org.antlr:ST4 4.0.8
org.antlr:antlr-runtime 3.5.2
org.apache.commons.logging:org.slf4j.jcl-over-slf4j 1.7.30
org.apache.commons:commons-compress 1.18
org.apache.commons:commons-exec 1.3
org.apache.commons:commons-lang3 3.8.1
org.apache.commons:commons-lang3 3.9
org.apache.commons:commons-text 1.7
org.apache.httpcomponents:httpclient 4.3.6
org.apache.httpcomponents:httpclient 4.5.9
org.apache.httpcomponents:httpcore 4.3.3
org.apache.httpcomponents:httpcore 4.4.11
org.apache.httpcomponents:httpmime 4.5.9
org.apache.logging.log4j:log4j-api 2.11.1
org.apache.logging.log4j:log4j-core 2.11.1
org.apache.logging.log4j:log4j-slf4j-impl 2.11.1
org.apache.tools.ant.launch.Launcher:ant-launcher 1.10.5
org.apache.tools.ant:ant 1.10.5
org.apache.xerces.impl.Version:xercesImpl 2.12.0
org.apache.xml.serializer:serializer 2.7.2
org.apache.xpath:xalan 2.7.2
org.atteo.classindex:classindex 3.4
org.brotli:dec 0.1.2
org.checkerframework.checker.qual:checker-qual 2.10.0
org.checkerframework.checker.qual:org.checkerframework.checker-qual 2.10.0
org.clapper:classutil_2.12 1.1.1
org.clapper:grizzled-scala_2.12 4.2.0
org.clapper:scalasti_2.12 2.1.4
org.codehaus.plexus:plexus-archiver 2.7.1
org.codehaus.plexus:plexus-container-default 1.0-alpha-9-stable-1
org.codehaus.plexus:plexus-io 2.2
org.codehaus.plexus:plexus-utils 3.0.18
org.debian.security.UpdateCertificates:ca-certificates-java *
org.eclipse.ee4j:jakarta.transaction-api 1.3.3
org.eclipse.jetty.websocket:websocket-api 9.4.20.v20190813
org.eclipse.jetty.websocket:websocket-client 9.4.20.v20190813
org.eclipse.jetty.websocket:websocket-common 9.4.20.v20190813
org.eclipse.jetty:jetty-client 9.4.20.v20190813
org.eclipse.jetty:jetty-http 9.4.20.v20190813
org.eclipse.jetty:jetty-http 9.4.5.v20170502
org.eclipse.jetty:jetty-io 9.4.20.v20190813
org.eclipse.jetty:jetty-io 9.4.5.v20170502
org.eclipse.jetty:jetty-security 9.4.5.v20170502
org.eclipse.jetty:jetty-server 9.4.5.v20170502
org.eclipse.jetty:jetty-servlet 9.4.5.v20170502
org.eclipse.jetty:jetty-util 9.4.20.v20190813
org.eclipse.jetty:jetty-util 9.4.5.v20170502
org.eclipse.jetty:jetty-xml 9.4.20.v20190813
org.eclipse.jgit:org.eclipse.jgit.archive 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit.http.apache 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit.lfs.server 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit.lfs 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit.pgm 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit.ui 4.9.0.201710071750-r
org.eclipse.jgit:org.eclipse.jgit 4.9.0.201710071750-r
org.fluentlenium:fluentlenium-core 3.7.1
org.foundweekends.giter8:giter8-lib_2.12 0.11.0
org.foundweekends.giter8:sbt-giter8-scaffold 0.11.0
org.fusesource.hawtjni:hawtjni-runtime 1.9
org.fusesource.jansi:jansi-linux32 1.6
org.fusesource.jansi:jansi-linux64 1.6
org.fusesource.jansi:jansi-native 1.6
org.fusesource.jansi:jansi-osx 1.6
org.fusesource.jansi:jansi-windows32 1.6
org.fusesource.jansi:jansi-windows64 1.6
org.fusesource.jansi:jansi 1.12
org.glassfish:jakarta.transaction-api 1.3.3
org.glassfish:jakarta.transaction.jakarta.transaction-api 1.3.3
org.glassfish:javax.servlet-api 3.1.0
org.jctools:jctools-core 3.1.0
org.joda:joda-time.joda-time 2.10.5
org.joda:joda-time 2.10.5
org.jsr-305:com.google.code.findbugs.jsr305 3.0.2
org.kohsuke.args4j:args4j 2.33
org.lz4.java:lz4-java 1.7.1
org.lz4.java:org.lz4.lz4-java 1.7.1
org.mozilla.javascript.tools.shell.Main:rhino 1.7.10
org.neo4j.driver:neo4j-java-driver 4.2.5
org.objectweb.asm.analysis:asm-analysis 5.0.3
org.objectweb.asm.commons:asm-commons 5.1
org.objectweb.asm.tree:asm-tree 5.0.3
org.objectweb.asm.tree:asm-tree 5.1
org.objectweb.asm.util:asm-util 5.0.3
org.objectweb.asm.util:asm-util 5.1
org.objectweb.asm:asm 5.0.3
org.objectweb.asm:asm 5.1
org.osgi.core:org.osgi.core 4.3.1
org.parboiled:parboiled-core 1.1.7
org.parboiled:parboiled-java 1.1.7
org.pegdown:pegdown 1.6.0
org.reactivestreams.reactive-streams:org.reactivestreams.reactive-streams 1.0.3
org.reactivestreams.reactive-streams:reactive-streams 1.0.0
org.reactivestreams.reactive-streams:reactive-streams 1.0.3
org.scala-lang.modules.scala-java8-compat:scala-java8-compat_2.12 0.8.0
org.scala-lang.modules.scala-parser-combinators:scala-parser-combinators_2.12 1.0.5
org.scala-lang.modules.scala-parser-combinators:scala-parser-combinators_2.12 1.0.7
org.scala-lang.modules.scala-xml:org.scala-lang.modules.scala-xml_2.12 1.2.0
org.scala-lang.modules.scala-xml:scala-xml 2.12
org.scala-lang.modules.scala-xml:scala-xml_2.12 1.0.6
org.scala-lang.modules.scala-xml:scala-xml_2.12 1.2.0
org.scala-lang.modules:org.scala-lang.modules.scala-java8-compat_2.12 0.9.1
org.scala-lang.modules:org.scala-lang.modules.scala-parser-combinators_2.12 1.1.2
org.scala-lang.modules:scala-java8-compat_2.12 0.9.1
org.scala-lang.modules:scala-parser-combinators_2.12 1.1.2
org.scala-lang.modules:scala-swing_2.12 2.0.3
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.7
org.scala-lang.scala-compiler:scala-compiler 2.12.7.v20180926-092622-VFINAL-d96b8eb
org.scala-lang.scala-library:org.scala-lang.scala-library 2.12.12
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.7
org.scala-lang.scala-library:scala-library 2.12.7.v20180926-092622-VFINAL-d96b8eb
org.scala-lang.scala-reflect:org.scala-lang.scala-reflect 2.12.12
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.7
org.scala-lang.scala-reflect:scala-reflect 2.12.7.v20180926-092622-VFINAL-d96b8eb
org.scala-sbt.ipcsocket:ipcsocket 1.0.0
org.scala-sbt.ivy:ivy 2.3.0-sbt-cb9cc189e9f3af519f9f102e6c5d446488ff6832
org.scala-sbt:actions_2.12 1.2.8
org.scala-sbt:collections_2.12 1.2.8
org.scala-sbt:command_2.12 1.2.8
org.scala-sbt:compiler-bridge_2.12 1.2.5
org.scala-sbt:compiler-bridge_2.12 1.2.5-sources
org.scala-sbt:compiler-interface 1.2.5
org.scala-sbt:completion_2.12 1.2.8
org.scala-sbt:core-macros_2.12 1.2.8
org.scala-sbt:io_2.12 1.2.2
org.scala-sbt:launcher-interface 1.0.4
org.scala-sbt:librarymanagement-core_2.12 1.2.4
org.scala-sbt:librarymanagement-ivy_2.12 1.2.4
org.scala-sbt:logic_2.12 1.2.8
org.scala-sbt:main-settings_2.12 1.2.8
org.scala-sbt:main_2.12 1.2.8
org.scala-sbt:org.scala-sbt-compiler-bridge_2.12 1.2.5-bin_2.12.12__55.0
org.scala-sbt:org.scala-sbt-compiler-bridge_2.12 1.2.5-bin_2.12.12__55.0-1.2.5_20181130T065921
org.scala-sbt:org.scala-sbt-compiler-bridge_2.12 1.2.5-bin_2.12.7__55.0
org.scala-sbt:org.scala-sbt-compiler-bridge_2.12 1.2.5-bin_2.12.7__55.0-1.2.5_20181130T065921
org.scala-sbt:protocol_2.12 1.2.8
org.scala-sbt:run_2.12 1.2.8
org.scala-sbt:sbinary_2.12 0.5.0
org.scala-sbt:sbt-launch 1.0.4
org.scala-sbt:sbt 1.2.8
org.scala-sbt:scripted-plugin_2.12 1.2.8
org.scala-sbt:scripted-sbt-redux_2.12 1.2.8
org.scala-sbt:task-system_2.12 1.2.8
org.scala-sbt:tasks_2.12 1.2.8
org.scala-sbt:template-resolver 0.1
org.scala-sbt:test-agent 1.2.8
org.scala-sbt:test-interface 1.0
org.scala-sbt:testing_2.12 1.2.8
org.scala-sbt:util-cache_2.12 1.2.4
org.scala-sbt:util-control_2.12 1.2.4
org.scala-sbt:util-interface 1.2.2
org.scala-sbt:util-interface 1.2.4
org.scala-sbt:util-logging_2.12 1.2.4
org.scala-sbt:util-position_2.12 1.2.4
org.scala-sbt:util-relation_2.12 1.2.4
org.scala-sbt:util-scripted_2.12 1.2.4
org.scala-sbt:util-tracking_2.12 1.2.4
org.scala-sbt:zinc-apiinfo_2.12 1.2.5
org.scala-sbt:zinc-classfile_2.12 1.2.5
org.scala-sbt:zinc-classpath_2.12 1.2.5
org.scala-sbt:zinc-compile-core_2.12 1.2.5
org.scala-sbt:zinc-compile_2.12 1.2.5
org.scala-sbt:zinc-core_2.12 1.2.5
org.scala-sbt:zinc-ivy-integration_2.12 1.2.5
org.scala-sbt:zinc-persist_2.12 1.2.5
org.scala-sbt:zinc_2.12 1.2.5
org.scalacheck:scalacheck_2.12 1.13.5
org.scalactic:scalactic_2.12 3.0.5
org.scalactic:scalactic_2.12 3.0.8
org.scalatest:scalatest_2.12 3.0.5
org.scalatest:scalatest_2.12 3.0.8
org.scalatestplus.play:scalatestplus-play_2.12 5.0.0
org.seleniumhq.selenium:htmlunit-driver 2.36.0
org.slf4j.jul-to-slf4j:org.slf4j.jul-to-slf4j 1.7.30
org.slf4j:jcl-over-slf4j 1.7.30
org.slf4j:jul-to-slf4j 1.7.30
org.slf4j:org.slf4j.slf4j-api 1.7.30
org.slf4j:slf4j-api 1.7.25
org.slf4j:slf4j-api 1.7.30
org.slf4j:slf4j-log4j12 1.7.2
org.slf4j:slf4j-simple 1.7.30
org.sonatype.oss:jline 2.14.6
org.spire-math:jawn-parser_2.12 0.10.4
org.typelevel:cats-core_2.12 2.3.0
org.typelevel:cats-kernel_2.12 2.3.0
org.typelevel:org.typelevel.cats-core_2.12 2.3.0
org.typelevel:org.typelevel.cats-kernel_2.12 2.3.0
org.typelevel:org.typelevel.simulacrum-scalafix-annotations_2.12 0.5.1
org.typelevel:simulacrum-scalafix-annotations_2.12 0.5.1
org.webjars:npm 4.2.0
org.webjars:webjars-locator-core 0.36
org.xerial:sqlite-jdbc 3.8.11.2
org.xml.sax:xml-apis 1.4.01
phantomjsdriver:phantomjsdriver 1.4.4
sbt-header:sbt-header 5.6.0
scala-common:scala-common 2.12-javadoc
scala-common:scala-common 2.12-sources
scala-data-accessor-neo4j:scala-data-accessor-neo4j 2.12-javadoc
scala-data-accessor-neo4j:scala-data-accessor-neo4j 2.12-sources
scalap:scalap 2.12.12
selenium-api:selenium-api 3.141.59
selenium-chrome-driver:selenium-chrome-driver 3.141.59
selenium-edge-driver:selenium-edge-driver 3.141.59
selenium-firefox-driver:selenium-firefox-driver 3.141.59
selenium-ie-driver:selenium-ie-driver 3.141.59
selenium-java:selenium-java 3.141.59
selenium-opera-driver:selenium-opera-driver 3.141.59
selenium-remote-driver:selenium-remote-driver 3.141.59
selenium-safari-driver:selenium-safari-driver 3.141.59
selenium-support:selenium-support 3.141.59
toposoid-common:toposoid-common 2.12-javadoc
toposoid-common:toposoid-common 2.12-sources
toposoid-deduction-protocol-model:toposoid-deduction-protocol-model 2.12-javadoc
toposoid-deduction-protocol-model:toposoid-deduction-protocol-model 2.12-sources
toposoid-knowledgebase-model:toposoid-knowledgebase-model 2.12-javadoc
toposoid-knowledgebase-model:toposoid-knowledgebase-model 2.12-sources
toposoid-sat-solver-web_2.12:toposoid-sat-solver-web_2.12 0.4-SNAPSHOT-javadoc
toposoid-sat-solver-web_2.12:toposoid-sat-solver-web_2.12 0.4-SNAPSHOT-sans-externalized
toposoid-sat-solver-web_2.12:toposoid-sat-solver-web_2.12 0.4-SNAPSHOT-sources
toposoid-sat-solver-web_2.12:toposoid-sat-solver-web_2.12 0.4-SNAPSHOT-web-assets
toposoid-sentence-transformer-neo4j:toposoid-sentence-transformer-neo4j 2.12-javadoc
toposoid-sentence-transformer-neo4j:toposoid-sentence-transformer-neo4j 2.12-sources
ws4j:ws4j 0.1.0