Publishing details

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

Changelog

camlp4 (4.02.1+3-2~ubuntu14.04.1~ppa1) trusty; urgency=medium

  * No-change backport to trusty

 -- Jason Gross <email address hidden>  Tue, 21 Jun 2016 20:59:56 -0400

Builds

• amd64
• i386

Built packages

• camlp4 Pre Processor Pretty Printer for OCaml

• libcamlp4-ocaml-dev Pre Processor Pretty Printer for OCaml (libraries)

Package files

• camlp4_4.02.1+3-2~ubuntu14.04.1~ppa1.debian.tar.gz (2.2 KiB)
• camlp4_4.02.1+3-2~ubuntu14.04.1~ppa1.dsc (2.0 KiB)
• camlp4_4.02.1+3-2~ubuntu14.04.1~ppa1_amd64.deb (2.4 MiB)
• camlp4_4.02.1+3-2~ubuntu14.04.1~ppa1_i386.deb (2.3 MiB)
• camlp4_4.02.1+3.orig.tar.gz (631.2 KiB)
• libcamlp4-ocaml-dev_4.02.1+3-2~ubuntu14.04.1~ppa1_amd64.deb (13.2 MiB)
• libcamlp4-ocaml-dev_4.02.1+3-2~ubuntu14.04.1~ppa1_i386.deb (13.2 MiB)