Bug#398897: ocaml-tools: omlet does not respect the efm variable

2006-11-16 Thread Claudio Sacerdoti Coen
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 description is a bit long; please enter a shorter subject. (An empty
response will retain the existing subject.)

-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing'), (500, 'stable')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.6.15-1-k7-smp
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)

Versions of packages ocaml-tools depends on:
ii  debconf [debconf-2.0] 1.5.8  Debian configuration management sy
ii  ocaml-base-nox [ocaml-base-no 3.09.2-6   Runtime system for ocaml bytecode 

ocaml-tools recommends no packages.

-- debconf information excluded


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]



Bug#498917: uswsusp: hibernate de-formats swap partition

2011-08-11 Thread Claudio Sacerdoti Coen
Hi,

the bug does no longer affects me.

Cheers,
C.S.C.

On Wed, 2011-08-03 at 00:20 +0200, Rodolfo Garcia wrote:
> Hi,
> 
> this bug is too old and I cannot reproduce it. Please, somebody 
> continues with 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.unibo.it
http://www.cs.unibo.it/~sacerdot





-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#858793: gnome-settings-daemon: setting backlight not working on OLED displays: use randr --brightness instead

2017-03-26 Thread Claudio Sacerdoti Coen
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 compute the next percentage from the
kind of request (up/down) and the brightness level (read from
/sys/devices/...)

* What led up to the situation?
The current version of GNOME, however, simply does nothing when the user
requires to increase/decrease brightness. The icons showing the
increase/decrease are presented to the user, but nothing happens.
GNOME writes into /sys/devices/..., but that operations has no effect on
the hardware (of course!)

* What exactly did you do (or not do) that was effective (or ineffective)?

Call xrandr by hand. I could use ACPI to do that automatically when the
Fn button is pressed, but it does not play nicely with GNOME. Moreover
the GNOME slider for the setting still does nothing.

* What outcome did you expect instead?
GNOME should detect that the screen is an OLED one and use xrandr to set
the brightness.

-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 4.8.0-0.bpo.2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages gnome-settings-daemon depends on:
ii  dconf-gsettings-backend [gsettings-backend]  0.26.0-2+b1
ii  gsettings-desktop-schemas3.22.0-1
ii  libasound2   1.1.3-5
ii  libc62.24-9
ii  libcairo21.14.8-1
ii  libcanberra-gtk3-0   0.30-3
ii  libcanberra0 0.30-3
ii  libcolord2   1.3.3-2
ii  libcups2 2.2.1-8
ii  libfontconfig1   2.11.0-6.7+b1
ii  libgdk-pixbuf2.0-0   2.36.5-2
ii  libgeoclue-2-0   2.4.5-1
ii  libgeocode-glib0 3.20.1-2
ii  libglib2.0-0 2.50.3-1
ii  libgnome-desktop-3-123.22.2-1
ii  libgtk-3-0   3.22.9-4
ii  libgudev-1.0-0   230-3
ii  libgweather-3-6  3.20.4-1
ii  liblcms2-2   2.8-4
ii  libnm0   1.6.2-2
ii  libnotify4   0.7.7-1+b1
ii  libnspr4 2:4.12-6
ii  libnss3  2:3.26.2-1
ii  libpam-systemd   232-19
ii  libpango-1.0-0   1.40.4-1
ii  libpangocairo-1.0-0  1.40.4-1
ii  libpolkit-gobject-1-00.105-17
ii  libpulse-mainloop-glib0  10.0-1
ii  libpulse010.0-1
ii  librsvg2-2   2.40.16-1+b1
ii  libupower-glib3  0.99.4-4+b1
ii  libwacom20.22-1+b1
ii  libwayland-client0   1.12.0-1
ii  libx11-6 2:1.6.4-3
ii  libxext6 2:1.3.3-1+b2
ii  libxi6   2:1.7.9-1
ii  libxtst6 2:1.2.3-1
ii  nautilus-data3.22.3-1

Versions of packages gnome-settings-daemon recommends:
ii  iio-sensor-proxy  2.0-4
ii  pulseaudio10.0-1

gnome-settings-daemon suggests no packages.

-- no debconf information



Bug#859064: mypaint: It does not start on Wayland (fixed upstream)

