prosyslab/bug-bench-opam-doc : latest
Latest release: about 5 years ago - 131 downloads - 379 dependencies
JSONDependencies
- ubuntu/adduser 3.118ubuntu2
- ubuntu/apt 2.0.6
- 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.3
- ubuntu/base-passwd 3.5.47
- ubuntu/bash 5.0-6ubuntu1.1
- ubuntu/bear 2.4.3-1
- ubuntu/binutils-common 2.34-6ubuntu1.1
- ubuntu/binutils-x86-64-linux-gnu 2.34-6ubuntu1.1
- ubuntu/binutils 2.34-6ubuntu1.1
- ubuntu/bsdmainutils 11.1.2ubuntu3
- ubuntu/bsdutils 1:2.34-0.1ubuntu9.1
- ubuntu/build-essential 12.8ubuntu1.1
- ubuntu/bzip2 1.0.8-2
- ubuntu/ca-certificates 20210119~20.04.1
- ubuntu/coreutils 8.30-3ubuntu2
- ubuntu/cpp-9 9.3.0-17ubuntu1~20.04
- ubuntu/cpp 4:9.3.0-1ubuntu2
- ubuntu/cppo 1.6.6-1build1
- ubuntu/curl 7.68.0-1ubuntu2.6
- ubuntu/dash 0.5.10.2-6
- ubuntu/debconf 1.5.73
- ubuntu/debhelper 12.10ubuntu1
- ubuntu/debianutils 4.9.1
- ubuntu/dh-autoreconf 19
- ubuntu/dh-ocaml 1.1.1
- ubuntu/dh-strip-nondeterminism 1.7.0-1
- ubuntu/diffutils 1:3.7-3
- ubuntu/dirmngr 2.2.19-3ubuntu2.1
- ubuntu/dpkg-dev 1.19.7ubuntu3
- ubuntu/dpkg 1.19.7ubuntu3
- ubuntu/dune 2.1.3-2
- ubuntu/dwz 0.13-5
- ubuntu/e2fsprogs 1.45.5-2ubuntu1
- ubuntu/fakeroot 1.24-1
- ubuntu/fdisk 2.34-0.1ubuntu9.1
- ubuntu/file 1:5.38-4
- ubuntu/findutils 4.7.0-1ubuntu1
- ubuntu/fontconfig-config 2.13.1-2ubuntu3
- ubuntu/fonts-dejavu-core 2.37-1
- ubuntu/fonts-lmodern 2.004.5-6
- ubuntu/g -9 9.3.0-17ubuntu1~20.04
- ubuntu/g 4:9.3.0-1ubuntu2
- ubuntu/gcc-10-base 10.3.0-1ubuntu1~20.04
- ubuntu/gcc-9-base 9.3.0-17ubuntu1~20.04
- ubuntu/gcc-9 9.3.0-17ubuntu1~20.04
- ubuntu/gcc 4:9.3.0-1ubuntu2
- ubuntu/gettext-base 0.19.8.1-10build1
- ubuntu/gettext 0.19.8.1-10build1
- ubuntu/git-man 1:2.25.1-1ubuntu3.1
- ubuntu/git 1:2.25.1-1ubuntu3.1
- ubuntu/gnupg-l10n 2.2.19-3ubuntu2.1
- ubuntu/gnupg-utils 2.2.19-3ubuntu2.1
- ubuntu/gnupg 2.2.19-3ubuntu2.1
- ubuntu/gpg-agent 2.2.19-3ubuntu2.1
- ubuntu/gpg-wks-client 2.2.19-3ubuntu2.1
- ubuntu/gpg-wks-server 2.2.19-3ubuntu2.1
- ubuntu/gpg 2.2.19-3ubuntu2.1
- ubuntu/gpgconf 2.2.19-3ubuntu2.1
- ubuntu/gpgsm 2.2.19-3ubuntu2.1
- ubuntu/gpgv 2.2.19-3ubuntu2.1
- ubuntu/grep 3.4-1
- ubuntu/groff-base 1.22.4-4build1
- ubuntu/gzip 1.10-0ubuntu4
- ubuntu/hostname 3.23
- ubuntu/init-system-helpers 1.57
- ubuntu/intltool-debian 0.35.0 20060710.5
- ubuntu/krb5-locales 1.17-6ubuntu4.1
- ubuntu/latex-make 2.3.0-3
- ubuntu/less 551-1ubuntu0.1
- 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/libamd2 1:5.7.1 dfsg-2
- ubuntu/libapache-pom-java 18-1
- ubuntu/libapt-pkg6.0 2.0.6
- ubuntu/libarchive-zip-perl 1.67-2
- ubuntu/libasan5 9.3.0-17ubuntu1~20.04
- ubuntu/libasn1-8-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libassuan0 2.5.3-7ubuntu2
- ubuntu/libatomic1 10.3.0-1ubuntu1~20.04
- ubuntu/libattr1 1:2.4.48-5
- ubuntu/libaudit-common 1:2.8.5-2ubuntu6
- ubuntu/libaudit1 1:2.8.5-2ubuntu6
- ubuntu/libbinutils 2.34-6ubuntu1.1
- ubuntu/libblas-dev 3.9.0-1build1
- ubuntu/libblas3 3.9.0-1build1
- ubuntu/libblkid1 2.34-0.1ubuntu9.1
- ubuntu/libbrotli1 1.0.7-6ubuntu0.1
- ubuntu/libbsd0 0.10.0-1
- ubuntu/libbtf1 1:5.7.1 dfsg-2
- ubuntu/libbz2-1.0 1.0.8-2
- ubuntu/libbz2-dev 1.0.8-2
- ubuntu/libbz2-ocaml-dev 0.6.0-10build1
- ubuntu/libbz2-ocaml 0.6.0-10build1
- ubuntu/libc-bin 2.31-0ubuntu9.2
- ubuntu/libc-dev-bin 2.31-0ubuntu9.2
- ubuntu/libc6-dev 2.31-0ubuntu9.2
- ubuntu/libc6 2.31-0ubuntu9.2
- ubuntu/libcairo2 1.16.0-4ubuntu1
- ubuntu/libcamd2 1:5.7.1 dfsg-2
- 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/libccolamd2 1:5.7.1 dfsg-2
- ubuntu/libcholmod3 1:5.7.1 dfsg-2
- ubuntu/libcmdliner-ocaml-dev 1.0.4-2build1
- ubuntu/libcolamd2 1:5.7.1 dfsg-2
- ubuntu/libcom-err2 1.45.5-2ubuntu1
- ubuntu/libcommons-logging-java 1.2-2
- ubuntu/libcommons-parent-java 43-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.1
- ubuntu/libctf0 2.34-6ubuntu1.1
- ubuntu/libcudf-ocaml-dev 0.7-5build3
- ubuntu/libcurl3-gnutls 7.68.0-1ubuntu2.6
- ubuntu/libcurl4 7.68.0-1ubuntu2.6
- ubuntu/libcxsparse3 1:5.7.1 dfsg-2
- ubuntu/libdb5.3 5.3.28 dfsg1-0.6ubuntu2
- ubuntu/libdebconfclient0 0.251ubuntu1
- ubuntu/libdebhelper-perl 12.10ubuntu1
- ubuntu/libdose3-ocaml-dev 5.0.1-14build2
- ubuntu/libdose3-ocaml 5.0.1-14build2
- ubuntu/libdpkg-perl 1.19.7ubuntu3
- ubuntu/libear 2.4.3-1
- ubuntu/libedit2 3.1-20191231-1
- ubuntu/libelf1 0.176-1.1build1
- ubuntu/liberror-perl 0.17029-1
- ubuntu/libexpat1 2.2.9-1build1
- ubuntu/libext2fs2 1.45.5-2ubuntu1
- ubuntu/libextlib-ocaml-dev 1.7.6-1build1
- ubuntu/libextlib-ocaml 1.7.6-1build1
- ubuntu/libfakeroot 1.24-1
- ubuntu/libfdisk1 2.34-0.1ubuntu9.1
- ubuntu/libffi7 3.3-4
- ubuntu/libfido2-1 1.3.1-1ubuntu2
- ubuntu/libfile-fcntllock-perl 0.22-3build4
- ubuntu/libfile-stripnondeterminism-perl 1.7.0-1
- ubuntu/libfindlib-ocaml 1.8.1-1build3
- ubuntu/libfontbox-java 1:1.8.16-2
- ubuntu/libfontconfig1 2.13.1-2ubuntu3
- ubuntu/libfreetype6 2.10.1-2ubuntu0.1
- ubuntu/libgcc-9-dev 9.3.0-17ubuntu1~20.04
- ubuntu/libgcc-s1 10.3.0-1ubuntu1~20.04
- ubuntu/libgcrypt20 1.8.5-5ubuntu1
- ubuntu/libgdbm-compat4 1.18.1-5
- ubuntu/libgdbm6 1.18.1-5
- ubuntu/libgfortran5 10.3.0-1ubuntu1~20.04
- ubuntu/libglib2.0-0 2.64.6-1~ubuntu20.04.4
- ubuntu/libglpk-dev 4.65-2
- ubuntu/libglpk40 4.65-2
- ubuntu/libgmp-dev 2:6.2.0 dfsg-4
- ubuntu/libgmp10 2:6.2.0 dfsg-4
- ubuntu/libgmpxx4ldbl 2:6.2.0 dfsg-4
- ubuntu/libgnutls30 3.6.13-2ubuntu1.6
- ubuntu/libgomp1 10.3.0-1ubuntu1~20.04
- ubuntu/libgpg-error0 1.37-1
- ubuntu/libgraphblas3 1:5.7.1 dfsg-2
- ubuntu/libgraphite2-3 1.3.13-11build1
- ubuntu/libgssapi-krb5-2 1.17-6ubuntu4.1
- ubuntu/libgssapi3-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libharfbuzz-icu0 2.6.4-1ubuntu4
- ubuntu/libharfbuzz0b 2.6.4-1ubuntu4
- ubuntu/libhcrypto4-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libheimbase1-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libheimntlm0-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libhogweed5 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libhx509-5-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libice6 2:1.0.10-0ubuntu1
- ubuntu/libicu66 66.1-2ubuntu2
- ubuntu/libidn2-0 2.2.0-2
- ubuntu/libisl22 0.22.1-1
- ubuntu/libitm1 10.3.0-1ubuntu1~20.04
- ubuntu/libk5crypto3 1.17-6ubuntu4.1
- ubuntu/libkeyutils1 1.6-6ubuntu1
- ubuntu/libklu1 1:5.7.1 dfsg-2
- ubuntu/libkpathsea6 2019.20190605.51237-3build2
- ubuntu/libkrb5-26-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libkrb5-3 1.17-6ubuntu4.1
- ubuntu/libkrb5support0 1.17-6ubuntu4.1
- ubuntu/libksba8 1.3.5-2
- ubuntu/liblapack-dev 3.9.0-1build1
- ubuntu/liblapack3 3.9.0-1build1
- ubuntu/libldap-2.4-2 2.4.49 dfsg-2ubuntu1.8
- ubuntu/libldap-common 2.4.49 dfsg-2ubuntu1.8
- ubuntu/libldl2 1:5.7.1 dfsg-2
- ubuntu/liblocale-gettext-perl 1.07-4
- ubuntu/liblsan0 10.3.0-1ubuntu1~20.04
- ubuntu/libltdl7 2.4.6-14
- ubuntu/liblua5.2-0 5.2.4-1.1build3
- ubuntu/liblz4-1 1.9.2-2ubuntu0.20.04.1
- ubuntu/liblzma5 5.2.4-1ubuntu1
- ubuntu/libmagic-mgc 1:5.38-4
- ubuntu/libmagic1 1:5.38-4
- ubuntu/libmccs-ocaml-dev 1.1 11-1build1
- ubuntu/libmccs-ocaml 1.1 11-1build1
- ubuntu/libmetis5 5.1.0.dfsg-5
- ubuntu/libmongoose2 1:5.7.1 dfsg-2
- ubuntu/libmount1 2.34-0.1ubuntu9.1
- ubuntu/libmpc3 1.1.0-1
- ubuntu/libmpdec2 2.4.2-3
- ubuntu/libmpfr6 4.0.2-1
- ubuntu/libncurses-dev 6.2-0ubuntu2
- ubuntu/libncurses5-dev 6.2-0ubuntu2
- ubuntu/libncurses6 6.2-0ubuntu2
- ubuntu/libncursesw6 6.2-0ubuntu2
- ubuntu/libnettle7 3.5.1 really3.5.1-2ubuntu0.2
- ubuntu/libnghttp2-14 1.40.0-1build1
- ubuntu/libnpth0 1.6-1
- ubuntu/libnspr4 2:4.25-1
- ubuntu/libnss3 2:3.49.1-1ubuntu1.5
- ubuntu/libocamlgraph-ocaml-dev 1.8.8-1.1build1
- ubuntu/libopam-file-format-ocaml-dev 2.0.0-2
- ubuntu/libp11-kit0 0.23.20-1ubuntu0.1
- ubuntu/libpam-modules-bin 1.3.1-5ubuntu4.2
- ubuntu/libpam-modules 1.3.1-5ubuntu4.2
- ubuntu/libpam-runtime 1.3.1-5ubuntu4.2
- ubuntu/libpam0g 1.3.1-5ubuntu4.2
- ubuntu/libpaper-utils 1.1.28
- ubuntu/libpaper1 1.1.28
- ubuntu/libpcre2-8-0 10.34-7
- ubuntu/libpcre3 2:8.39-12build1
- ubuntu/libpdfbox-java 1:1.8.16-2
- ubuntu/libperl5.30 5.30.0-9ubuntu0.2
- ubuntu/libpipeline1 1.5.2-2build1
- ubuntu/libpixman-1-0 0.38.4-0ubuntu1
- ubuntu/libpng16-16 1.6.37-2
- ubuntu/libpopt0 1.16-14
- ubuntu/libprocps8 2:3.3.16-1ubuntu2.2
- ubuntu/libpsl5 0.21.0-1ubuntu1
- ubuntu/libptexenc1 2019.20190605.51237-3build2
- ubuntu/libpython3-stdlib 3.8.2-0ubuntu2
- ubuntu/libpython3.8-minimal 3.8.10-0ubuntu1~20.04
- ubuntu/libpython3.8-stdlib 3.8.10-0ubuntu1~20.04
- ubuntu/libquadmath0 10.3.0-1ubuntu1~20.04
- ubuntu/librbio2 1:5.7.1 dfsg-2
- ubuntu/libre-ocaml-dev 1.9.0-1
- ubuntu/libreadline8 8.0-4
- ubuntu/libroken18-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/librpm8 4.14.2.1 dfsg1-1build2
- ubuntu/librpmio8 4.14.2.1 dfsg1-1build2
- ubuntu/librtmp1 2.4 20151223.gitfa8646d.1-2build1
- ubuntu/libsasl2-2 2.1.27 dfsg-2
- ubuntu/libsasl2-modules-db 2.1.27 dfsg-2
- ubuntu/libsasl2-modules 2.1.27 dfsg-2
- ubuntu/libseccomp2 2.5.1-1ubuntu1~20.04.1
- ubuntu/libselinux1 3.0-1build2
- ubuntu/libsemanage-common 3.0-1build2
- ubuntu/libsemanage1 3.0-1build2
- ubuntu/libsepol1 3.0-1
- ubuntu/libsigsegv2 2.12-2
- ubuntu/libsm6 2:1.2.3-1
- ubuntu/libsmartcols1 2.34-0.1ubuntu9.1
- ubuntu/libspqr2 1:5.7.1 dfsg-2
- ubuntu/libsqlite3-0 3.31.1-4ubuntu0.2
- ubuntu/libss2 1.45.5-2ubuntu1
- ubuntu/libssh-4 0.9.3-2ubuntu2.1
- ubuntu/libssl1.1 1.1.1f-1ubuntu2.4
- ubuntu/libstdc -9-dev 9.3.0-17ubuntu1~20.04
- ubuntu/libstdc 6 10.3.0-1ubuntu1~20.04
- ubuntu/libsub-override-perl 0.09-2
- ubuntu/libsuitesparse-dev 1:5.7.1 dfsg-2
- ubuntu/libsuitesparseconfig5 1:5.7.1 dfsg-2
- ubuntu/libsynctex2 2019.20190605.51237-3build2
- ubuntu/libsystemd0 245.4-4ubuntu3.11
- ubuntu/libtasn1-6 4.16.0-2
- ubuntu/libteckit0 2.5.8 ds2-5ubuntu2
- ubuntu/libtexlua53 2019.20190605.51237-3build2
- ubuntu/libtexluajit2 2019.20190605.51237-3build2
- ubuntu/libtinfo5 6.2-0ubuntu2
- ubuntu/libtinfo6 6.2-0ubuntu2
- ubuntu/libtool 2.4.6-14
- ubuntu/libtsan0 10.3.0-1ubuntu1~20.04
- ubuntu/libubsan1 10.3.0-1ubuntu1~20.04
- ubuntu/libuchardet0 0.0.6-3build1
- ubuntu/libudev1 245.4-4ubuntu3.11
- ubuntu/libumfpack5 1:5.7.1 dfsg-2
- ubuntu/libunistring2 0.9.10-2
- ubuntu/libuuid1 2.34-0.1ubuntu9.1
- ubuntu/libwind0-heimdal 7.7.0 dfsg-1ubuntu1
- ubuntu/libx11-6 2:1.6.9-2ubuntu1.2
- ubuntu/libx11-data 2:1.6.9-2ubuntu1.2
- ubuntu/libxau6 1:1.0.9-0ubuntu1
- ubuntu/libxaw7 2:1.0.13-1
- ubuntu/libxcb-render0 1.14-2
- ubuntu/libxcb-shm0 1.14-2
- ubuntu/libxcb1 1.14-2
- ubuntu/libxdmcp6 1:1.1.3-0ubuntu1
- ubuntu/libxext6 2:1.3.4-0ubuntu1
- ubuntu/libxi6 2:1.7.10-0ubuntu1
- ubuntu/libxml2 2.9.10 dfsg-5ubuntu0.20.04.1
- ubuntu/libxmu6 2:1.1.3-0ubuntu1
- ubuntu/libxmuu1 2:1.1.3-0ubuntu1
- ubuntu/libxpm4 1:3.5.12-1
- ubuntu/libxrender1 1:0.9.10-1
- ubuntu/libxt6 1:1.1.5-1
- ubuntu/libzip-ocaml-dev 1.09-2build1
- ubuntu/libzip-ocaml 1.09-2build1
- ubuntu/libzstd1 1.4.4 dfsg-3ubuntu0.1
- ubuntu/libzzip-0-13 0.13.62-3.2ubuntu1
- ubuntu/linux-libc-dev 5.4.0-80.90
- ubuntu/login 1:4.8.1-1ubuntu5.20.04.1
- ubuntu/logsave 1.45.5-2ubuntu1
- ubuntu/lsb-base 11.1.0ubuntu2
- ubuntu/m4 1.4.18-4
- ubuntu/make 4.2.1-1.2
- ubuntu/man-db 2.9.1-1
- ubuntu/manpages-dev 5.05-1
- ubuntu/manpages 5.05-1
- ubuntu/mawk 1.3.4.20200120-2
- ubuntu/mime-support 3.64ubuntu1
- ubuntu/mount 2.34-0.1ubuntu9.1
- ubuntu/ncurses-base 6.2-0ubuntu2
- ubuntu/ncurses-bin 6.2-0ubuntu2
- ubuntu/netbase 6.1
- ubuntu/ocaml-base-nox 4.08.1-8
- ubuntu/ocaml-compiler-libs 4.08.1-8
- ubuntu/ocaml-dune 2.1.3-2
- ubuntu/ocaml-findlib 1.8.1-1build3
- ubuntu/ocaml-interp 4.08.1-8
- ubuntu/ocaml-nox 4.08.1-8
- ubuntu/ocamlbuild 0.14.0-1build3
- ubuntu/openssh-client 1:8.2p1-4ubuntu0.2
- ubuntu/openssl 1.1.1f-1ubuntu2.4
- ubuntu/pandoc-data 2.5-3build2
- ubuntu/pandoc 2.5-3build2
- ubuntu/passwd 1:4.8.1-1ubuntu5.20.04.1
- ubuntu/patch 2.7.6-6
- ubuntu/perl-base 5.30.0-9ubuntu0.2
- ubuntu/perl-modules-5.30 5.30.0-9ubuntu0.2
- ubuntu/perl 5.30.0-9ubuntu0.2
- ubuntu/pinentry-curses 1.1.0-3build1
- ubuntu/po-debconf 1.0.21
- ubuntu/preview-latex-style 11.91-2ubuntu2
- ubuntu/procps 2:3.3.16-1ubuntu2.2
- ubuntu/publicsuffix 20200303.0012-1
- ubuntu/python3-minimal 3.8.2-0ubuntu2
- ubuntu/python3.8-minimal 3.8.10-0ubuntu1~20.04
- ubuntu/python3.8 3.8.10-0ubuntu1~20.04
- ubuntu/python3 3.8.2-0ubuntu2
- ubuntu/readline-common 8.0-4
- ubuntu/sed 4.7-1
- ubuntu/sensible-utils 0.0.12 nmu1
- ubuntu/sysvinit-utils 2.96-2.1ubuntu1
- ubuntu/t1utils 1.41-3
- ubuntu/tar 1.30 dfsg-7ubuntu0.20.04.1
- ubuntu/tex-common 6.13
- ubuntu/texlive-base 2019.20200218-1
- ubuntu/texlive-binaries 2019.20190605.51237-3build2
- ubuntu/texlive-fonts-recommended 2019.20200218-1
- ubuntu/texlive-lang-french 2019.20200218-1
- ubuntu/texlive-latex-base 2019.20200218-1
- ubuntu/texlive-latex-extra 2019.202000218-1
- ubuntu/texlive-latex-recommended 2019.20200218-1
- ubuntu/texlive-pictures 2019.20200218-1
- ubuntu/tzdata 2021a-0ubuntu0.20.04
- ubuntu/ubuntu-keyring 2020.02.11.4
- ubuntu/ucf 3.0038 nmu1
- ubuntu/util-linux 2.34-0.1ubuntu9.1
- ubuntu/x11-common 1:7.7 19ubuntu14
- ubuntu/xauth 1:1.1-0ubuntu1
- ubuntu/xdg-utils 1.1.3-2ubuntu1.20.04.2
- ubuntu/xz-utils 5.2.4-1ubuntu1
- ubuntu/zlib1g-dev 1:1.2.11.dfsg-2ubuntu1.2
- ubuntu/zlib1g 1:1.2.11.dfsg-2ubuntu1.2
- bash 5.0.17
- gettext:gettext *
- libintl:libintl *
- org.apache.pdfbox:fontbox 1.8.16
- org.apache.pdfbox:pdfbox 1.8.16
- org.apache:logging 1.2
- pax:pax *