cffs/compilers : latest
Reference environment for the INFO0085 compilers course.
Latest release: over 4 years ago - 811 downloads - 351 dependencies
JSONDependencies
- debian/adduser 3.118
- debian/adwaita-icon-theme 3.38.0-1
- debian/apt 2.2.4
- debian/base-files 11.1
- debian/base-passwd 3.5.49
- debian/bash 5.1-2 b1
- debian/binutils-common 2.35.2-2
- debian/binutils-x86-64-linux-gnu 2.35.2-2
- debian/binutils 2.35.2-2
- debian/bison 2:3.7.5 dfsg-1
- debian/bsdutils 1:2.36.1-7
- debian/build-essential 12.9
- debian/bzip2 1.0.8-4
- debian/ca-certificates-java 20190909
- debian/ca-certificates 20210119
- debian/cargo 0.47.0-3 b1
- debian/clang-11 1:11.0.1-2
- debian/clang 1:11.0-51 nmu5
- 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.2
- debian/dash 0.5.11 git20200708 dd9ef66-5
- debian/debconf 1.5.75
- debian/debian-archive-keyring 2021.1.1
- debian/debianutils 4.11.2
- debian/diffutils 1:3.7-5
- debian/dpkg-dev 1.20.9
- debian/dpkg 1.20.9
- debian/e2fsprogs 1.46.2-1
- debian/findutils 4.8.0-1
- debian/flex 2.6.4-8
- debian/fontconfig-config 2.13.1-4.2
- debian/fontconfig 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/gpgv 2.2.27-2
- debian/grep 3.6-1
- debian/gtk-update-icon-cache 3.24.24-4
- debian/gzip 1.10-4
- debian/hicolor-icon-theme 0.17-2
- debian/hostname 3.23
- debian/init-system-helpers 1.60
- debian/java-common 0.72
- debian/lib32gcc-s1 10.2.1-6
- debian/lib32stdc 6 10.2.1-6
- debian/libacl1 2.2.53-10
- debian/libapt-pkg6.0 2.2.4
- debian/libasan6 10.2.1-6
- debian/libasound2-data 1.2.4-1.1
- debian/libasound2 1.2.4-1.1
- debian/libatk1.0-0 2.36.0-2
- debian/libatk1.0-data 2.36.0-2
- 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/libavahi-client3 0.8-5
- debian/libavahi-common-data 0.8-5
- debian/libavahi-common3 0.8-5
- debian/libbinutils 2.35.2-2
- debian/libblkid1 2.36.1-7
- 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-12
- debian/libc-dev-bin 2.31-12
- debian/libc-l10n 2.31-12
- debian/libc6-dev 2.31-12
- debian/libc6-i386 2.31-12
- debian/libc6 2.31-12
- debian/libcairo2 1.16.0-5
- debian/libcap-ng0 0.7.9-2.2 b1
- debian/libcbor0 0.5.0 dfsg-2
- debian/libcc1-0 10.2.1-6
- debian/libclang-common-11-dev 1:11.0.1-2
- debian/libclang-cpp11 1:11.0.1-2
- debian/libclang1-11 1:11.0.1-2
- debian/libcom-err2 1.46.2-1
- 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/libctypes-ocaml-dev 0.17.1-2 b1
- debian/libctypes-ocaml 0.17.1-2 b1
- debian/libcups2 2.3.3op2-3 deb11u1
- debian/libcurl3-gnutls 7.74.0-1.2
- debian/libcurl4 7.74.0-1.2
- debian/libdatrie1 0.2.13-1
- debian/libdb5.3 5.3.28 dfsg1-0.8
- debian/libdbus-1-3 1.12.20-2
- debian/libdebconfclient0 0.259
- debian/libdeflate0 1.7-1
- debian/libdpkg-perl 1.20.9
- debian/libdrm-amdgpu1 2.4.104-1
- debian/libdrm-common 2.4.104-1
- debian/libdrm-intel1 2.4.104-1
- debian/libdrm-nouveau2 2.4.104-1
- debian/libdrm-radeon1 2.4.104-1
- debian/libdrm2 2.4.104-1
- debian/libedit2 3.1-20191231-2 b1
- debian/libelf1 0.183-1
- debian/libexpat1 2.2.10-2
- debian/libext2fs2 1.46.2-1
- debian/libffi-dev 3.3-6
- debian/libffi7 3.3-6
- debian/libfido2-1 1.6.0-2
- debian/libfl-dev 2.6.4-8
- debian/libfl2 2.6.4-8
- debian/libfontconfig1 2.13.1-4.2
- debian/libfreetype6 2.10.4 dfsg-1
- debian/libfribidi0 1.0.8-2
- debian/libgc1 1:8.0.4-3
- debian/libgcc-10-dev 10.2.1-6
- debian/libgcc-s1 10.2.1-6
- debian/libgcrypt20 1.8.7-6
- debian/libgdbm-compat4 1.19-2
- debian/libgdbm6 1.19-2
- debian/libgdk-pixbuf-2.0-0 2.42.2 dfsg-1
- debian/libgdk-pixbuf2.0-common 2.42.2 dfsg-1
- debian/libgif7 5.1.9-2
- debian/libgit2-1.1 1.1.0 dfsg.1-4
- debian/libgl1-mesa-dri 20.3.4-1
- debian/libgl1 1.3.2-1
- debian/libglapi-mesa 20.3.4-1
- debian/libglib2.0-0 2.66.8-1
- debian/libglvnd0 1.3.2-1
- debian/libglx-mesa0 20.3.4-1
- debian/libglx0 1.3.2-1
- debian/libgmp10 2:6.2.1 dfsg-1
- debian/libgnutls30 3.7.1-5
- debian/libgomp1 10.2.1-6
- debian/libgpg-error0 1.38-2
- debian/libgraphite2-3 1.3.14-1
- debian/libgssapi-krb5-2 1.18.3-5
- debian/libgtk2.0-0 2.24.33-2
- debian/libgtk2.0-common 2.24.33-2
- debian/libharfbuzz0b 2.7.4-1
- debian/libhogweed6 3.7.3-1
- debian/libhttp-parser2.9 2.9.4-4
- debian/libicu67 67.1-6
- debian/libidn2-0 2.3.0-5
- debian/libintegers-ocaml-dev 0.4.0-1 b1
- debian/libintegers-ocaml 0.4.0-1 b1
- 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-5
- debian/libkeyutils1 1.6.1-2
- debian/libkrb5-3 1.18.3-5
- debian/libkrb5support0 1.18.3-5
- debian/liblcms2-2 2.12~rc1-2
- debian/libldap-2.4-2 2.4.57 dfsg-3
- debian/libllvm-11-ocaml-dev 1:11.0.1-2
- debian/libllvm-ocaml-dev 1:11.0-51 nmu5
- debian/libllvm11 1:11.0.1-2
- debian/liblsan0 10.2.1-6
- debian/liblz4-1 1.9.3-2
- debian/liblzma5 5.2.5-2
- debian/libmbedcrypto3 2.16.9-0.1
- debian/libmbedtls12 2.16.9-0.1
- debian/libmbedx509-0 2.16.9-0.1
- debian/libmd0 1.0.3-3
- debian/libmount1 2.36.1-7
- debian/libmpc3 1.2.0-1
- debian/libmpdec3 2.5.1-1
- debian/libmpfr6 4.1.0-3
- debian/libncurses-dev 6.2 20201114-2
- debian/libncurses5-dev 6.2 20201114-2
- debian/libncurses6 6.2 20201114-2
- debian/libncursesw6 6.2 20201114-2
- debian/libnettle8 3.7.3-1
- debian/libnghttp2-14 1.43.0-1
- debian/libnsl-dev 1.3.0-2
- debian/libnsl2 1.3.0-2
- debian/libnspr4 2:4.29-1
- debian/libnss3 2:3.61-1
- debian/libobjc-10-dev 10.2.1-6
- debian/libobjc4 10.2.1-6
- debian/libp11-kit0 0.23.22-1
- debian/libpam-modules-bin 1.4.0-7
- debian/libpam-modules 1.4.0-7
- debian/libpam-runtime 1.4.0-7
- debian/libpam0g 1.4.0-7
- debian/libpango-1.0-0 1.46.2-3
- debian/libpangocairo-1.0-0 1.46.2-3
- debian/libpangoft2-1.0-0 1.46.2-3
- debian/libpciaccess0 0.16-1
- debian/libpcre2-8-0 10.36-2
- debian/libpcre3 2:8.39-13
- debian/libpcsclite1 1.9.1-1
- debian/libperl5.32 5.32.1-4
- debian/libpfm4 4.11.1 git32-gd0b85fb-1
- debian/libpixman-1-0 0.40.0-1
- debian/libpng16-16 1.6.37-3
- debian/libprocps8 2:3.3.17-5
- debian/libpsl5 0.21.0-1.2
- debian/libpthread-stubs0-dev 0.4-1
- debian/libpython3-stdlib 3.9.2-3
- debian/libpython3.9-minimal 3.9.2-1
- debian/libpython3.9-stdlib 3.9.2-1
- 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
- debian/libsasl2-modules-db 2.1.27 dfsg-2.1
- debian/libseccomp2 2.5.1-1
- debian/libselinux1 3.1-3
- debian/libsemanage-common 3.1-1
- debian/libsemanage1 3.1-1 b2
- debian/libsensors-config 1:3.6.0-7
- debian/libsensors5 1:3.6.0-7
- debian/libsepol1 3.1-1
- debian/libsigsegv2 2.13-1
- debian/libsmartcols1 2.36.1-7
- debian/libsqlite3-0 3.34.1-3
- debian/libss2 1.46.2-1
- debian/libssh2-1 1.9.0-2
- debian/libssl1.1 1.1.1k-1
- debian/libstd-rust-1.48 1.48.0 dfsg1-2
- debian/libstd-rust-dev 1.48.0 dfsg1-2
- debian/libstdc -10-dev 10.2.1-6
- debian/libstdc 6 10.2.1-6
- debian/libsystemd0 247.3-5
- debian/libtasn1-6 4.16.0-2
- debian/libthai-data 0.1.28-3
- debian/libthai0 0.1.28-3
- debian/libtiff5 4.2.0-1
- debian/libtinfo6 6.2 20201114-2
- debian/libtirpc-common 1.3.1-1
- debian/libtirpc-dev 1.3.1-1
- debian/libtirpc3 1.3.1-1
- debian/libtsan0 10.2.1-6
- debian/libubsan1 10.2.1-6
- debian/libudev1 247.3-5
- debian/libunistring2 0.9.10-4
- debian/libuuid1 2.36.1-7
- debian/libvulkan1 1.2.162.0-1
- debian/libwebp6 0.6.1-2.1
- debian/libwrap0 7.6.q-31
- debian/libx11-6 2:1.7.1-1
- debian/libx11-data 2:1.7.1-1
- debian/libx11-dev 2:1.7.1-1
- debian/libx11-xcb1 2:1.7.1-1
- debian/libxau-dev 1:1.0.9-1
- debian/libxau6 1:1.0.9-1
- debian/libxcb-dri2-0 1.14-3
- debian/libxcb-dri3-0 1.14-3
- debian/libxcb-glx0 1.14-3
- debian/libxcb-present0 1.14-3
- debian/libxcb-render0 1.14-3
- debian/libxcb-shm0 1.14-3
- debian/libxcb-sync1 1.14-3
- debian/libxcb-xfixes0 1.14-3
- debian/libxcb1-dev 1.14-3
- debian/libxcb1 1.14-3
- debian/libxcomposite1 1:0.4.5-1
- debian/libxcursor1 1:1.2.0-2
- debian/libxdamage1 1:1.1.5-2
- debian/libxdmcp-dev 1:1.1.2-3
- debian/libxdmcp6 1:1.1.2-3
- debian/libxext6 2:1.3.3-1.1
- debian/libxfixes3 1:5.0.3-2
- debian/libxi6 2:1.7.10-1
- debian/libxinerama1 2:1.1.4-2
- debian/libxml2 2.9.10 dfsg-6.7
- debian/libxrandr2 2:1.5.1-1
- debian/libxrender1 1:0.9.10-1
- debian/libxshmfence1 1.3-1
- debian/libxtst6 2:1.2.3-1
- debian/libxxf86vm1 1:1.1.4-1 b2
- debian/libxxhash0 0.8.0-2
- debian/libyaml-0-2 0.2.2-1
- debian/libz3-4 4.8.10-1
- debian/libz3-dev 4.8.10-1
- debian/libzstd1 1.4.8 dfsg-2.1
- debian/linux-libc-dev 5.10.40-1
- debian/llvm-11-dev 1:11.0.1-2
- debian/llvm-11-runtime 1:11.0.1-2
- debian/llvm-11-tools 1:11.0.1-2
- debian/llvm-11 1:11.0.1-2
- debian/llvm-dev 1:11.0-51 nmu5
- debian/llvm-runtime 1:11.0-51 nmu5
- debian/llvm 1:11.0-51 nmu5
- debian/locales 2.31-12
- debian/login 1:4.8.1-1
- debian/logsave 1.46.2-1
- debian/lsb-base 11.1.0
- debian/m4 1.4.18-5
- debian/make 4.3-4.1
- debian/mawk 1.3.4.20200120-2
- debian/media-types 4.0.0
- debian/mount 2.36.1-7
- debian/ncurses-base 6.2 20201114-2
- debian/ncurses-bin 6.2 20201114-2
- debian/ocaml-base-nox 4.11.1-4
- debian/ocaml-base 4.11.1-4
- debian/ocaml-compiler-libs 4.11.1-4
- debian/ocaml-interp 4.11.1-4
- debian/ocaml-nox 4.11.1-4
- debian/ocaml 4.11.1-4
- debian/ocamlbuild 0.14.0-2 b1
- debian/openjdk-17-jdk-headless 17~19-1
- debian/openjdk-17-jdk 17~19-1
- debian/openjdk-17-jre-headless 17~19-1
- debian/openjdk-17-jre 17~19-1
- debian/openssh-client 1:8.4p1-5
- debian/openssh-server 1:8.4p1-5
- debian/openssh-sftp-server 1:8.4p1-5
- debian/openssl 1.1.1k-1
- debian/passwd 1:4.8.1-1
- debian/patch 2.7.6-7
- debian/perl-base 5.32.1-4
- debian/perl-modules-5.32 5.32.1-4
- debian/perl 5.32.1-4
- debian/procps 2:3.3.17-5
- debian/python3-minimal 3.9.2-3
- debian/python3-pkg-resources 52.0.0-3
- debian/python3-ply 3.11-4
- debian/python3-pygments 2.7.1 dfsg-2.1
- debian/python3-yaml 5.3.1-4
- debian/python3.9-minimal 3.9.2-1
- debian/python3.9 3.9.2-1
- debian/python3 3.9.2-3
- debian/readline-common 8.1-1
- debian/runit-helper 2.10.3
- debian/rustc 1.48.0 dfsg1-2
- debian/sed 4.7-1
- debian/sensible-utils 0.0.14
- debian/shared-mime-info 2.0-1
- debian/sudo 1.9.5p2-3
- debian/sysvinit-utils 2.96-7
- debian/tar 1.34 dfsg-1
- debian/tzdata 2021a-1
- debian/ucf 3.0043
- debian/util-linux 2.36.1-7
- debian/x11-common 1:7.7 22
- debian/x11proto-dev 2020.1-1
- debian/xorg-sgml-doctools 1:1.11-1.1
- debian/xtrans-dev 1.4.0-1
- debian/xz-utils 5.2.5-2
- debian/zlib1g-dev 1:1.2.11.dfsg-2
- debian/zlib1g 1:1.2.11.dfsg-2