2017-03-29 Thread Claudio Sacerdoti Coen
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$ mypaint
INFO: mypaint: Installation layout: conventional POSIX-like structure
with prefix u'/usr'
INFO: lib.i18n: POSIX: LANG='en_US.UTF-8'
INFO: lib.i18n: POSIX: LANGUAGE='en_US:en'
Gdk-Message: Unable to load bogosity from the cursor theme
Traceback (most recent call last):
  File "/usr/bin/mypaint", line 462, in 
main.main(datapath, iconspath, old_confpath, version=version)
  File "/usr/share/mypaint/gui/main.py", line 95, in main
from gui import application
  File "/usr/share/mypaint/gui/application.py", line 53, in 
import gui.device
  File "/usr/share/mypaint/gui/device.py", line 25, in 
import gui.mode
  File "/usr/share/mypaint/gui/mode.py", line 809, in 
class SingleClickMode (InteractionMode):
  File "/usr/share/mypaint/gui/mode.py", line 813, in SingleClickMode
cursor = gdk.Cursor(gdk.BOGOSITY)
  File "/usr/lib/python2.7/dist-packages/gi/overrides/Gdk.py", line 329,
in __new__
return cls.new(*args, **kwds)
TypeError: constructor returned NULL

   * What exactly did you do (or not do) that was effective (or
 ineffective)?

Just launch it

   * What was the outcome of this action?

It does not start (see backtrace above)

   * What outcome did you expect instead?

It should start.

Note: the bug was reported and fixed upstream some time ago.
I tried compiling mypaint 1.3.0-alpha (from upstream git repository) and
it works perfectly.

*** End of the template - remove these template lines ***


-- System Information:
Debian Release: 9.0
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: amd64 (x86_64)

Kernel: Linux 4.9.0-2-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)

Versions of packages mypaint depends on:
ii  gir1.2-gtk-3.0   3.22.9-4
ii  libatk1.0-0  2.22.0-1
ii  libc62.24-9
ii  libcairo-gobject21.14.8-1
ii  libcairo21.14.8-1
ii  libgcc1  1:6.3.0-10
ii  libgdk-pixbuf2.0-0   2.36.5-2
ii  libglib2.0-0 2.50.3-1
ii  libgomp1 6.3.0-10
ii  libgtk-3-0   3.22.9-4
ii  libjson-c3   0.12.1-1.1
ii  liblcms2-2   2.8-4
ii  libpango-1.0-0   1.40.4-1
ii  libpangocairo-1.0-0  1.40.4-1
ii  libpng16-16  1.6.28-1
ii  libpython2.7 2.7.13-2
ii  libstdc++6   6.3.0-10
ii  mypaint-data 1.2.0-4
ii  python-gi-cairo  3.22.0-2
ii  python-numpy 1:1.12.0-2
pn  python2.7:any
pn  python:any   

Versions of packages mypaint recommends:
ii  shared-mime-info  1.8-1

Versions of packages mypaint suggests:
ii  mypaint-data-extras  1.2.0-4

-- no debconf information



Bug#802264: src:matita: FTBFS with OCaml 4.02.3

2016-01-25 Thread Claudio Sacerdoti Coen
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 sufficient to
> compile with ocamlc -pp camlp5o the two following files:
> 
> bug.mli:
> val find: ?test:string -> unit
> 
> bug.ml:
> let find ?(test = "hello") = assert false
> 
> Therefore the bug needs to be re-assigned to camlp5.
> 
> I will now contact Daniel for another round of bug-fixing.
> 
> Cheers,
> C.S.C.
> 
> On Wed, 2016-01-20 at 21:23 +0100, Mehdi Dogguy wrote:
> > Hi Enrico,
> > 
> > On 20/01/2016 11:15, Enrico Tassi wrote:
> > > On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
> > > > Package: src:matita
> > > > Version: 0.99.1-3
> > > > Severity: serious
> > > > 
> > > > Dear Maintainer,
> > > 
> > > This bugs is due to camlp5 and fixed in
> > > caca3dd0643ec5aae9df4399fa73eb280808ef18
> > > 
> > > see https://gforge.inria.fr/projects/camlp5/
> > > 
> > 
> > Even using that fix, I get the following failure (while building
> > matita):
> > 
> >   OCAMLC hExtlib.ml
> > File "hExtlib.ml", line 463, characters 10-23:
> > Warning 3: deprecated: String.create
> > Use Bytes.create instead.
> > File "hExtlib.ml", line 1:
> > Error: The implementation hExtlib.ml
> >    does not match the interface hExtlib.cmi:
> >    Values do not match:
> >  val find : ?test:(string -> bool) -> string -> string list
> >    is not included in
> >  val find : ?test: -> string -> string list
> >    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




