Bug#897098: ppl FTBFS with TeX Live 2018

Transcript written on refman.log. > make[2]: *** [Makefile:6: refman.pdf] Error 1 > Thanks for the report. This has just been fixed with the following commit. commit addd0535f36e4a2734b9b5321e2e0ad398c5e20c Author: Roberto Bagnara <roberto.bagn...@bugseng.com> Date: Fri May 4 09:2

Bug#811825: FaCT++ Debian package removal

the problem will be solved very quickly. Kind regards, Roberto > On Sat, 6 Aug 2016 14:34:14 +0200 Roberto Bagnara <bagn...@cs.unipr.it> > wrote: >> The new version upstream (PPL 1.2, released in February 2016) solves >> all problems wrt GCC 6. If upgrading t

Bug#806865: transition: ppl

s, > Tobias > > Ben file: > > title = "ppl"; > is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14"; > is_good = .depends ~ "libppl14"; > is_bad = .depends ~ "libppl13v5"; Just to say that upstream is more than

Bug#811825: FaCT++ Debian package removal

On 08/06/2016 03:50 PM, Jonas Smedegaard wrote: > Hi Roberto, > > Quoting Roberto Bagnara (2016-08-06 14:34:14) >> On 08/06/2016 02:27 PM, Jonas Smedegaard wrote: >>> Quoting Dmitry Tsarkov (2016-08-04 22:09:56) >>>> I'm the implementer of the or

Bug#811825: FaCT++ Debian package removal

f upgrading to the latest upstream release is not wanted (why?), then patches have been provided in this very issue. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it

Bug#806865: ppl: FTBFS when built with dpkg-buildpackage -A (No rule to make ppl_c.h)

right order. In addition, PPL 1.2 has been released more than 5 months ago: IMHO it does not make much sense to use the previous release for Stretch. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parm

Bug#811825: Patch

Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com

Bug#811825: ppl: FTBFS with GCC 6: no match for

o -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com mailto:roberto.bagn...@bugseng.com

Bug#811825: ppl: FTBFS with GCC 6: no match for

Depends: libmpfr4 (>= 3.1.3) but 3.1.2-2 is to be installed Depends: libstdc++6 (>= 5) but 4.9.2-10 is to be installed E: Unable to correct problems, you have held broken packages. roberto@jessie64:~$ Can you please advise? Thanks, Roberto -- Prof. Roberto Bagnara Applied

Bug#787486: ppl: FTBFS with swi-prolog 7.x

em without success. Anyway, to accommodate SWI-Prolog version 7.x the attached patches should be applied. Please mail ppl-de...@cs.unipr.it if you have further details to allow us reproduce the problem. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - U

Bug#799641: ppl: ABI transition needed for libstdc++ v5

For the little I understand, I am in favor of the resolutions you propose, but I don't know how to implement them (I mean, without changing upstream code). If you can send more detailed instructions, we will be glad to try and implement them. Kind regards, Roberto -- Prof. Roberto Bagnara

Bug#787486: ppl: FTBFS with current sid

=en_CA.UTF-8 (charmap=UTF-8) Shell: /bin/sh linked to /bin/dash Init: systemd (via /run/systemd/system) -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http://bugseng.com

Bug#720994: libppl0.12-dev: ppl.hh contains definitions which are also in gmpxx.h

/products/ppl/download/ftp/snapshots/ Unless some problems are reported, this will become PPL 1.1. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory - University of Parma, Italy mailto:bagn...@cs.unipr.it BUGSENG srl - http

Bug#669479: ppl: diff for NMU version 0.11.2-6.1

?bug=669479#22. Just wondering: do you have a strong reason to stick with PPL 0.11.2 and not to upgrade to PPL 1.0? PPL 0.11.2 is an old release and PPL 1.0 has lots of improvements over it, including important bug fixes. Just my 2 cents. Kind regards, Roberto Bagnara (PPL project leader

Bug#606233: ppl missing b-d-i on latex-xcolor?

not work with the used LaTeX distribution. I reported this problem on the Doxygen mailing list two weeks ago, but I got no replies. If you also raise this issue on that mailing list, perhaps it will help. -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics

Bug#570387: prolog tests fail at least on powerpc

? Notice that we have been unable to reproduce the problem. Cheers, Roberto -- Prof. Roberto Bagnara Applied Formal Methods Laboratory Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it -- To UNSUBSCRIBE, email to debian-bugs-dist-requ

Bug#517659: ppl - FTBFS: Missuse of buildd resources

we can help. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagn...@cs.unipr.it -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject

Bug#499746: ppl ftbfs on arm

Arthur Loiret wrote: reopen 499746 found 499746 0.10~pre34-1 thanks Still fails to build. The PPL 0.10pre35 snapshot, available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ should fix this problem. Please let us know how it goes. -- Prof. Roberto Bagnara Computer Science Group

Bug#499746: [PPL-devel] Building still fails on ARM

messages on the subject. We are working on the issue. Would it be possible to set up an access to an ARM machine? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED

Bug#499746: ppl ftbfs on arm

A new PPL 0.10 snapshot that should fix this problem is available at ftp://ftp.cs.unipr.it/pub/ppl/snapshots/ All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL

Bug#499746: ppl ftbfs on arm

-- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Bug#499832: libppl7: tries to overwrite file owned by libppl6

are only a few weeks from the release of PPL 0.10, but we will do all what we can to simplify the life of packagers. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL

Bug#409786: Intend to take this one

to hearing from you. All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:[EMAIL PROTECTED] -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact

Bug#452958: Installed gprolog.h cannot be used in C++ programs

Subject: Installed gprolog.h cannot be used in C++ programs Package: gprolog Version: 1.2.18-17 Severity: important *** Please type your report below this line *** [EMAIL PROTECTED]:~/tppl$ fgrep -n -C 3 cplus /usr/lib/gprolog-iso/include/ 25-/* $Id: headers.h,v 1.7 2004/01/16 16:01:00 diaz Exp

Bug#312523: Any hope this bug will be fixed soon?

I see there has been no activity for a while on this, despite the fact that a fix is known. Are there further problems that are not apparent from the bug report log? All the best, Roberto -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy