latest | eric11eca/meta_kg_proof3_s

debian/adduser 3.118

debian/apt 2.2.4

debian/base-files 11.1 deb11u5

debian/base-passwd 3.5.51

debian/bash 5.1-2 deb11u1

debian/binutils-common 2.35.2-2

debian/binutils-x86-64-linux-gnu 2.35.2-2

debian/binutils 2.35.2-2

debian/bsdutils 1:2.36.1-8 deb11u1

debian/build-essential 12.9

debian/bzip2 1.0.8-4

debian/ca-certificates 20210119

debian/coreutils 8.32-4 b1

debian/cpp-10 10.2.1-6

debian/cpp 4:10.2.1-1

debian/curl 7.74.0-1.3 deb11u7

debian/dash 0.5.11 git20200708 dd9ef66-5

debian/debconf 1.5.77

debian/debian-archive-keyring 2021.1.1

debian/debianutils 4.11.2

debian/diffutils 1:3.7-5

debian/dirmngr 2.2.27-2 deb11u2

debian/dpkg-dev 1.20.12

debian/dpkg 1.20.12

debian/e2fsprogs 1.46.2-2

debian/fakeroot 1.25.3-1.1

debian/findutils 4.8.0-1

debian/fontconfig-config 2.13.1-4.2

debian/fonts-dejavu-core 2.37-2

debian/g -10 10.2.1-6

debian/g 4:10.2.1-1

debian/gcc-10-base 10.2.1-6

debian/gcc-10 10.2.1-6

debian/gcc-9-base 9.3.0-22

debian/gcc 4:10.2.1-1

debian/git-man 1:2.30.2-1 deb11u2

debian/git 1:2.30.2-1 deb11u2

debian/gnupg-l10n 2.2.27-2 deb11u2

debian/gnupg-utils 2.2.27-2 deb11u2

debian/gnupg 2.2.27-2 deb11u2

debian/gpg-agent 2.2.27-2 deb11u2

debian/gpg-wks-client 2.2.27-2 deb11u2

debian/gpg-wks-server 2.2.27-2 deb11u2

debian/gpg 2.2.27-2 deb11u2

debian/gpgconf 2.2.27-2 deb11u2

debian/gpgsm 2.2.27-2 deb11u2

debian/gpgv 2.2.27-2 deb11u2

debian/grep 3.6-1

debian/gzip 1.10-4 deb11u1

debian/hostname 3.23

debian/init-system-helpers 1.60

debian/less 551-2

debian/libacl1 2.2.53-10

debian/libalgorithm-diff-perl 1.201-1

debian/libalgorithm-diff-xs-perl 0.04-6 b1

debian/libalgorithm-merge-perl 0.08-3

debian/libapt-pkg6.0 2.2.4

debian/libasan6 10.2.1-6

debian/libassuan0 2.5.3-7.1

debian/libatomic1 10.2.1-6

debian/libattr1 1:2.4.48-6

debian/libaudit-common 1:3.0-2

debian/libaudit1 1:3.0-2

debian/libbinutils 2.35.2-2

debian/libblkid1 2.36.1-8 deb11u1

debian/libbrotli1 1.0.9-2 b2

debian/libbsd0 0.11.3-1

debian/libbz2-1.0 1.0.8-4

debian/libc-bin 2.31-13 deb11u5

debian/libc-dev-bin 2.31-13 deb11u5

debian/libc-devtools 2.31-13 deb11u5

debian/libc6-dev 2.31-13 deb11u5

debian/libc6 2.31-13 deb11u5

debian/libcap-ng0 0.7.9-2.2 b1

debian/libcbor0 0.5.0 dfsg-2

debian/libcc1-0 10.2.1-6

debian/libcom-err2 1.46.2-2

debian/libcrypt-dev 1:4.4.18-4

debian/libcrypt1 1:4.4.18-4

debian/libctf-nobfd0 2.35.2-2

debian/libctf0 2.35.2-2

debian/libcurl3-gnutls 7.74.0-1.3 deb11u7

debian/libcurl4 7.74.0-1.3 deb11u7

debian/libdb5.3 5.3.28 dfsg1-0.8

