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

findlib (1.8.1-2.1~focal~ppa1) focal; urgency=medium

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 15:17:22 -0500

Builds

• amd64
• i386

Built packages

• libfindlib-ocaml library for managing OCaml libraries (runtime)

• libfindlib-ocaml-dev library for managing OCaml libraries (development files)

• ocaml-findlib management tool for OCaml libraries

Package files

• findlib_1.8.1-2.1~focal~ppa1.debian.tar.xz (12.5 KiB)
• findlib_1.8.1-2.1~focal~ppa1.dsc (2.2 KiB)
• findlib_1.8.1.orig.tar.gz (255.4 KiB)
• libfindlib-ocaml-dev_1.8.1-2.1~focal~ppa1_amd64.deb (157.6 KiB)
• libfindlib-ocaml-dev_1.8.1-2.1~focal~ppa1_i386.deb (157.0 KiB)
• libfindlib-ocaml_1.8.1-2.1~focal~ppa1_amd64.deb (188.9 KiB)
• libfindlib-ocaml_1.8.1-2.1~focal~ppa1_i386.deb (185.1 KiB)
• ocaml-findlib_1.8.1-2.1~focal~ppa1_amd64.deb (468.8 KiB)
• ocaml-findlib_1.8.1-2.1~focal~ppa1_i386.deb (460.1 KiB)