ppl 1:1.1-3ubuntu1 source package in Ubuntu

Changelog

ppl (1:1.1-3ubuntu1) utopic; urgency=medium

  * Merge with Debian; reamining changes:
    - Don't build-depend on swi-prolog (universe).

ppl (1:1.1-3) unstable; urgency=medium

  * Build using dh-autoreconf instead of autotools-dev. Closes: #755959.
  * Define our own \+ latex command. Closes: #751355.
  * Fix linking of libppl_tests.

ppl (1:1.1-2) unstable; urgency=medium

  * Work around GCC PR target/60609 to avoid the build failure
    of the SWI Prolog bindings on armhf.
 -- Matthias Klose <email address hidden>   Sat, 26 Jul 2014 09:55:24 +0200