Publishing details

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

Changelog

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

  * Relax debhelper version dependency

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

Builds

• amd64
• i386

Built packages

• ocamlbuild Build tool for building OCaml libraries and programs

Package files

• ocamlbuild_0.14.0-1build3.1~trusty~ppa17.debian.tar.xz (4.2 KiB)
• ocamlbuild_0.14.0-1build3.1~trusty~ppa17.dsc (2.2 KiB)
• ocamlbuild_0.14.0-1build3.1~trusty~ppa17_amd64.deb (856.4 KiB)
• ocamlbuild_0.14.0-1build3.1~trusty~ppa17_i386.deb (837.9 KiB)
• ocamlbuild_0.14.0.orig.tar.gz (193.6 KiB)