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 Date: Fri May 4 09:26:25 2018 +0200 Disable Kp

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 > wrote: >> The new version upstream (PPL 1.2, released in February 2016) solves >> all problems wrt GCC 6. If upgrading to the latest upstream release &g

Bug#806865: transition: ppl

on. > > Thanks, > Tobias > > Ben file: > > title = "ppl"; > is_affected = .depends ~ "libppl13v5" | .depends ~ "libppl14"; > is_good = .depends ~ "libppl14"; > is_bad = .depends ~ "libppl13v5"; Just to say that u

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 origina

Bug#811825: FaCT++ Debian package removal

GCC 6. If 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)

n the 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

Bug#811825: Patch

2. Cheers, 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

Thanks, 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

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 App

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

message. 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. R

Bug#787486: ppl: FTBFS with current sid

.0 > APT prefers stable > APT policy: (900, 'stable') > Architecture: amd64 (x86_64) > > Kernel: Linux 3.16.0-4-amd64 (SMP w/4 CPU cores) > Locale: LANG=en_CA.UTF-8, LC_CTYPE=en_CA.UTF-8 (charmap=UTF-8) > Shell: /bin/sh linked to /bin/dash > Init: systemd (via /

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

al problem? BTW, I have just uploaded the latest development snapshot at http://bugseng.com/products/ppl/download/ftp/snapshots/ Unless some problems are reported, this will become PPL 1.1. Kind regards, Roberto -- Prof. Roberto Bagnara Applied Formal Me

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

t.cgi?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 l

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

does 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

e upstream? 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

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

ded 06:58:18, 1434876k disk space I see. Please let us know whether/how 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

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

l, yes, we received numerous 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/~ba

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#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#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#409786: Intend to take this one

look forward 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 "unsubscrib

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