.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 /
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
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
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,
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 debia
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 UNSUB
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
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
for the quad-word floating point instructions are not targeted
by Debian);
3) apply a (yet to be identified) workaround;
4) disable support for long doubles on sparc64;
5) do something else.
Thanks for any suggestion.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science
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
lpha. What we miss, is access to the following:
ia64, hppa, arm, s390, mips, mipsel, sparc (but we have sparc64),
armel, and m68k.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
ma
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
--
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]
cause right now we are fighting a bug that only
shows up on the Alpha. In any case, we are willing
to help solving any portability problem if you could
provide us with access to the machines.
All the best,
Roberto
--
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, Universi
14 matches
Mail list logo