debian/libdebconfclient0 0.260

debian/libdeflate0 1.7-1

debian/libdpkg-perl 1.20.12

debian/libedit2 3.1-20191231-2 b1

debian/liberror-perl 0.17029-1

debian/libevent-2.1-7 2.1.12-stable-1

debian/libevent-core-2.1-7 2.1.12-stable-1

debian/libevent-dev 2.1.12-stable-1

debian/libevent-extra-2.1-7 2.1.12-stable-1

debian/libevent-openssl-2.1-7 2.1.12-stable-1

debian/libevent-pthreads-2.1-7 2.1.12-stable-1

debian/libexpat1 2.2.10-2 deb11u5

debian/libext2fs2 1.46.2-2

debian/libfakeroot 1.25.3-1.1

debian/libffi7 3.3-6

debian/libfido2-1 1.6.0-2

debian/libfile-fcntllock-perl 0.22-3 b7

debian/libfontconfig1 2.13.1-4.2

debian/libfreetype6 2.10.4 dfsg-1 deb11u1

debian/libgcc-10-dev 10.2.1-6

debian/libgcc-s1 10.2.1-6

debian/libgcrypt20 1.8.7-6

debian/libgd3 2.3.0-2

debian/libgdbm-compat4 1.19-2

debian/libgdbm6 1.19-2

debian/libglib2.0-0 2.66.8-1

debian/libglib2.0-data 2.66.8-1

debian/libgmp10 2:6.2.1 dfsg-1 deb11u1

debian/libgnutls30 3.7.1-5 deb11u2

debian/libgomp1 10.2.1-6

debian/libgpg-error0 1.38-2

debian/libgpm2 1.20.7-8

debian/libgssapi-krb5-2 1.18.3-6 deb11u3

debian/libhogweed6 3.7.3-1

debian/libice6 2:1.0.10-1

debian/libicu67 67.1-7

debian/libidn2-0 2.3.0-5

debian/libisl23 0.23-1

debian/libitm1 10.2.1-6

debian/libjbig0 2.1-3.1 b2

debian/libjpeg62-turbo 1:2.0.6-4

debian/libk5crypto3 1.18.3-6 deb11u3

debian/libkeyutils1 1.6.1-2

debian/libkrb5-3 1.18.3-6 deb11u3

debian/libkrb5support0 1.18.3-6 deb11u3

debian/libksba8 1.5.0-3 deb11u2

debian/libldap-2.4-2 2.4.57 dfsg-3 deb11u1

debian/libldap-common 2.4.57 dfsg-3 deb11u1

debian/liblocale-gettext-perl 1.07-4 b1

debian/liblsan0 10.2.1-6

debian/liblz4-1 1.9.3-2

debian/liblzma5 5.2.5-2.1~deb11u1

debian/libmd0 1.0.3-3

debian/libmount1 2.36.1-8 deb11u1

debian/libmpc3 1.2.0-1

debian/libmpfr6 4.1.0-3

debian/libncursesw6 6.2 20201114-2

debian/libnettle8 3.7.3-1

debian/libnghttp2-14 1.43.0-1

debian/libnpth0 1.6-3

debian/libnsl-dev 1.3.0-2

debian/libnsl2 1.3.0-2

debian/libp11-kit0 0.23.22-1

debian/libpam-modules-bin 1.4.0-9 deb11u1

debian/libpam-modules 1.4.0-9 deb11u1

debian/libpam-runtime 1.4.0-9 deb11u1

debian/libpam0g 1.4.0-9 deb11u1

debian/libpcre2-8-0 10.36-2 deb11u1

debian/libpcre3 2:8.39-13

debian/libperl5.32 5.32.1-4 deb11u2

debian/libpng16-16 1.6.37-3

debian/libpsl5 0.21.0-1.2

debian/libquadmath0 10.2.1-6

debian/libreadline8 8.1-1

debian/librtmp1 2.4 20151223.gitfa8646d.1-2 b2

debian/libsasl2-2 2.1.27 dfsg-2.1 deb11u1

debian/libsasl2-modules-db 2.1.27 dfsg-2.1 deb11u1

