Publishing details

• Published on 2023-10-29
• Copied from Coq Daily Builds (v8.17) by Jason Gross
• Originally uploaded to ubuntu focal in Many Coq Versions with OCaml 4.11

Changelog

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

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 10:33:59 -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~focal~ppa1_amd64.deb (560.2 KiB)
• ocaml-base-nox_4.11.1-4.1~focal~ppa1_i386.deb (531.3 KiB)
• ocaml-base_4.11.1-4.1~focal~ppa1_amd64.deb (27.2 KiB)
• ocaml-base_4.11.1-4.1~focal~ppa1_i386.deb (27.2 KiB)
• ocaml-compiler-libs_4.11.1-4.1~focal~ppa1_amd64.deb (28.4 MiB)
• ocaml-compiler-libs_4.11.1-4.1~focal~ppa1_i386.deb (27.7 MiB)
• ocaml-interp_4.11.1-4.1~focal~ppa1_amd64.deb (5.5 MiB)
• ocaml-interp_4.11.1-4.1~focal~ppa1_i386.deb (5.5 MiB)
• ocaml-man_4.11.1-4.1~focal~ppa1_all.deb (476.4 KiB)
• ocaml-nox_4.11.1-4.1~focal~ppa1_amd64.deb (64.6 MiB)
• ocaml-nox_4.11.1-4.1~focal~ppa1_i386.deb (63.6 MiB)
• ocaml-source_4.11.1-4.1~focal~ppa1_all.deb (3.4 MiB)
• ocaml_4.11.1-4.1~focal~ppa1.debian.tar.xz (38.8 KiB)
• ocaml_4.11.1-4.1~focal~ppa1.dsc (2.5 KiB)
• ocaml_4.11.1-4.1~focal~ppa1_amd64.deb (27.7 KiB)
• ocaml_4.11.1-4.1~focal~ppa1_i386.deb (27.7 KiB)
• ocaml_4.11.1.orig.tar.xz (3.4 MiB)