Publishing details

• Published on 2018-03-16
• Copied from ubuntu trusty in Coq backports by Jason Gross

Changelog

labltk (8.06.0+dfsg-3~ubuntu14.04.1~ppa1) trusty; urgency=medium

  * No-change backport to trusty

 -- Jason Gross <email address hidden>  Tue, 21 Jun 2016 22:24:17 -0400

Builds

• amd64
• i386

Built packages

• labltk OCaml bindings to Tcl/Tk (executables)

• liblabltk-ocaml OCaml bindings to Tcl/Tk (runtime libraries)

• liblabltk-ocaml-dev OCaml bindings to Tcl/Tk (dev. libraries)

Package files

• labltk_8.06.0+dfsg-3~ubuntu14.04.1~ppa1.debian.tar.gz (2.6 KiB)
• labltk_8.06.0+dfsg-3~ubuntu14.04.1~ppa1.dsc (2.1 KiB)
• labltk_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_amd64.deb (288.2 KiB)
• labltk_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_i386.deb (288.1 KiB)
• labltk_8.06.0+dfsg.orig.tar.gz (351.5 KiB)
• liblabltk-ocaml-dev_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_amd64.deb (1.3 MiB)
• liblabltk-ocaml-dev_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_i386.deb (1.3 MiB)
• liblabltk-ocaml_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_amd64.deb (9.4 KiB)
• liblabltk-ocaml_8.06.0+dfsg-3~ubuntu14.04.1~ppa1_i386.deb (9.2 KiB)