Bug#802264: src:matita: FTBFS with OCaml 4.02.3

2016-01-22 Thread Claudio Sacerdoti Coen
Hi,

this is another bug in camlp5. To trigger it it is sufficient to
compile with ocamlc -pp camlp5o the two following files:

bug.mli:
val find: ?test:string -> unit

bug.ml:
let find ?(test = "hello") = assert false

Therefore the bug needs to be re-assigned to camlp5.

I will now contact Daniel for another round of bug-fixing.

Cheers,
C.S.C.

On Wed, 2016-01-20 at 21:23 +0100, Mehdi Dogguy wrote:
> Hi Enrico,
> 
> On 20/01/2016 11:15, Enrico Tassi wrote:
> > On Sun, Oct 18, 2015 at 11:03:35PM +0200, Mehdi Dogguy wrote:
> > > Package: src:matita
> > > Version: 0.99.1-3
> > > Severity: serious
> > > 
> > > Dear Maintainer,
> > 
> > This bugs is due to camlp5 and fixed in
> > caca3dd0643ec5aae9df4399fa73eb280808ef18
> > 
> > see https://gforge.inria.fr/projects/camlp5/
> > 
> 
> Even using that fix, I get the following failure (while building
> matita):
> 
>   OCAMLC hExtlib.ml
> File "hExtlib.ml", line 463, characters 10-23:
> Warning 3: deprecated: String.create
> Use Bytes.create instead.
> File "hExtlib.ml", line 1:
> Error: The implementation hExtlib.ml
>    does not match the interface hExtlib.cmi:
>    Values do not match:
>  val find : ?test:(string -> bool) -> string -> string list
>    is not included in
>  val find : ?test: -> string -> string list
>    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




Bug#498917: Possible solution confirmed

2008-12-27 Thread Claudio Sacerdoti Coen
I just confirm that the possible solution proposed by Mattias also works
for me.

Cheers,
C.S.C.

-- 

Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacer...@cs.unibo.it
http://www.cs.unibo.it/~sacerdot





-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#524017: gcc: /usr/lib/ocaml/3.11.0/zip/zip.a: No such file or directory

2009-04-14 Thread 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')
Architecture: i386 (i686)

