Publishing details

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

Changelog

ocamlbuild (0.14.0-1build3.1~focal~ppa17) focal; urgency=medium

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 11:50:01 -0500

Builds

• amd64

Built packages

• ocamlbuild Build tool for building OCaml libraries and programs

Package files

• ocamlbuild_0.14.0-1build3.1~focal~ppa17.debian.tar.xz (4.2 KiB)
• ocamlbuild_0.14.0-1build3.1~focal~ppa17.dsc (2.1 KiB)
• ocamlbuild_0.14.0-1build3.1~focal~ppa17_amd64.deb (898.0 KiB)
• ocamlbuild_0.14.0.orig.tar.gz (193.6 KiB)