Bug#1036899: logiops: logid does not work for MX Master 3

Hi, On 2023-06-05 10:22:35, Chow Loong Jin wrote: > Could you check if 0.3.1-1 (in unstable) or 0.3.2-1 (in experimental) is > working for you? thanks for following up. Both 0.3.1-2 from unstable and 0.3.2-1 from experimental work. (Unexpected to me, because I reproduced the problem with the

Bug#1036899: logiops: logid does not work for MX Master 3

Package: logiops Version: 0.3.1-1 Severity: important X-Debbugs-Cc: none, Hendrik Tews Dear Maintainer, after upgrading to logiops version 0.3.1-1 the logid daemon does not seem to do anything any more. For my configuration the symptom is that the thumb button is no longer mapped to button 2

Bug#1029273: linux-image-6.1.0-1-amd64: screen on usb-c dock works only once

Package: src:linux Version: 6.1.4-1 Severity: important X-Debbugs-Cc: none, Hendrik Tews Dear Maintainer, -- Package-specific info: ** Version: Linux version 6.1.0-1-amd64 (debian-ker...@lists.debian.org) (gcc-12 (Debian 12.2.0-13) 12.2.0, GNU ld (GNU Binutils for Debian) 2.39.90.20221231) #1

Bug#1010156: logiops: systemd incompatibility - mouse mapping does not work

Package: logiops Version: 0.2.2-2 Severity: normal X-Debbugs-Cc: none, Hendrik Tews Dear Maintainer, thanks a lot for packaging this driver! Unfortunately, the packaged version is incompatible with the version of systemd currently shipped in testing, see https://github.com/PixlOne/logiops

Bug#990782: inkscape: /usr/share/inkscape/fonts does not exist

Mattia Rizzolo writes: > That said, I'll ask upstream what they think about toning down > the lines at DEBUG level, so they don't show up by default. Thanks, Hendrik

Bug#990782: inkscape: /usr/share/inkscape/fonts does not exist

Package: inkscape Version: 1.0.2-4 Severity: normal X-Debbugs-Cc: none, Hendrik Tews Dear Maintainer, each time I start inkscape, it complains ** (org.inkscape.Inkscape:44746): WARNING **: 11:29:57.779: Fonts dir '/usr/share/inkscape/fonts' does not exist and will be ignored

Bug#969036: linux-image-5.7.0-2-amd64: system does not power off

Package: src:linux Version: 5.7.10-1 Severity: important X-Debbugs-Cc: none, Hendrik Tews Dear Maintainer, when booting this Linux version with a testing/bullseye installation, the laptop does not power off on shutdown (systemctl poweroff) anymore. When booting 4.19.0-9-amd64 #1 SMP Debian

Bug#941544: NMU upload

Gard Spreemann writes: > If I don't hear back from anyone within three days, my AM will upload > this NMU in DELAYED/7. Thanks for working on this. As far as I am concerned, please upload directly without delay. Hendrik

Bug#869114: status of the topkg package

Andy Li writes: > What is the status of the topkg package? I worked on it last September, see https://lists.debian.org/debian-ocaml-maint/2017/09/msg00015.html and https://salsa.debian.org/ocaml-team/ocaml-topkg . I have not looked into it since then. Hendrik

Bug#893319: Crash when displaying Unicode 'ALARM CLOCK' (U+23F0) character

Another observation: emacs24-x (24.5+1-11+deb9u1) inside Debian testing does crash on the alarm clock, while the same binary inside Debian stable (9 - stretch) has no problem with the alarm clock. Hendrik

Bug#893319: Crash when displaying Unicode 'ALARM CLOCK' (U+23F0) character

The error message pasted by Gaudenz hints at gtk, but gtk can show the alarm clock (I tried the hello world example from the tutorial) and emacs25-lucid does also crash, albeit with a shorter message: X protocol error: BadLength (poly request too large or internal Xlib length error) on

Bug#893319: Crash when displaying Unicode 'ALARM CLOCK' (U+23F0) character

I wrote: > Gnus is completely unusable for me - emacs dies when I open > the first message. For me the culprit was a spam message containing the ALARM CLOCK sign in the subject. Gnus therefore crashed emacs when it tried to display the summary line for that message. I got around the problem

Bug#893319: Crash when displaying Unicode 'ALARM CLOCK' (U+23F0) character

severity 893319 important thanks Hi, I see the same behavior, both with emacs24 and emacs25. And emacs dies with the same error message in many different circumstances. Gnus is completely unusable for me - emacs dies when I open the first message. Raising to important for this reason. -- System

Bug#884454: systemd: systemd udev rule is not executed when removing - only when adding

Package: systemd Version: 235-3 Severity: important Dear Maintainer, on my system, systemd_wants udev rules get only executed when I add devices, not when I remove them. I have two udev rules ENV{PRODUCT}=="3/46d/101a/111", TAG+="systemd", ENV{SYSTEMD_WANTS}="aaa"

Bug#880449: unison: Uncaught exception Failure("input_value: bad bigarray kind")

Vincent Lefevre writes: > Alternatively, wouldn't it be possible to rename the current unison > package and make it co-installable with the one from stretch? Possible maybe, but it wouldn't help. Both packages would be compiled with the only OCaml compiler available in the

Bug#876533: hol-light FTBFS with OCaml 4.05.0

you think I fulfill the conditions for directly uploading hol-light, I would appreciate, if somebody could execute dcut dm --uid "Hendrik Tews" --allow hol-light Bye, Hendrik

Bug#878968: libglvnd0-nvidia: undefined symbol: _glapi_tls_Current makes system unusable

t-Transfer-Encoding: 7bit From: Hendrik Tews <hend...@askra.de> To: Debian Bug Tracking System <sub...@bugs.debian.org> Subject: nvidia-driver: none Package: nvidia-driver Severity: wishlist Dear Maintainer, *** Reporter, please consider answering these questions, where appropriate ***

Bug#878968: libglvnd0-nvidia: undefined symbol: _glapi_tls_Current makes system unusable

Package: libglvnd0-nvidia Version: 375.82-5 Severity: critical Dear Maintainer, after updating some packages this morning, X11 did not come up any more and the system was completely unusable. Apparently gdm was restarting continuously, making it impossible to enter anything in a terminal window.

Bug#878615: hol-light: installs .pc/ files into a binary package

Thanks for the note! I'll take care of it in the next version. Hendrik

Bug#876533: hol-light FTBFS with OCaml 4.05.0

Upstream does indeed fix this problem. However, it also contains a few files with unclear license and copyright, currently preventing to package it. I am trying to solve these license and copyright issues with upstream. Hendrik

Bug#876537: otags FTBFS with OCaml 4.05.0

Yesterday, I prepared a new otags package that builds fine with 4.05, see https://lists.debian.org/debian-ocaml-maint/2017/09/msg00079.html and https://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/otags.git . The only thing that is missing now is somebody who sponsors an upload. Hendrik

Bug#876533: hol-light FTBFS with OCaml 4.05.0

I have a look at it, hopefully a new upstream version will fix the problem. Hendrik

Bug#869114: ITP: ocaml-libtopkg -- packager for distributing OCaml software

Hi, with great help from the upstream author, the cyclic build dependency has been solved now. However, I still only intend to package the topkg packaging library and not the topkg-care tool, because the latter has a number of build dependencies that are not (yet) available in Debian. I intend

Bug#869114: ITP: ocaml-libtopkg -- packager for distributing OCaml software

Package: wnpp Owner: Hendrik Tews <hend...@askra.de> Severity: wishlist * Package name: ocaml-libtopkg Version : 0.9.0 Upstream Author : Daniel Bünzli * URL or Web page : http://erratique.ch/software/topkg * License : ISC Programming Lang: OCaml Descr

Bug#868606: hol-light FTBFS: Error: This expression has type (MLast.loc * string Ploc.vala) Ploc.vala but an expression was expected of type MLast.loc * 'a

> Some recent change in unstable make hol-light FTBFS: I blame the new camlp5 version for this. I have to see if upstream supports camlp5 version 7 already. Hendrik

Bug#774553: exim4: Do not scan outgoing mail for spam

Hi, could you please include this patch or something similar? I also followed the suggestion in the Debian exim config files and, as a result, produced non-conform messages that were discarded by some other servers. Note that the Debian exim wiki contains the same wrong advice. Thanks, Hendrik

Bug#543548: coq-doc-pdf: bookmarks and links for table of contents

found 543548 coq-doc/8.4pl4-2 forwarded 543548 https://coq.inria.fr/bugs/show_bug.cgi?id=5636 thanks Hi, as others have noticed, the reference manual contains the bookmarks and the links for some while already. However, the FAQ, the Tutorial and the RecTutorial do not. Hendrik

Bug#861889: apt: apt.systemd.daily runs before network comes up

> Note that this only applies on boot. Resume does not work. What do you mean with "Resume does not work"? I usually wake up my laptop from suspend or hibernate in the morning, then apt.systemd.daily runs before the network comes up. Now and then I reboot the system later, but then the time

Bug#861889: apt: apt.systemd.daily runs before network comes up

Julian, thanks a lot for you quick answer. > Check that your network-online target actually ensures that the > network is up. (the service might want to depend on that as I have no idea how to check this. Could you point me to a relevant HowTo? Thanks, Hendrik

Bug#861889: apt: apt.systemd.daily runs before network comes up

Package: apt Version: 1.4.1 Severity: normal Dear Maintainer, I configured APT::Periodic::Enable "1"; APT::Periodic::Update-Package-Lists "1"; APT::Periodic::Download-Upgradeable-Packages "1"; but apt almost never downloads anything automatically. The reason is that systemd runs

Bug#856919: [Pkg-utopia-maintainers] Bug#856919: network-manager: ignores high priority of wired connection

Hi, Michael Biebl writes: > afaiu, the priority is used to decide which connection profile to use if > there are multiple profiles available which could be applied for a given > device. In your case the different profiles do not apply to the same > devices, as they have

Bug#856919: network-manager: ignores high priority of wired connection

Package: network-manager Version: 1.6.2-1 Severity: normal Dear Maintainer, I have a wired and a wireless connections configured. The wired has autoconnect-priority=100 and the wired has autoconnect-priority=50. However, when I set both connections to autoconnect=true, network-manager will

Bug#856644: software-properties-common: add-apt-repository: Exception in thread Thread-1

Package: software-properties-common Version: 0.96.20.2-1 Severity: normal Dear Maintainer, when I run "sudo add-apt-repository ppa:nextcloud-devs/client" (after manually installing dirmngr), I get The Nextcloud desktop client compiled for Ubuntu More info:

Bug#856643: software-properties-common: missing dependency on dirmngr

Package: software-properties-common Version: 0.96.20.2-1 Severity: normal Dear Maintainer, when I run "sudo add-apt-repository ppa:nextcloud-devs/client", I see The Nextcloud desktop client compiled for Ubuntu More info: https://launchpad.net/~nextcloud-devs/+archive/ubuntu/client

Bug#854147: coq: ERROR: coq is broken - called emacs-package-install as a new-style add-on, but has no compat file.

Hi, I would say, this is not really critical. As far as I understand, the emacs compat file is a policy requirement, which is not used currently. The fix is easy, just include a file .emacsen-compat with content 0 in the debian directory, see for instance

Bug#843319: FTBFS: libsexplib-camlp4-dev is no longer available

Hi, AFAIR the libsexplib dependency is only used for testing after building. It can safely be removed when the the tests are disabled (or when those files that depend on libsexplib have been removed from the Makefile). Bye, Hendrik

Bug#831566: Acknowledgement (proofgeneral/testing does not support the full syntax of coq/testing)

Hi, Samuel Hym writes: > Could the debian package be updated? Thanks for the reminder, I'll have a look if time permits, but if anybody else want to upload a new version, please go ahead. Hendrik

Bug#784328: FVWM: fvwm hotkey problem inside vnc

Hi, Thomas Adam <tho...@fvwm.org> writes: > On 28 February 2016 at 23:05, Hendrik Tews <hendrik.t...@fireeye.com> wrote: >> The XKEYBOARD doc clearly say, no Xkb function should be called >> if the server does not provide XKEYBOARD. And indeed, inside >> vn

Bug#784328: FVWM: fvwm hotkey problem inside vnc

Hendrik Tews <hendrik.t...@fireeye.com> writes: > I found the culprit: It's the Debian deprecated.patch, which I > attach below, in case you are interested. I analyzed the problem a bit further. The patch deprecated.patch replaces various occurrences of XKeycodeToKeysym with XkbKey

Bug#784328: FVWM: fvwm hotkey problem inside vnc

Here is the patch. To me it looks like these changes have been introduced in the first 2.6.5 Debian package. Bye, Hendrik This email and any attachments thereto may contain private, confidential, and/or privileged material for the sole use of the intended recipient. Any review, copying, or

Bug#784328: FVWM: fvwm hotkey problem inside vnc

I found the culprit: It's the Debian deprecated.patch, which I attach below, in case you are interested. This means it's a Debian packaging bug. Debian applies this deprecated.patch during build, thereby apparently making fvwm incompatible with the X xerver running inside vnc. In retrospect, I

Bug#784328: FVWM: fvwm hotkey problem inside vnc

Dan Espen writes: > On the Debian list they say: > > So after all, this bug may have been triggered by a change in VNC > rather than in FVWM. > > I don't see how Fvwm can help. > Try the VNC folks. I agree that it looks like the problem is outside fvwm. However, I

Bug#784328: FVWM: fvwm hotkey problem inside vnc

Hi, [reincluding the fvwm list, because I still have the hope that our observations might trigger an idea that leads to a solution] Claude, thanks for restating your FreeBSD observation, I was not aware of that. From that I conclude that the bug is fixed or introduced by either - the Debian or

Bug#784328: fvwm hotkey problem inside vnc

therefore still interested in a solution to the fvwm key bindings problem. If anybody has a idea about how to convince fvwm to install key bindings inside fvwm, please follow up on this email. Best regards, Hendrik Tews This email and any attachments thereto may contain private, confidential, a

Bug#802166: otags: fails to install: post-installation script returned error exit status 3

Mehdi Dogguy writes: > Can you give us a hint on how to work out a real fix for this issue? I am looking at it now. There is quite a bit new syntax in 4.02, yielding quite a few warnings about incomplete pattern in otags. Each of these will crash otags in the same way, for

Bug#802166: otags: fails to install: post-installation script returned error exit status 3

Hi, it's a pattern matching failure in tag_module_type, which means the file stdLabels.mli contains some module type that I didn't know about when I wrote tag_module_type. As a quick solution you can add a catch-all line | _ -> () to tag_module_type. This will hopefully fix the bug, but you

Bug#779597: proofgeneral: Buffer is read-only when there is an error compiling dependant Coq files

Ralf Jung p...@ralfj.de writes: Weird enough, it shows that error even when there is nothing to do: A This might be because the buffer is always initialized, see coq-init-compile-response-buffer. Looking quickly over the code, all usages of this buffer seem to be guarded with

Bug#779597: proofgeneral: Buffer is read-only when there is an error compiling dependant Coq files

Thanks for reporting this. I remember having problems with this when I originally wrote the compilation feature for Coq. IIRC, the problem is that there is no clear interface for inserting text in write protected buffers. Probably the hack that I used for this broke in the newest emacs version. I

Bug#768619: proofgeneral: FTBFS in jessie: build-dependency not installable: emacs23-nox

Hi, thanks, this is certainly one way to solve the bug. I would however have preferred to fix the problem in sbuild, as Felix Gruber pointed out. The build-dependencies of the package are IMHO not wrong, the package should also build with emacs23. Bye, Hendrik -- To UNSUBSCRIBE, email to

Bug#746466: proofgeneral hijacks the emacs icon identity

Incidentally, after removing that entry, the ProofGeneral icon does still appear in the Application menu even though its not used for Yes, I believe I also saw this. I attributed this to some caching and hope that this goes away when we solve the other problem. Hendrik -- To UNSUBSCRIBE,

Bug#766917: debian-maintainers: annual ping for Hendrik Tews

Package: debian-maintainers Severity: normal Hi, this is my ping for 2014. Hendrik pgpuoj5uEmlHy.pgp Description: PGP signature

Bug#746466: proofgeneral hijacks the emacs icon identity

Hi, I was able to reproduce the problem with gnome now. BTW, KDE doesn't have this problem. The problem is not the emacs lisp code that runs on every emacs startup (try commenting the load line in /etc/emacs/site-start.d/50proofgeneral.el!) the problem is the line StartupWMClass=Emacs in

Bug#758968: proofgeneral: called emacs-package-remove as a new-style add-on, but has no compat file.

Hi, thanks for the report and please apologize the delay. I'll add the necessary emacsen-compat file in the next version of this package to fix this bug. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#751049: proofgeneral: FTBFS - pdfetex (file cm-super-t1.enc): cannot open encoding file for reading

Hi, please apologize the delay. I am investigating now. @Michael Tautschnig: Can I simply close this bug if the package now builds fine in cowbuilder? Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#746466: proofgeneral hijacks the emacs icon identity

Hi, thanks for your report and please apologize the delay. I agree with you, the icon should not change when emacs is started as emacs. However, I don't see the icon change in my window manager (fvwm). What desktop are you using? Does this happen immediately after starting emacs or only after

Bug#755526: iceweasel: ntlm authentication not working

Package: iceweasel Version: 30.0-2 Severity: important Dear Maintainer, -- Package-specific info: one of the recent updates broke ntlm authentication for me. About 2 weeks ago, iceweasel always asked for username and password when I visited a site that requires ntlm authentication. The current

Bug#738392: proofgeneral: FTBFS: Latex errors

Hi, Hideki Yamane writes: Also, I'll upload it to 10-delayed queue. If you don't want it, please tell me. thanks a lot for helping me out here! Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#728406: debian-maintainers: Please add Hendrik Tews as DM

Package: debian-maintainers Severity: normal Please add my key to the Debian Maintainers keyring. The jetring changeset is attached. Thanks, Hendrik Tews -- System Information: Debian Release: 7.2 APT prefers stable APT policy: (500, 'stable') Architecture: i386 (x86_64) Kernel: Linux

Bug#718748: oasis: FTBFS on armhf

forwarded 718748 https://forge.ocamlcore.org/tracker/index.php?func=detailaid=1306group_id=54atid=291 tags 718748 confirmed upstream thanks Hi, Hector Oron zu...@debian.org writes: Your package fails to build from source on Debian autobuilder network. Thanks for recording this issue

Bug#716728: E: Invalid_argument(String.create)

forwarded 716728 https://forge.ocamlcore.org/tracker/index.php?func=detailaid=1295group_id=54atid=291 thanks upstream plans to fix this issue in version 0.4. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#138157: Does a workaround exist?

Johannes Schauer j.scha...@email.de writes: Does there exist a workaround for it? For example I have to use the IEEEtran class [1] but can't view the dvi because of this bug: The advi FAQ at http://advi.inria.fr/faq.html says How to visualize Adobe PostScript fonts like ptmr8t using

Bug#596622: libextlib-ocaml-dev: New upstream version

Hi, extlib 1.5.2-1 does not compile with OCaml 4.00 (because of the changes in the hashtbl signature). Upstream has fixed this in version 1.5.3. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#711524: atdgen: fails to build with new ocaml-atd

Colin Watson cjwat...@ubuntu.com writes: Package: atdgen Version: 1.2.2-1 Severity: serious User: ubuntu-de...@lists.ubuntu.com Usertags: origin-ubuntu saucy I tried to rebuild atdgen against the new ocaml-atd, and it failed as follows: The current upstream version of

Bug#711296: ftp.debian.org: override: hol-light:math/extra

Package: ftp.debian.org Severity: normal hol-light depends on camlp5 and camlp5 is ocaml/extra. Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#672480: prooftree: fixing owner

owner 672480 ! thanks Repeating myself: The packaging effort is almost finished: A new up-to-date version is waiting in the OCaml maintainers git repo for review and sponsoring, see http://anonscm.debian.org/gitweb/?p=pkg-ocaml-maint/packages/prooftree.git and

Bug#687977: proofgeneral-doc: Info page refers to missing file

Hi, I looked again at your bug report. With the info tutorial you mean section 2.1 Walkthrough example in Isabelle in the Proof General user's manual packaged in proofgeneral-doc? I just noticed that the upstream sources contain an example file, that is not included in the packages. My plan is

Bug#707331: proofgeneral: incompatible with new Coq 8.4 features

this. Could you please update proofgeneral to that version? Yes, it's on my todo list. Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#679917: Lowering bug severity

severity 679917 grave thanks I'am sorry, but the described workaround does not work. I am therefore raising the severity again. Today with korganizer 4:4.4.11.1+l10n-3+b1 and systemsettings 4:4.8.4-6 and the attached file in my home directory (/home/tews): I first start systemsettings and go

Bug#679917: Lowering bug severity

severity 679917 important thanks I just noticed that the workaround works if I store the calendar file, or place symlinks, in ~/.kde/share/apps/korganizer. I would really appreciate if somebody could explain this weird behavior... I don't think raising the severity in my previous message

Bug#704207: linux-image-3.2.0-4-686-pae: soft lockup after suspend to disk

Package: src:linux Version: 3.2.39-2 Severity: important Dear Maintainer, -- Package-specific info: ** Version: Linux version 3.2.0-4-686-pae (debian-ker...@lists.debian.org) (gcc version 4.6.3 (Debian 4.6.3-15) ) #1 SMP Debian 3.2.39-2 ** Command line: BOOT_IMAGE=/boot/vmlinuz-3.2.0-4-686-pae

Bug#696408: flashplugin-nonfree: epiphany and iceweasel crash

Hi, I would also like to suggest that the install script checks for SSE2 and installs an older version, if SSE2 is not present. For me 11.1.102.63 seems to work. Could somebody explain me, severity 'normal'? The problem makes the package unusable, it even makes iceweasel break, so it should have

Bug#702349: lintian should not complain about hardening for package written in pure Ocaml

Prach Pongpanich prach...@gmail.com writes: lintian should not complain about hardening for package written in pure Ocaml [0],[1],[2] The problem is, that even pure OCaml contains enough features that may permit arbitrary memory corruptions by an attacker. For instance, String.unsafe_blit

Bug#702349: lintian should not complain about hardening for package written in pure Ocaml

OCaml has a built-in notion of unsafe feature (see ocamlobjinfo output) that could serve as a starting point for that. Yes, I tried this on let f b = let a = abcde in let c = Obj.magic b in String.unsafe_blit c 0 a 0 5 For the .cmo, ocamlobjinfo surprisingly

Bug#645079: Bug#: 645079: RFA: coinor-csdp -- A software package for semidefinite programming

Hi, could you provide some more information for potential adopters? With due to non-GPL compatible licensing you refer to the CPL, I suppose. Could you elaborate on why the CPL is an issue? The last upstream release was in April 2010, the upstream bug tracker has 5 tickets in total, the last

Bug#695249: unblock: proofgeneral/4.2~pre120605-2

@@ +proofgeneral (4.2~pre120605-2) unstable; urgency=low + + * add Breaks and Replaces dependencies for proofgeneral-doc (Closes: #694285) + * delete wrong info in README.Debian + + -- Hendrik Tews hend...@askra.de Tue, 04 Dec 2012 14:50:27 +0100 + proofgeneral (4.2~pre120605-1) unstable; urgency=low

Bug#694285: proofgeneral-doc: missing Breaks+Replaces: proofgeneral ( 4)

Hi, thanks for detecting this problem. Package: proofgeneral-doc Breaks: proofgeneral ( 4) Replaces: proofgeneral ( 4) It makes certainly sense to add these dependencies, although, without having read the documentation, I would only add the Breaks, because the new

Bug#693033: Applying options to sub-hierarchies only

Hi, your request is a feature wish and the unison manual says: Feature requests are welcome, but will probably just be added to the ever-growing todo list. They should also be sent to unison-us...@yahoogroups.com. The standard procedure would be that we forward your request to

Bug#679917: korganizer: cannot add ics calendar files

Those two errors come from Phonon and more precisely phonon-backend-vlc. Do you have audio working? Yes, audio is working fine. Maybe it would help if you shared the non-working ics file. Have you tried with any ics file? For me korganizer fails for _every_ ics file. For

Bug#687977: proofgeneral-doc: Info page refers to missing file

the isar/Example.thy (or an equivalent Example.v) file does not exist. I am sorry for the inconvenience, but this is not really under my control. Isabelle is not available as Debian package and the Isabelle maintainers distribute Isabelle with their own version of Proof General.

Bug#680494: Typo in package description

Thanks for the hint. I'll fix this with the next upload. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#679917: korganizer: cannot add ics calendar files

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

Bug#677666: pbuilder: using BUILDUSERNAME does not change USER

Package: pbuilder Version: 0.211 Severity: important Hi, when I use BUILDUSERNAME=pbuilder, pbuilder changes to user pbuilder, but does not change the value of USER. This yields a build failure for packages that check via $USER that they are not configured as root, for example ocaml-cry

Bug#670733: Some remarks

Mehdi Dogguy me...@dogguy.org writes: As such, I'm lowering the severity of these bugs to important. There is still the question, how to solve all these Incorrectly thinks it's building as root bugs. From the arguments in this thread I conclude that the error is in pbuilder's handling of

Bug#676424: emacsen-common: debian-startup puts items before /usr/local directories in load-path, violating policy

order would be right anyway if the coq package uses debian-pkg-add-load-path-item -- which it ought to do anyway. This is wrong. Just read #676424. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact

Bug#670733: Some remarks

Romain Beauxis romain.beau...@gmail.com writes: I agree that the configure test is naive, but it relies on reasonable and documented behaviours and variables. OK. What is your source of documentation for the contents of $USER? Bye, Hendrik -- To UNSUBSCRIBE, email to

Bug#513048: using debian-pkg-add-load-path-item may break your package

knows that debian-pkg-add-load-path-item may not work. I don't understand why he files bug reports without including all relevant information. Bye, Hendrik Tews -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas

Bug#676424: emacsen-common: debian-startup puts items before /usr/local directories in load-path, violating policy

. Would you add a note to all of them, telling the maintainers that their package may break when they switch to debian-pkg-add-load-path-item? It took me several hours to track down this issue, maybe you can one of them save the hassle. Bye, Hendrik Tews -- System Information: Debian Release

Bug#670339: proofgeneral: debian-pkg-add-load-path-item

block 670339 by 676424 thanks Switching to debian-pkg-add-load-path-item breaks Proof General, see #676424. Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root

Mehdi Dogguy me...@dogguy.org writes: On 13/05/12 23:37, Hendrik Tews wrote: ... the incorrect root test comes from file m4/base_checks.m4 deleting the line 'RUNNING_USER=$USER' there and running ./bootstrap then yields checking that calling user is not root... ok

Bug#672480: first version of prooftree in git

Hi, the DOM git repository contains the first version of the prooftree package, see http://git.debian.org/?p=pkg-ocaml-maint/packages/prooftree.git Comments are welcome. I would of course be happy if I could find a sponsor for prooftree. Bye, Hendrik -- To UNSUBSCRIBE, email to

Bug#672666: Bug#6726XX: ocaml-xxx: FTBFS: Incorrectly thinks it's building as root

See #670733 for the source of the problem. Bye, Hendrik -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#672669: ocaml-lame: FTBFS: Incorrectly thinks it's building as root

I cannot reproduce the Incorrectly thinks it's building as root problem. When I try the build fails with checking for suffix of object files... configure: error: in `/tmp/buildd/ocaml-lame-0.3.0': configure: error: cannot compute suffix of object files: cannot compile See

Bug#672480: ITP: prooftree -- proof tree visualization for Proof General

Andreas Tille writes: this seems like a perfect target for Debian Science. Would you consider team maintenance. I definitely need a sponsor for the prooftree package. I would first try with the OCaml task force, because prooftree is written in OCaml and I have a few other packages

Bug#672480: ITP: prooftree -- proof tree visualization for Proof General

and tell us, in what task your package might fit best. If prooftree ever makes it into Debian, it should be together with coq and proof-general, ie. science-mathematics. BTW: - matita, agda, prover9 are proof assistants similar to coq, but not listed in science-mathematics - hol-light,

Bug#672669: ocaml-lame: FTBFS: Incorrectly thinks it's building as root

Hi, Daniel, are you sure it was ocaml-lame that FTBFS? Here it builds fine with user id 56789 inside pbuilder. My previously reported build failure comes from an incorrect pbuilder setup. The problem was that CCACHE_DIR (/var/cache/pbuilder/ccache outside and inside pbuilder) was not writable by

Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root

Hi, I played a bit around to investigate the problem. What I see is: - inside pbuilder, after installing the build dependencies and after patching the sources, dh_clean runs as root [env says $SUDO_USER=tews and $USER=root; id says uid=0(root) gid=0(root)] - Later the configure script of

Bug#670733: ocaml-cry: FTBFS: Incorrectly thinks it's building as root

... the incorrect root test comes from file m4/base_checks.m4 deleting the line 'RUNNING_USER=$USER' there and running ./bootstrap then yields checking that calling user is not root... ok and the package builds fine (done with autoconf 2.69; maybe its better to downgrade to 2.68 to keep the

Bug#671676: emacsen-common: sample install file does not work properly

Hi, if I understand correctly, the -f flag is needed, because during update the install file is run without the remove file. But in this case the install file should better delete all files from the elc directory. Otherwise it will leave dangling symlinks and outdated elc files behind, if the

Bug#672476: emacsen-common: use debian-pkg-add-load-path-item in install file?

Package: emacsen-common Version: 1.4.22 Severity: wishlist Hi, debian-emacs-policy mandates debian-pkg-add-load-path-item in section 9. Many packages change the load-path in their emacsen-install script for compilation. I would suggest to make it explicit in the policy whether

Bug#672478: dh-make: emacsen-install.ex template violates Debian emacs policy

Package: dh-make Version: 0.60 Severity: normal The debian emacs policy states in section 9 that debian-pkg-add-load-path-item must be used to manipulate load-path. Therefore the template should do contain cat EOF path.el (debian-pkg-add-load-path-item .) (setq

  1   2   >