Package: ocaml-tools
Version: 2006.05.15-1
Severity: important
The current version of omlet sets efm to a new value forgetting the
previous one. As a result vim does no longer jump to the error location
when make is issued. This behaviour can be reproduced with ocaml-tools
2006.05.15-1.
Your desc
the problem using the version 1.0 (unstable)?
> Can we close the bug?
>
> Thanks.
>
> Best Regards,
>
--
--------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacer...@cs.u
Package: gnome-settings-daemon
Version: 3.22.2-1
Severity: normal
Tags: upstream
Dear Maintainer,
laptops with OLED display do not have a backlight. To increase/decrease
the brightness of the display the only way is to call
xrandr --brightness percentage
and there are scripts out there to
Package: mypaint
Version: 1.2.0-4
Severity: grave
Tags: upstream
Justification: renders package unusable
Dear Maintainer,
*** Reporter, please consider answering these questions, where appropriate ***
* What led up to the situation?
Starting mypaint on Wayland:
claudio@zenone:/tmp/libmypaint
Dear Mehdi,
the most recent camlp5 version in git seems to fix enough bugs to let
the version of matita in Debian compile.
Fingers crossed,
C.S.C.
On Fri, 2016-01-22 at 15:06 +0100, Claudio Sacerdoti Coen wrote:
> Hi,
>
> this is another bug in camlp5. To trigger it it is suff
> File "hExtlib.ml", line 530, characters 4-8: Actual
> declaration
> ../Makefile.common:99: recipe for target 'hExtlib.cmo' failed
> make: *** [hExtlib.cmo] Error 2
>
> Didn't you get that error?
>
--
Prof. Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: clauio.sacerdotic...@unibo.it
http://www.cs.unibo.it/~sacerdot
I just confirm that the possible solution proposed by Mattias also works
for me.
Cheers,
C.S.C.
--
Real name: Claudio Sacerdoti Coen
Package: libzip-ocaml-dev
Version: 1.04-3
Severity: grave
Justification: renders package unusable
zip.a missing:
gcc: /usr/lib/ocaml/3.11.0/zip/zip.a: No such file or directory
-- System Information:
Debian Release: squeeze/sid
APT prefers unstable
APT policy: (500, 'unstable')
Architectur
=0x845c60) at gtkhtml-editor.c:387
387 gtkhtml-editor.c: No such file or directory.
in gtkhtml-editor.c
--
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacer...@cs.unibo.it
http
On Sat, 2009-09-26 at 00:44 +0200, Yves-Alexis Perez wrote:
> On ven, 2009-09-25 at 17:56 +0200, Claudio Sacerdoti Coen wrote:
> > It does not seem a version mismatch: I only have 3.28.0-2 versions of
> > all libgtkhtml-* packages, but Evolution crashes with this gdb message:
&
Package: uswsusp
Version: 0.8-1.1
Severity: grave
Justification: renders package unusable
*** Please type your report below this line ***
The bug only affects version 0.8-1.1 and not 0.7-1.2 and it is independent
from the kernel version. During hibernation (s2disk), the swap partition is
sort of
Package: websvn
Version: 1.61-16
Severity: critical
Justification: breaks the whole system
Temporary directories and files are created in /usr/share/websvn/temp.
IMHO this behaviour is not compliant with FSH.
Moreover, it seems that the temporary files are never got rid of.
In a few days 4.1
> Do you have an XMPP account set up to auto-login? If you run pidgin
-n,
> does the crash still happen?
Same behaviour here. Disabling all XMPP accounts there is no more crash.
--
Real name: Claudio Sacerdoti Coen
Doc
-ocaml-dev 5.13.0-1 OCaml bindings for PCRE (Perl Comp
ii ocaml-nox [ocaml-nox-3.10.1] 3.10.1-1 ML language implementation with a
libhttp-ocaml-dev recommends no packages.
-- no debconf information
--
Real name: Claudio
I can also observe the very same behavior and segfaults in syslog.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
libpipewire-0.3-modules_0.3.12-1_amd64.deb pipewire_0.3.12-
1_amd64.deb pipewire-bin_0.3.12-1_amd64.deb libspa-0.2-modules_0.3.12-
1_amd64.deb
Cheers,
C.S.C.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
Yes, it seems solved in 0.3.15-1.
Thanks!
C.S.C.
On Sun, 2020-11-08 at 16:26 +, Simon McVittie wrote:
> Control: tags -1 + moreinfo
>
> On Thu, 05 Nov 2020 at 10:50:15 +, Claudio Sacerdoti Coen wrote:
> > After upgrading from 0.3.12-1 WebRTC support stopped working in
>
I confirm the bug was likely to be the same as 932767: the fix to that
fixed all of my crashes.
I think you can close this bug as well.
Cheers,
C.S.C.
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
recommends:
ii gvfs 1.36.2-1
ii nautilus-extension-gnome-terminal 3.30.0-1
ii yelp 3.30.0-1
gnome-terminal suggests no packages.
-- no debconf information
--
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna
19 matches
Mail list logo
