Publishing details

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

Changelog

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

  * Relax debhelper version dependency

 -- Jason Gross <email address hidden>  Fri, 26 Feb 2021 15:16:44 -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~trusty~ppa1.debian.tar.xz (12.5 KiB)
• findlib_1.8.1-2.1~trusty~ppa1.dsc (2.2 KiB)
• findlib_1.8.1.orig.tar.gz (255.4 KiB)
• libfindlib-ocaml-dev_1.8.1-2.1~trusty~ppa1_amd64.deb (150.1 KiB)
• libfindlib-ocaml-dev_1.8.1-2.1~trusty~ppa1_i386.deb (149.4 KiB)
• libfindlib-ocaml_1.8.1-2.1~trusty~ppa1_amd64.deb (188.9 KiB)
• libfindlib-ocaml_1.8.1-2.1~trusty~ppa1_i386.deb (185.2 KiB)
• ocaml-findlib_1.8.1-2.1~trusty~ppa1_amd64.deb (434.8 KiB)
• ocaml-findlib_1.8.1-2.1~trusty~ppa1_i386.deb (421.5 KiB)