Publishing details

• Published on 2022-01-22
• Copied from Coq Daily Builds (v8.14) by Jason Gross
• Originally uploaded to ubuntu xenial in Many Coq Versions with OCaml 4.11

Changelog

ocaml (4.11.1-4.1~xenial~ppa1) xenial; urgency=medium

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 10:38:02 -0500

Builds

• amd64
• i386

Built packages

• ocaml ML language implementation with a class-based object system

• ocaml-base Runtime system for OCaml bytecode executables

• ocaml-base-nox Runtime system for OCaml bytecode executables (no X)

• ocaml-compiler-libs OCaml interpreter and standard libraries

• ocaml-interp OCaml interactive interpreter and standard libraries

• ocaml-man OCaml interpreter and standard libraries (lib manpages)

• ocaml-nox ML implementation with a class-based object system (no X)

• ocaml-source Sources for Objective Caml

Package files

• ocaml-base-nox_4.11.1-4.1~xenial~ppa1_amd64.deb (552.5 KiB)
• ocaml-base-nox_4.11.1-4.1~xenial~ppa1_i386.deb (536.4 KiB)
• ocaml-base_4.11.1-4.1~xenial~ppa1_amd64.deb (27.1 KiB)
• ocaml-base_4.11.1-4.1~xenial~ppa1_i386.deb (27.1 KiB)
• ocaml-compiler-libs_4.11.1-4.1~xenial~ppa1_amd64.deb (28.8 MiB)
• ocaml-compiler-libs_4.11.1-4.1~xenial~ppa1_i386.deb (28.7 MiB)
• ocaml-interp_4.11.1-4.1~xenial~ppa1_amd64.deb (5.5 MiB)
• ocaml-interp_4.11.1-4.1~xenial~ppa1_i386.deb (5.5 MiB)
• ocaml-man_4.11.1-4.1~xenial~ppa1_all.deb (478.2 KiB)
• ocaml-nox_4.11.1-4.1~xenial~ppa1_amd64.deb (63.0 MiB)
• ocaml-nox_4.11.1-4.1~xenial~ppa1_i386.deb (62.4 MiB)
• ocaml-source_4.11.1-4.1~xenial~ppa1_all.deb (3.4 MiB)
• ocaml_4.11.1-4.1~xenial~ppa1.debian.tar.xz (38.8 KiB)
• ocaml_4.11.1-4.1~xenial~ppa1.dsc (2.5 KiB)
• ocaml_4.11.1-4.1~xenial~ppa1_amd64.deb (27.6 KiB)
• ocaml_4.11.1-4.1~xenial~ppa1_i386.deb (27.6 KiB)
• ocaml_4.11.1.orig.tar.xz (3.4 MiB)