Publishing details

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

Changelog

ocaml-zarith (1.11-1.1~xenial~ppa19) xenial; urgency=medium

  * Relax debhelper version dependency

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

Builds

• amd64
• i386

Built packages

• libzarith-ocaml arithmetic and logical operations over arbitrary-precision integers (runtime)

• libzarith-ocaml-dev arithmetic and logical operations over arbitrary-precision integers (dev)

• libzarith-ocaml-doc arithmetic and logical operations over arbitrary-precision integers (doc)

Package files

• libzarith-ocaml-dev_1.11-1.1~xenial~ppa19_amd64.deb (86.5 KiB)
• libzarith-ocaml-dev_1.11-1.1~xenial~ppa19_i386.deb (88.1 KiB)
• libzarith-ocaml-doc_1.11-1.1~xenial~ppa19_all.deb (21.4 KiB)
• libzarith-ocaml_1.11-1.1~xenial~ppa19_amd64.deb (52.1 KiB)
• libzarith-ocaml_1.11-1.1~xenial~ppa19_i386.deb (52.3 KiB)
• ocaml-zarith_1.11-1.1~xenial~ppa19.debian.tar.xz (3.7 KiB)
• ocaml-zarith_1.11-1.1~xenial~ppa19.dsc (2.2 KiB)
• ocaml-zarith_1.11.orig.tar.gz (96.6 KiB)