debian/libsasl2-modules 2.1.27 dfsg-2.1 deb11u1

debian/libseccomp2 2.5.1-1 deb11u1

debian/libselinux1 3.1-3

debian/libsemanage-common 3.1-1

debian/libsemanage1 3.1-1 b2

debian/libsepol1 3.1-1

debian/libsm6 2:1.2.3-1

debian/libsmartcols1 2.36.1-8 deb11u1

debian/libsqlite3-0 3.34.1-3

debian/libss2 1.46.2-2

debian/libssh2-1 1.9.0-2

debian/libssl1.1 1.1.1n-0 deb11u3

debian/libstdc -10-dev 10.2.1-6

debian/libstdc 6 10.2.1-6

debian/libsystemd0 247.3-7 deb11u1

debian/libtasn1-6 4.16.0-2

debian/libtiff5 4.2.0-1 deb11u4

debian/libtinfo6 6.2 20201114-2

debian/libtirpc-common 1.3.1-1 deb11u1

debian/libtirpc-dev 1.3.1-1 deb11u1

debian/libtirpc3 1.3.1-1 deb11u1

debian/libtsan0 10.2.1-6

debian/libubsan1 10.2.1-6

debian/libudev1 247.3-7 deb11u1

debian/libunistring2 0.9.10-4

debian/libutempter0 1.2.1-2

debian/libuuid1 2.36.1-8 deb11u1

debian/libwebp6 0.6.1-2.1

debian/libx11-6 2:1.7.2-1

debian/libx11-data 2:1.7.2-1

debian/libxau6 1:1.0.9-1

debian/libxcb1 1.14-3

debian/libxdmcp6 1:1.1.2-3

debian/libxext6 2:1.3.3-1.1

debian/libxml2 2.9.10 dfsg-6.7 deb11u3

debian/libxmuu1 2:1.1.2-2 b3

debian/libxpm4 1:3.5.12-1

debian/libxrender1 1:0.9.10-1

debian/libxxhash0 0.8.0-2

debian/libzstd1 1.4.8 dfsg-2.1

debian/linux-libc-dev 5.10.162-1

debian/login 1:4.8.1-1

debian/logsave 1.46.2-2

debian/lsb-base 11.1.0

debian/make 4.3-4.1

debian/manpages-dev 5.10-1

debian/manpages 5.10-1

debian/mawk 1.3.4.20200120-2

debian/mount 2.36.1-8 deb11u1

debian/nano 5.4-2 deb11u2

debian/ncurses-base 6.2 20201114-2

debian/ncurses-bin 6.2 20201114-2

debian/netbase 6.3

debian/openssh-client 1:8.4p1-5 deb11u1

debian/openssl 1.1.1n-0 deb11u3

debian/passwd 1:4.8.1-1

debian/patch 2.7.6-7

debian/perl-base 5.32.1-4 deb11u2

debian/perl-modules-5.32 5.32.1-4 deb11u2

debian/perl 5.32.1-4 deb11u2

debian/pinentry-curses 1.1.0-4

debian/publicsuffix 20220811.1734-0 deb11u1

debian/readline-common 8.1-1

debian/sed 4.7-1

debian/sensible-utils 0.0.14

debian/shared-mime-info 2.0-1

debian/sysvinit-utils 2.96-7 deb11u1

debian/tar 1.34 dfsg-1

debian/tmux 3.1c-1 deb11u1

debian/tzdata 2021a-1 deb11u8

debian/ucf 3.0043

debian/util-linux 2.36.1-8 deb11u1

debian/vim-common 2:8.2.2434-3 deb11u1

debian/vim-runtime 2:8.2.2434-3 deb11u1

debian/vim 2:8.2.2434-3 deb11u1

debian/wget 1.21-1 deb11u1

debian/x11-common 1:7.7 22

debian/xauth 1:1.1-1

debian/xdg-user-dirs 0.17-2

debian/xxd 2:8.2.2434-3 deb11u1

debian/xz-utils 5.2.5-2.1~deb11u1

debian/zlib1g 1:1.2.11.dfsg-2 deb11u2

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Docker

eric11eca/meta_kg_proof3_s : latest

Dependencies