Publishing details

• Published on 2023-10-30
• 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-zarith (1.11-1.1~focal~ppa19) focal; urgency=medium

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Sat, 27 Feb 2021 09:15:17 -0500

Builds

• amd64

Package files

• ocaml-zarith_1.11-1.1~focal~ppa19.debian.tar.xz (3.7 KiB)
• ocaml-zarith_1.11-1.1~focal~ppa19.dsc (2.2 KiB)
• ocaml-zarith_1.11.orig.tar.gz (96.6 KiB)