Kernel: Linux 2.6.26-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages libzip-ocaml-dev depends on:
ii  libzip-ocaml   1.04-3OCaml compression libraries (runti
ii  ocaml-nox [ocaml-nox-3 3.11.0-5  ML implementation with a class-bas
ii  zlib1g-dev 1:1.2.3.3.dfsg-13 compression library - development

libzip-ocaml-dev recommends no packages.

libzip-ocaml-dev suggests no packages.

-- no debconf information



-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#548225: Not a version problem

2009-09-25 Thread Claudio Sacerdoti Coen
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:

Program received signal SIGSEGB, Segmentation fault.
editor_method_event (html=0x8452348, event=GTK_HTML_EDITOR_EVENT_DELETE,
args=0x0, user_data=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://www.cs.unibo.it/~sacerdot






-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#548225: [Evolution] Bug#548225: Not a version problem

2009-09-28 Thread Claudio Sacerdoti Coen
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:
> > 
> > Program received signal SIGSEGB, Segmentation fault.
> > editor_method_event (html=0x8452348, event=GTK_HTML_EDITOR_EVENT_DELETE,
> > args=0x0, user_data=0x845c60) at gtkhtml-editor.c:387
> > 387 gtkhtml-editor.c: No such file or directory.
> > in gtkhtml-editor.c
> > 
> Then it's the crash problem fixed in -3. Could you check that and close
> the bug if it's the case?


bug fixed, indeed. You can close the bug.

Thanks,
C.S.C.

-- 
------------
Real name: Claudio Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: sacer...@cs.unibo.it
http://www.cs.unibo.it/~sacerdot





-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#498917: uswsusp: hibernate de-formats swap partition

2008-09-14 Thread Claudio Sacerdoti Coen
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 de-formatted. At the next reboot the swap partition is no longer
recognized and the system does not wake up. Moreover, it is now necessary
to mkswap the partition in order to swap-on it again.

-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 2.6.26-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages uswsusp depends on:
ii  debconf [debconf-2.0] 1.5.23 Debian configuration management sy
ii  libc6 2.7-13 GNU C Library: Shared libraries
ii  libdirectfb-1.0-0 1.0.1-11   direct frame buffer graphics - sha
ii  libgcc1   1:4.3.2-1  GCC support library
ii  libgcrypt11   1.4.1-1LGPL Crypto library - runtime libr
ii  libglib2.0-0  2.16.5-1   The GLib library of C routines
ii  libgpg-error0 1.4-2  library for common error values an
ii  liblzo2-2 2.03-1 data compression library
ii  libpci3   1:3.0.0-4  Linux PCI Utilities (shared librar
ii  libsplashy1   0.3.10-2   Library to draw splash screen on b
ii  libx86-1  1.1+ds1-2  x86 real-mode library

Versions of packages uswsusp recommends:
ii  initramfs-tools   0.92j  tools for generating an initramfs
ii  mount 2.13.1.1-1 Tools for mounting and manipulatin

Versions of packages uswsusp suggests:
pn  splashy(no description available)

-- debconf information:
* uswsusp/compute_checksum: false
  uswsusp/no_snapshot:
* uswsusp/suspend_loglevel: 10
  uswsusp/no_swap:
  uswsusp/resume_offset:
* uswsusp/early_writeout: true
* uswsusp/image_size:
* uswsusp/compress: true
  uswsusp/create_RSA_key: false
* uswsusp/snapshot_device:
  uswsusp/RSA_key_file:
* uswsusp/loglevel:
* uswsusp/max_loglevel:
* uswsusp/resume_device: /dev/sda5
  uswsusp/shutdown_method: platform
* uswsusp/encrypt: false
* uswsusp/splash: false
  uswsusp/RSA_key_bits: 1024
* uswsusp/checksum: false
* uswsusp/continue_without_swap: true



-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]



Bug#352210: websvn: Temporary files not compliant to FSH

2006-02-10 Thread Claudio Sacerdoti Coen
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.18GBytes of temporary data were generated in /usr/...,
 until the disk was full!

-- System Information:
Debian Release: testing/unstable
  APT prefers testing
  APT policy: (500, 'testing')
Architecture: i386 (i686)
Shell:  /bin/sh linked to /bin/bash
Kernel: Linux 2.4.23-mowgli
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8)

Versions of packages websvn depends on:
ii  apache [httpd]  1.3.34-1 versatile, high-performance HTTP s
ii  apache2-mpm-prefork [httpd] 2.0.55-3 traditional model for Apache2
ii  debconf [debconf-2.0]   1.4.66   Debian configuration management sy
ii  libapache2-mod-php4 4:4.4.0-4server-side, HTML-embedded scripti
ii  php44:4.4.0-4server-side, HTML-embedded scripti
ii  po-debconf  0.9.2manage translated Debconf template
ii  subversion  1.2.3dfsg1-3 advanced version control system (a
ii  ucf 2.004Update Configuration File: preserv

Versions of packages websvn recommends:
ii  enscript  1.6.4-7Converts ASCII text to Postscript,

-- debconf information:
* websvn/configuration: true
* websvn/parentpath: /local/svn
* websvn/repositories: /local/svn/helm
* websvn/permissions:
* websvn/webservers: apache, apache-ssl, apache-perl, apache2


-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]



Bug#522350: Pidgin Crashes Immediately on open

2009-04-03 Thread Claudio Sacerdoti Coen
> 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
Doctor in Computer Science, University of Bologna
E-mail: sacer...@cs.unibo.it
http://www.cs.unibo.it/~sacerdot





-- 
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org



Bug#473579: libhttp-ocaml-dev: Not_found raised in Http_user_agent.head when the host does not exists.

2008-03-31 Thread Claudio Sacerdoti Coen
Package: libhttp-ocaml-dev
Version: 0.1.4-2+b1
Severity: normal


libhttp-ocaml-dev: Not_found raised in Http_user_agent.head when the host does 
not exists.


-- System Information:
Debian Release: lenny/sid
  APT prefers unstable
  APT policy: (500, 'unstable')
Architecture: i386 (i686)

Kernel: Linux 2.6.24-1-686 (SMP w/2 CPU cores)
Locale: LANG=en_GB.UTF-8, LC_CTYPE=en_GB.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

Versions of packages libhttp-ocaml-dev depends on:
ii  libocamlnet-ocaml-dev 2.2.9-2OCaml application-level Internet l
ii  libpcre-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 Sacerdoti Coen
Doctor in Computer Science, University of Bologna
E-mail: [EMAIL PROTECTED]
http://www.cs.unibo.it/~sacerdot




-- 
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]



Bug#932892: Confirmed

2019-07-24 Thread Claudio Sacerdoti Coen
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


Bug#973808: WebRTC support broken

2020-11-05 Thread Claudio Sacerdoti Coen
Package: libpipewire-0.3-0
Version: 0.3.14-1

After upgrading from 0.3.12-1 WebRTC support stopped working in
firefox, Teams, etc. Downgrading resolves the issue.

The list of upgraded/downgraded packages involves:

gstreamer1.0-pipewire_0.3.12-1_amd64.deb libpipewire-0.3-0_0.3.12-
1_amd64.deb 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


Bug#973808: pipwire: WebRTC support broken

2020-11-09 Thread Claudio Sacerdoti Coen
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
> > firefox, Teams, etc. Downgrading resolves the issue.
> 
> Does 0.3.15-1 resolve this?
> 
> smcv
-- 
Prof. Claudio Sacerdoti Coen
Department of Computer Science and Engineering
University of Bologna


Bug#932892: libwayland-server0: wayland crashes when I (un)plug a monitor

2019-08-25 Thread Claudio Sacerdoti Coen
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


Bug#908434: gnome-terminal: Text cursor disappears when focus lost in Wayland

2018-09-09 Thread Claudio Sacerdoti Coen
Package: gnome-terminal
Version: 3.30.0-1
Severity: grave
Justification: renders package unusable

Dear Maintainer,

when gnome-terminal is started in a Wayland session, when the terminal
looses focus the blinking cursor disappears and it remains invisible
forever. The only way to make it re-appear is to switch to another tab
and back.

The bug applies to lxterminal as well. Starting lxterminal with
GDK_BACKEND=x11 or starting gnome in X11 makes the bug disappear.

Notes:
1. I noticed the bug last Friday when gnome-terminal was 3.28.2-1. I
waited for the 3.30.xx version, but the bug is still here
2. The bug was not there before upgrading gnome-shell, mutter and
related libs to 3.29/3.30. Therefore I suspect that the bug is due to
one of them.

-- System Information:
Debian Release: buster/sid
  APT prefers unstable
  APT policy: (500, 'unstable'), (500, 'stable')
Architecture: amd64 (x86_64)

Kernel: Linux 4.18.0-1-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8),
LANGUAGE=en_US:en (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)
LSM: AppArmor: enabled

Versions of packages gnome-terminal depends on:
ii  dbus-user-session [default-dbus-session-bus]  1.12.10-1
ii  dbus-x11 [dbus-session-bus]   1.12.10-1
ii  dconf-gsettings-backend [gsettings-backend]   0.30.0-1
ii  gnome-terminal-data   3.30.0-1
ii  gsettings-desktop-schemas 3.28.0-1
ii  libatk1.0-0   2.30.0-1
ii  libc6 2.27-6
ii  libdconf1 0.30.0-1
ii  libglib2.0-0  2.58.0-3
ii  libgtk-3-03.24.0-1
ii  libpango-1.0-01.42.4-3
ii  libuuid1  2.32.1-0.1
ii  libvte-2.91-0 0.54.0-1
ii  libx11-6  2:1.6.6-1
Versions of packages gnome-terminal 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