Publishing details

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

Changelog

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

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 10:36:51 -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~bionic~ppa1_amd64.deb (559.5 KiB)
• ocaml-base-nox_4.11.1-4.1~bionic~ppa1_i386.deb (527.6 KiB)
• ocaml-base_4.11.1-4.1~bionic~ppa1_amd64.deb (27.2 KiB)
• ocaml-base_4.11.1-4.1~bionic~ppa1_i386.deb (27.2 KiB)
• ocaml-compiler-libs_4.11.1-4.1~bionic~ppa1_amd64.deb (28.3 MiB)
• ocaml-compiler-libs_4.11.1-4.1~bionic~ppa1_i386.deb (27.7 MiB)
• ocaml-interp_4.11.1-4.1~bionic~ppa1_amd64.deb (5.5 MiB)
• ocaml-interp_4.11.1-4.1~bionic~ppa1_i386.deb (5.5 MiB)
• ocaml-man_4.11.1-4.1~bionic~ppa1_all.deb (476.4 KiB)
• ocaml-nox_4.11.1-4.1~bionic~ppa1_amd64.deb (64.5 MiB)
• ocaml-nox_4.11.1-4.1~bionic~ppa1_i386.deb (63.6 MiB)
• ocaml-source_4.11.1-4.1~bionic~ppa1_all.deb (3.4 MiB)
• ocaml_4.11.1-4.1~bionic~ppa1.debian.tar.xz (38.9 KiB)
• ocaml_4.11.1-4.1~bionic~ppa1.dsc (2.5 KiB)
• ocaml_4.11.1-4.1~bionic~ppa1_amd64.deb (27.7 KiB)
• ocaml_4.11.1-4.1~bionic~ppa1_i386.deb (27.7 KiB)
• ocaml_4.11.1.orig.tar.xz (3.4 MiB)