Publishing details

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

Changelog

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

  * No-change backport to precise

 -- Jason Gross <email address hidden>  Tue, 21 Jun 2016 21:00:06 -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~ubuntu12.04.1~ppa1.debian.tar.gz (2.2 KiB)
• camlp4_4.02.1+3-2~ubuntu12.04.1~ppa1.dsc (2.0 KiB)
• camlp4_4.02.1+3-2~ubuntu12.04.1~ppa1_amd64.deb (8.4 MiB)
• camlp4_4.02.1+3-2~ubuntu12.04.1~ppa1_i386.deb (7.9 MiB)
• camlp4_4.02.1+3.orig.tar.gz (631.2 KiB)
• libcamlp4-ocaml-dev_4.02.1+3-2~ubuntu12.04.1~ppa1_amd64.deb (29.5 MiB)
• libcamlp4-ocaml-dev_4.02.1+3-2~ubuntu12.04.1~ppa1_i386.deb (29.5 MiB)