Bug#309727: texmacs: [Axiom interface] Interface is broken due to extra prompts

2005-05-20 Thread Ralf Treinen
Hi, On Thu, May 19, 2005 at 12:53:43AM -0400, Dylan Thurston wrote: Package: texmacs Version: 1:1.0.5-2 Severity: normal Tags: patch The interface to axiom seems to be broken again; calling AXIOMsys produces extra prompts, which confuses texmacs. As a workaround, you can disable the

Bug#346204: Bug#342720: texmacs: errors and warnings during font generation

2006-01-06 Thread Ralf Treinen
On Fri, Jan 06, 2006 at 12:21:56PM +0100, Magnus Ekdahl wrote: Laurent Bonnaud wrote: Package: texmacs Version: 1:1.0.6-1 Severity: minor Hi, when I start texmacs in an account where the ~/.TeXmacs/ directory does not exist and read the full user manual, I see - error messages:

Bug#341203: minor correction to line-number

2006-01-06 Thread Ralf Treinen
On Fri, Jan 06, 2006 at 10:42:10AM +0800, YANG Shouxun wrote: We'd better move point to the beginning of line before calling count-lines. It also can be nice if we define line-number somewhere: Thanks for your patch. Anyway, this does not stop tuareg from raising an error scanning gdome.mli,

Bug#342554: texmacs: generates fonts in ~/.TeXmacs/ instead of /var/cache/

2005-12-08 Thread Ralf Treinen
On Thu, Dec 08, 2005 at 04:15:50PM +0100, Laurent Bonnaud wrote: Package: texmacs Version: 1:1.0.6-1 Severity: normal after running texmacs for the first time and looking at the manual I ended up with the following fonts in ~/.TeXmacs/fonts/pk/: [...] Shouldn't those files be put into

Bug#251478: acknowledged by developer (Bug#251478: fixed in texmacs 1:1.0.6-1)

2005-12-08 Thread Ralf Treinen
On Thu, Dec 08, 2005 at 04:05:18PM +0100, Laurent Bonnaud wrote: texmacs (1:1.0.6-1) unstable; urgency=low . * New upstream release. This release fixes - a wrong font name at startup (closes: Bug#251478). Thank you for the fix ! However, there are still many warning

Bug#328120: texmacs: Keystroke doubling after linebreak

2005-12-14 Thread Ralf Treinen
On Tue, Sep 13, 2005 at 07:49:36PM +0300, Teemu Ikonen wrote: Package: texmacs Version: 1:1.0.5.7-1 Severity: normal I get a rather annoying doubling of some typed characters when typing fast (well, I don't really type that fast) during a line break. It seems that the processing caused by

Bug#343433: bibtex2html: attemps to parse comment fields and fails

2005-12-15 Thread Ralf Treinen
On Thu, Dec 15, 2005 at 09:24:51AM +, Robert Hart wrote: Package: bibtex2html Version: 1.77-1 Severity: important This is certainly not of severity important. Set to wishlist. Some bibtex editors such as Pybliographer put comment lines like this: @comment{This file has been generated

Bug#343940: ITP: gecode -- generic constraint development environment

2005-12-18 Thread Ralf Treinen
On Mon, Dec 19, 2005 at 01:06:19AM +0200, Kari Pahula wrote: Package: wnpp Severity: wishlist Owner: Kari Pahula [EMAIL PROTECTED] * Package name: gecode Version : 1.0.0 Upstream Author : Christian Schulte [EMAIL PROTECTED] and others * URL :

Bug#341203: tuareg-mode: function line-number definition is void

2005-12-22 Thread Ralf Treinen
On Tue, Nov 29, 2005 at 03:31:51PM +0800, YANG Shouxun wrote: Package: tuareg-mode Version: 1.45.0-beta3-1 Severity: normal I found definitions scan in tuareg-mode sometimes failed for some time now. In tuareg.el, lines 3296-8: (if scan-error (message Parse error when

Bug#333903: texmacs: PDF export is fuzzy

2005-10-14 Thread Ralf Treinen
On Fri, Oct 14, 2005 at 01:23:12PM +0200, Gaetan RYCKEBOER wrote: Package: texmacs Version: 1:1.0.5-3 Severity: normal PDF exporting looks horribly, because the postrscript file generated by TeXmacs uses Type 3 bitmapped fonts. As discussed many times for TeX files, which had the same

Bug#334039: close

2005-10-18 Thread Ralf Treinen
This has been fixed by Lamont's NMU (version 1:1.0.5-3.1). -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL PROTECTED]

Bug#403059: libstdc++5-3.3-dev is available in testing

2006-12-15 Thread Ralf Treinen
. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen

Bug#403249: illegal version number in Conflicts

2006-12-15 Thread Ralf Treinen
Package: perl-modules Version: 5.8.8-7 perl-modules has a relationship Conflicts: libattribute-handlers-perl ( 0.78_02-1) but this is not a legal version number (the _ character is not allowed in version numbers -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École

Bug#386646: edos-debcheck: chokes on ~ in package versions

2006-09-09 Thread Ralf Treinen
On Sat, Sep 09, 2006 at 05:34:49AM +0200, Julien Cristau wrote: tags 386646 patch Thanks Julien for the patch, but I am afraid that this is not sufficient. One also has to fix the function for comparting vesion strings. I'm currently looking into this. -Ralf. -- To UNSUBSCRIBE, email to

Bug#397332: hevea: Hevea 1.09 dropped \remakesection command, causing FTBFS problems

2006-11-11 Thread Ralf Treinen
On Mon, Nov 06, 2006 at 05:14:41PM +0100, Frank Küster wrote: Package: hevea Version: 1.09-1 Severity: serious Tags: upstream hevea 1.08 contained the command \remakesection, defined in latexcommon.hva. This is still documented on the hevea website, so it's probably intended to stay.

Bug#397496: can't handle utf8 input encoding

2006-11-11 Thread Ralf Treinen
On Tue, Nov 07, 2006 at 07:33:22PM +, Joachim Breitner wrote: Package: hevea Version: 1.09-1 Severity: normal File: /usr/share/hevea/html/inputenc.hva trying to use hevea on a latex file with \usepackage[utf8]{inputenc} fails. It seems that hevea does not know how to handle utf8.

Bug#398541: Errors reported while parsing UTF-8 encoded sites

2006-11-14 Thread Ralf Treinen
On Tue, Nov 14, 2006 at 10:38:34AM +0100, Michael Tautschnig wrote: Package: checkbot Version: 1.77-1 Severity: minor While scanning our sites, checkbot reports: Parsing of undecoded UTF-8 will give garbage when decoding entities at /usr/bin/checkbot line 1159, CURRENT line 316. (the

Bug#398541: Errors reported while parsing UTF-8 encoded sites

2006-11-14 Thread Ralf Treinen
On Tue, Nov 14, 2006 at 09:33:19PM +0100, Michael Tautschnig wrote: [...] Hi, can you please tell me the address of one of your webpages on which checkbot produces this error? I guess it is http://www.model.in.tum.de, checkbot call is: checkbot --url http://www.model.in.tum.de

Bug#398541: Errors reported while parsing UTF-8 encoded sites

2006-11-14 Thread Ralf Treinen
On Tue, Nov 14, 2006 at 10:38:34AM +0100, Michael Tautschnig wrote: Package: checkbot Version: 1.77-1 Severity: minor While scanning our sites, checkbot reports: Parsing of undecoded UTF-8 will give garbage when decoding entities at /usr/bin/checkbot line 1159, CURRENT line 316. (the

Bug#394133: Please package hevea 1.09

2006-10-20 Thread Ralf Treinen
On Thu, Oct 19, 2006 at 06:15:21PM +0200, Jon Bright wrote: Package: hevea Version: 1.08-5 Tags: patch Hevea 1.09 has now been released. Since imagen in 1.08 appears to have issues with image generation using the current version of tetex-bin (it ends up executing pdfetex, which results

Bug#394585: ITP: hoz -- file splitter that uses the hacha file format

2006-10-22 Thread Ralf Treinen
On Sun, Oct 22, 2006 at 01:52:15AM +0200, Miriam Ruiz wrote: Package: wnpp Severity: wishlist Owner: Miriam Ruiz [EMAIL PROTECTED] * Package name: hoz Version : 1.65 Upstream Author : Gustavo Picon [EMAIL PROTECTED] * URL : http://hoz.sourceforge.net/ *

Bug#396049: ITP: alice -- Alice programming language

2006-10-29 Thread Ralf Treinen
On Sun, Oct 29, 2006 at 04:33:08PM +0200, Kari Pahula wrote: Package: wnpp Severity: wishlist Owner: Kari Pahula [EMAIL PROTECTED] * Package name: alice That's nice, I will be glad to see this in debian. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of

Bug#377203: gtoaster segfaults on startup

2006-10-29 Thread Ralf Treinen
Package: gtoaster Version: 0.2002083100+1.0Beta6-2.2 Followup-For: Bug #377203 The same segfault on startup occurs here, with wodim installed as burner tool. The original bug from Alexander is almost 4 months old. Why is there no documentation in the BTS about action on this bug? -Ralf. --

Bug#388435: advi: Texlive support

2006-10-01 Thread Ralf Treinen
On Thu, Sep 21, 2006 at 03:49:05PM +0200, Stefano Zacchiroli wrote: On Wed, Sep 20, 2006 at 12:45:13PM +0100, Stuart Teasdale wrote: Any chance you can reroll your package to allow Texlive to satisfy its tex dependancy? simply adding |texlive-bin after tetex-bin should hopefully be

Bug#501983: please complete the manpage of minisat2

2008-10-12 Thread Ralf Treinen
Package: minisat2 Version: 070721-5 Severity: minor Please complete the manpage of minisat2, in particular the DESCRIPTION and the various options that are currently undocumented. Also, please document the meaning of the exit codes. For instance, I just got for a satisfiable formula (that was

Bug#496529: libbotan1.7: tries to overwrite file owned by libbotan1.6

2008-08-25 Thread Ralf Treinen
Package: libbotan1.7 Version: 1.7.8-2 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-08-25 Architecture: amd64 Distribution: lenny

Bug#492141: conflict with libxdb-dev

2008-08-25 Thread Ralf Treinen
-dev dpkg-deb: subprocess paste killed by signal (Broken pipe) Processing triggers for man-db ... Errors were encountered while processing: /var/cache/apt/archives/dvb-apps_1.1.1+rev1207-1_amd64.deb E: Sub-process /usr/bin/dpkg returned an error code (1) -- Ralf Treinen Laboratoire Preuves

Bug#497456: zinity: tries to overwrite file owned by libgtkada2-bin

2008-09-01 Thread Ralf Treinen
Package: zenity Version: 2.22.1-1 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-01 Architecture: amd64 Distribution: sid Command:

Bug#497459: bootcd: tries to overwrite file oened by bootcd-ia64

2008-09-01 Thread Ralf Treinen
Package: bootcd Version: 3.11 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-01 Architecture: amd64 Distribution: sid Command:

Bug#501600: libgammu4-dbg: tris to overwrite file owned by libgammu3-dbg

2008-10-08 Thread Ralf Treinen
Package: libgammu4-dbg Version: 1.21.0-1 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-10-06 Architecture: amd64 Distribution: sid

Bug#484716: planet-venus has to conflict with plt-scheme now !

2008-07-28 Thread Ralf Treinen
Hello, I just reopened bug #484716. The reason is that as of 4.0.1-2 the package drscheme has been renamed to plt-scheme, so you now also have to conflict with plt-scheme. See http://edos.debian.net/missing-conflicts/logs/2008-07-28/planet-venus_plt-scheme -Ralf. -- To UNSUBSCRIBE, email to

Bug#492952: gforge-plugins-extra: tries to overwrite files owned by gforge-plugin-scm{cvs, svn}

2008-07-30 Thread Ralf Treinen
Package: gforge-plugins-extra Version: 4.6.99+svn6580-1 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Unpacking gforge-plugins-extra (from

Bug#474129: xtel: is this still useful?

2008-08-02 Thread Ralf Treinen
Hi, I wonder whether xtel is still useful to anyone. It certainly used to be, some years ago, in the days before ADSL become available in France. At that time I used it myself, but I do not know anyone who is still using minitel. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a

Bug#495108: xosd source package control info contains unexpanded variable

2008-08-14 Thread Ralf Treinen
Package: xosd Version: 2.2.14-1.5 Severity: normal Hi, the xosd source package (as seen on the debian mirrors) contains Build-Conflicts: libxosd-dev ( ${Source-Version}) This variable should have been expanded when building the source package. -Ralf. -- System Information: Debian Release:

Bug#495836: lintian: should not complaining about doc-base section Programming/*

2008-08-20 Thread Ralf Treinen
Package: lintian Version: 1.24.3 Severity: normal W: yap: doc-base-unknown-section pillow:4 Programming/Prolog W: yap: doc-base-unknown-section yap:6 Programming/Prolog Lintian should not complain about doc-base subsections of Programming. The list of subsections in the doc-base manual is given

Bug#495994: edos-builddebcheck: please allow --binary-only

2008-08-21 Thread Ralf Treinen
Package: edos-debcheck Version: 1.0-8 Severity: wishlist edos-builddebcheck should allow to refine the analysis to those source packages that - fail due to build-depends (not build-indep-depends) and at the same time - that have at least one binary package with arch=/=all in the Packages This

Bug#496050: edos-builddebcheck: please use restrictions from PAS

2008-08-22 Thread Ralf Treinen
Package: edos-debcheck Version: 1.0-6+b2 Severity: wishlist edos-builddebcheck should have an option to overwrite architecture specifications using PAS: http://cvs.debian.org/srcdep/Packages-arch-specific?cvsroot=dakrev=HEAD -Ralf. -- System Information: Debian Release: lenny/sid APT prefers

Bug#495994: edos-builddebcheck

2008-08-22 Thread Ralf Treinen
In addition to the proposed -B falg it might be a good idea to also implement a separate flag to ignore build-INDEP-relations. This functionality would be needed anyway in order to implement the -B flag -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris

Bug#496052: factor out a separate package for edos-debcheck wrappers

2008-08-22 Thread Ralf Treinen
Package: edos-debcheck Version: 1.0-6+b2 Severity: wishlist It might be a good idea to factor out a separate source-package with the various edos-debcheck wrappers that are coming up (edos-builddebcheck, file overwrites, strong non-installabilty, etc.). -Ralf. -- System Information: Debian

Bug#496115: build-dependencies not satisfiable on amd64/sid+testing

2008-08-22 Thread Ralf Treinen
Package: freetalk Version: 0.69-2 Severity: serious The build-dependencies of freetalk 0.69-2 cannot be satisfied on amd64 even by taking sid and testing binary packages together : freetalk (= 0.69-2): FAILED binary: freetalk The following constraints cannot be satisfied: freetalk (= 0.69-2)

Bug#496120: linux-modules-extra-2.6: build-dependencies not satisfiable an amd64 sid+testing

2008-08-22 Thread Ralf Treinen
Package: linux-modules-extra-2.6 Version: 2.6.25-5 Severity: serious The build-dependencies cannot be satisfied on amd64 even by taking sid and testing binary packages together : linux-modules-extra-2.6 (= 2.6.25-5): FAILED The following constraints cannot be satisfied: linux-modules-extra-2.6

Bug#496123: pyton2.5: build-dependencies unsatisfiable on amd64 sid+testing

2008-08-22 Thread Ralf Treinen
Package: python2.5 Version: 2.5.2-11 Severity: serious Hi Matthias ;-) The build-dependencies of your package cannot be satisfied on amd64 even by taking sid and testing binary packages together : python2.5 (= 2.5.2-6): FAILED binary: python2.5 The following constraints cannot be satisfied:

Bug#496124: swig1.3: build-dependencies not satisfiable on amd64 sid+testing

2008-08-22 Thread Ralf Treinen
Package: swig1.3 Version: 1.3.33-3 Severity: serious The build-dependencies of your package cannot be satisfied on amd64 even by taking sid and testing binary packages together : swig1.3 (= 1.3.33-3): FAILED binary: swig The following constraints cannot be satisfied: swig1.3 (= 1.3.33-3)

Bug#485798: patch: apparently not sufficient

2008-08-22 Thread Ralf Treinen
Hi, I tried Sam's patch (build-dependency ftgl-dev - libftgl-dev) and also removed xlibs-static-dev from the build-dependencies (bugs #484190, #421560). Unfortunately this makes compilation fail on my amd64/sid box: g++ -o Gem.pd_linux -shared ../Manips/*.o ../Particles/*.o ../Base/*.o

Bug#435702: x2x debian package

2008-08-23 Thread Ralf Treinen
adopts it. http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=274451 Best Regards -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject

Bug#444061: bug against the astrolog debian package

2008-08-23 Thread Ralf Treinen
Hello, you filed a bug against the astrolog debian package concnerning the licence of the placalc.* files, and you said hat these files could simply be removed from the package: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=444061 I did not succeed to compile the package without these files:

Bug#496352: edos-debcheck: Fatal error: exception Stack_overflow when trying to resolve a sudoku puzzle

2008-08-24 Thread Ralf Treinen
Hi, On Sun, Aug 24, 2008 at 12:24:38PM -0500, Raphael Geissert wrote: Package: edos-debcheck Version: 1.0-7 Using the attached file: $ edos-debcheck -quiet Packages_board row1 (= 1.0-1): OK cell1.1 (= 1): OK cell1.2 (= 2): OK Thanks for your bug report and for trying this

Bug#499326: ocamlweb: insane/obsolete dependencies

2008-09-17 Thread Ralf Treinen
On Wed, Sep 17, 2008 at 09:57:10PM +0200, Julien Cristau wrote: Package: ocamlweb Version: 1.37-8 Severity: normal ocamlweb pulls in tetex-extra, which depends on texlive-lang-*. Please update the dependencies to a reasonable level (maybe simply removing the tetex-extra alternative would

Bug#60810: Processed: this sounds like a nice problem to be solved with UDD :)

2008-09-19 Thread Ralf Treinen
On Fri, Sep 19, 2008 at 10:03:02AM +, Debian Bug Tracking System wrote: Processing commands for [EMAIL PROTECTED]: reassign 60810 qa.debian.org Bug#60810: check for packages with the same files Bug reassigned from package `general' to `qa.debian.org'. These tests are curently run on a

Bug#499830: libppl6: tries to overwrite file owned by libppl-dev

2008-09-22 Thread Ralf Treinen
Package: libppl6 Version: 0.9-5 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-22 Architecture: amd64 Distribution: sid Command:

Bug#499832: libppl7: tries to overwrite file owned by libppl6

2008-09-22 Thread Ralf Treinen
Package: libppl7 Version: 0.10~pre27-3 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-22 Architecture: amd64 Distribution: sid

Bug#499937: libpwl3: tries to overwrite file owned by libpwl-dev

2008-09-23 Thread Ralf Treinen
Package: libpwl3 Version: 0.9-5 Severity: serious Hi, automatic installation tests of packages that share a file and at the same time do not conflict by their package dependency relationships has detected the following problem: Date: 2008-09-22 Architecture: amd64 Distribution: sid Command:

Bug#498175: edos-debcheck broken if version number don't follow policy

2008-09-08 Thread Ralf Treinen
a warning. I agree that it should do the same for the case you pointed out. In any case, if you encounter such a Package relation please file a bug report against the package that contains that relation. -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot

Bug#460347: lintian: correct capitalization of projet names: OCaml

2008-01-12 Thread Ralf Treinen
Package: lintian Version: 1.23.42 Severity: wishlist Tags: patch Please add to the list of correct spellings/capitalizations of project names O'Caml - OCaml in addition to the other misspellings of OCaml that have been mentionend in the thread on debian-devel (OCAML, ocaml). -Ralf. -- System

Bug#365223: unrep

2008-01-15 Thread Ralf Treinen
I cannot reproduce this bug with version 0.8.6-2, either. I suppose that 0.8.6 has fixed this bug, as already observed by Patrick Schoenfeld. This bug should probably be closed. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe. Trouble? Contact [EMAIL

Bug#457014: ocaml-nox: Bad permissions on ocamldoc-api-ref-config

2007-12-19 Thread Ralf Treinen
Hi, On Tue, Dec 18, 2007 at 11:52:11PM -0500, Daniel Schepler wrote: Package: ocaml-nox Version: 3.10.0-9 Severity: serious I'm seeing several ocaml-related build failures. For example, from my cryptgps build log using an i386 pbuilder chroot: ... ocamlopt -inline 1 -unsafe -c

Bug#457014: ocaml-nox: Bad permissions on ocamldoc-api-ref-config

2007-12-19 Thread Ralf Treinen
Hi, On Wed, Dec 19, 2007 at 09:11:35AM +0100, Stefano Zacchiroli wrote: On Wed, Dec 19, 2007 at 08:59:50AM +0100, Stefano Zacchiroli wrote: I just tried on my home box (amd64/sid), and cannot reproduce the error you describe on recompiling cryptgps. mmmh, this is strange, I really don't

Bug#454538: Please add libxext-dev to build-depends

2007-12-06 Thread Ralf Treinen
On Wed, Dec 05, 2007 at 11:57:16PM +, Marco Rodrigues wrote: Package: xdemineur Severity: wishlist Please add libxext-dev to build-depends.. Hi, thanks for sending a notification of the ubuntu patch to the debian BTS, but in this case I do not agree with the patch. Xdemineur already

Bug#454538: About xdemineur depends...

2007-12-06 Thread Ralf Treinen
Hi, On Thu, Dec 06, 2007 at 11:59:20PM +, Marco Rodrigues wrote: Hi! [EMAIL PROTECTED]:~$ apt-cache show libx11-dev Package: libx11-dev ... Depends: libx11-6 (= 2:1.1.1-1ubuntu4), libxau-dev (= 1:1.0.0-1), libxdmcp-dev (= 1:1.0.0-1), x11proto-core-dev (= 6.8.99.8-1),

Bug#454538: About xdemineur depends...

2007-12-08 Thread Ralf Treinen
On Fri, Dec 07, 2007 at 08:27:36AM +, Marco Rodrigues wrote: Hi! I'll investigate this. http://ftp.debian.org/debian/pool/main/libx/libx11/libx11_1.0.3-7.diff.gz The Debian has it in Package: libx11-dev at Depends, if you check the .diff.gz

Bug#309727: texmacs: [Axiom interface] Interface is broken due to extra prompts

2005-05-22 Thread Ralf Treinen
Dylan, On Fri, May 20, 2005 at 06:14:11PM -0400, Dylan Thurston wrote: On Fri, May 20, 2005 at 11:03:25PM +0200, Ralf Treinen wrote: can you please send me a concrete input sequence which triggers the buggy begaviour of an axiom session via the texmacs inteface, such that I can reproduce

Bug#309727: texmacs: [Axiom interface] Interface is broken due to extra prompts

2005-05-23 Thread Ralf Treinen
On Sun, May 22, 2005 at 10:32:42PM -0400, Dylan Thurston wrote: This is the correct behaviour, but it is not what I get. Are you sure you're not getting a non-Debian version of texmacs or axiom? Yes. What happens when you run 'axiom -noclef' and enter '1+1'? This is what I got: (1) -

Bug#309727: texmacs: [Axiom interface] Interface is broken due to extra prompts

2005-05-23 Thread Ralf Treinen
On Mon, May 23, 2005 at 09:17:20AM -0400, Dylan Thurston wrote: On Mon, May 23, 2005 at 09:03:26AM +0200, Ralf Treinen wrote: So it seems it is a problem with axiom. If you are sure that the behaviour of axiom is not due to your local configuration I will reassign the bug to the axiom

Bug#309727: texmacs: [Axiom interface] Interface is broken due to extra prompts

2005-05-24 Thread Ralf Treinen
On Mon, May 23, 2005 at 08:34:38PM -0400, Dylan Thurston wrote: On Mon, May 23, 2005 at 11:41:06PM +0200, Ralf Treinen wrote: This obviously is a bug of axiom. I will reassign it to the axiom package. Can you add the workaround I suggested in the meantime? No, at least not for the moment

Bug#311274: tuareg-mode: doesn't install in xemacs21

2005-05-30 Thread Ralf Treinen
Hi, On Mon, May 30, 2005 at 01:09:27PM +0200, Meik Hellmund wrote: Package: tuareg-mode Version: 1.45.0-beta1-1 Severity: normal I cannot reproduce the error, on my machine tuareg-mode installs fine with xemacs21. Comparing the log of your installation to what I get on my machine there is one

Bug#311274: tuareg-mode: doesn't install in xemacs21

2005-06-01 Thread Ralf Treinen
On Tue, May 31, 2005 at 10:38:08AM +0200, Meik Hellmund wrote: Ralf Treinen [EMAIL PROTECTED] writes: I cannot reproduce the error, on my machine tuareg-mode installs fine with xemacs21. Comparing the log of your installation to what I get on my machine there is one line which looks

Bug#295093: script checks: lefty is now a legitimae interpreter

2005-02-13 Thread Ralf Treinen
Package: lintian Version: 1.23.8 Severity: wishlist lefty should now be included in the list of legitimate interpreters that can be used in scripts. lefty is a contained in the graphviz package which recently moved from non-free to free. -Ralf. -- System Information: Debian Release: 3.1 APT

Bug#296089: please register html doc with doc-base

2005-02-20 Thread Ralf Treinen
Package: r-doc-html Version: 2.0.1-2 Severity: wishlist Please register the html documentation contained in this package with doc-base. See, for instance, http://www.nl.debian.org/doc/maint-guide/ch-dother.en.html#s-doc-base -Ralf. -- System Information: Debian Release: 3.1 APT prefers

Bug#296089: please register html doc with doc-base

2005-02-20 Thread Ralf Treinen
Hi Dirk, On Sun, Feb 20, 2005 at 08:04:55AM -0600, Dirk Eddelbuettel wrote: On 20 February 2005 at 08:55, Ralf Treinen wrote: | Package: r-doc-html | Version: 2.0.1-2 | Severity: wishlist | | Please register the html documentation contained in this package | with doc-base. See

Bug#296089: please register html doc with doc-base

2005-02-20 Thread Ralf Treinen
On Sun, Feb 20, 2005 at 10:04:20AM -0600, Dirk Eddelbuettel wrote: On 20 February 2005 at 16:34, Ralf Treinen wrote: | Hi Dirk, | | On Sun, Feb 20, 2005 at 08:04:55AM -0600, Dirk Eddelbuettel wrote: | | On 20 February 2005 at 08:55, Ralf Treinen wrote: | | Package: r-doc-html

Bug#295715: texmacs: R plugin: needs rebuild with R = 2.0.0

2005-02-20 Thread Ralf Treinen
Hallo, On Thu, Feb 17, 2005 at 05:32:05PM +0100, Albrecht Gebhardt wrote: Package: texmacs Version: 1:1.0.4-R3-4 Severity: normal Starting a R session TeXmacs complains: Error in library(TeXmacs, lib.loc = /usr/share/texmacs/TeXmacs/plugins/r/r/) 'TeXmacs' is not a valid

Bug#301141: liblablgtk2-ocaml: Fails to install because of wrong dependency on ocaml-base-3.08

2005-03-24 Thread Ralf Treinen
On Thu, Mar 24, 2005 at 08:39:04AM +0100, Sven Luther wrote: On Thu, Mar 24, 2005 at 12:56:42AM +0100, Bas Kloet wrote: Package: liblablgtk2-ocaml Version: 2.4.0+2004.11.19-3 Severity: grave Justification: renders package unusable This package depends on ocaml-base-3.08, but it

Bug#207471: tuareg-mode: Some syntax highlighting and indentation bugs

2005-03-17 Thread Ralf Treinen
On Thu, Mar 17, 2005 at 05:22:12AM +, Rui Tiago Cação Matos wrote: Most of these bugs are still on the code... Most is an exaggeration. The first one is still present (and is minor), as well as the the error with caml-goto-pharse-error in camldebug on mly files, and the non-working

Bug#307919: advi: FTBFS: Missing Build-Depends on groff-base

2005-05-06 Thread Ralf Treinen
On Fri, May 06, 2005 at 03:19:11PM +0200, Andreas Jochens wrote: Package: advi Version: 1.6.0-5 Severity: normal Tags: patch I just rechecked this. When trying to build advi in a clean chroot environment on amd64/sarge and also on i386/sarge, I get the following:

Bug#297034: texmacs: [Maple interface] does not work with Maple 9.5

2005-02-26 Thread Ralf Treinen
On Sat, Feb 26, 2005 at 11:59:58AM -0500, Igor Khavkine wrote: Package: texmacs Version: 1:1.0.4-R3-5 Severity: normal The Maple interface fails because of improper quoting in /usr/lib/texmacs/TeXmacs/bin/tm_maple. Correct quoting is given by tm_maple #!/bin/sh exec

Bug#297035: texmacs: [Octave interface] old plots linger

2005-02-26 Thread Ralf Treinen
On Sat, Feb 26, 2005 at 12:07:10PM -0500, Igor Khavkine wrote: Package: texmacs Version: 1:1.0.4-R3-5 Severity: normal Open an Octave session. Produce a plot plot(sin(0:.1:pi)) Go back to to the *same line*, and change it to produce a different plot plot(cos(0:.1:pi)) The two

Bug#296693: help with bug 296693

2005-03-04 Thread Ralf Treinen
On Fri, Mar 04, 2005 at 03:16:20PM -0800, Thomas Bushnell BSG wrote: Bug 296693 is a grave bug which reports a catastrophic guile crash in gnucash. However, it doesn't happen for me. The user told me that it did happen even for other machines of his. Yet, nobody else has reported it.

Bug#418965: confluence

2007-09-08 Thread Ralf Treinen
The confluence package has been adopted by the Debian Ocaml Maintainers team in order to coordinate with future releases of ocaml. Besides this we have no particular interest in this package, adoption or other help by anyone being interested in this package is most welcome. Also note that this

Bug#440892: libgetopt-ocaml-dev: Dependency problem, makes package uninstallable with OCaml = 3.10

2007-09-05 Thread Ralf Treinen
On Wed, Sep 05, 2007 at 08:49:29AM +0200, S?stien Hinderer wrote: Package: libgetopt-ocaml-dev Version: 0.0.20040811-7 Severity: important The package depends on ocaml-nox-3.09.2. This constraints the use of this specific version of OCaml. Depending on ocaml-nox (eventually with some

Bug#72034: default postscript viewer in xhtml2ps

2007-10-20 Thread Ralf Treinen
I will set now (upload pending) the default postscript viewer in xhtml2ps to evince. A default of ghostview helps (virtually) noone, and according to popcon evince is by far the most frequently installed postscript-viewer (more than 50%, gv has only around 10%). This leaves the problem open how

Bug#72034: default postscript viewer in xhtml2ps

2007-10-20 Thread Ralf Treinen
On Sat, Oct 20, 2007 at 10:24:44PM +0200, Matej Vela wrote: Ralf Treinen [EMAIL PROTECTED] writes: I will set now (upload pending) the default postscript viewer in xhtml2ps to evince. A default of ghostview helps (virtually) noone, and according to popcon evince is by far the most

Bug#410686: marked as done (numerix_0.22a-1(experimental/alpha/ds10): FTBFS)

2007-10-03 Thread Ralf Treinen
On Wed, Oct 03, 2007 at 12:13:01PM +0100, Samuel Mimram wrote: Hi, numerix has been autobuild without problems in versions 0.22-3 and 0.22-4. I am hence closing this bug. I'm not really sure for this one. The FTBFS is for the version 0.22a (please notice the small a) which is only

Bug#417332: compiling with gcc-4.3

2007-11-04 Thread Ralf Treinen
Hi, the patch submitted by tbm is not sufficient to compile the package with gcc-snapshot (I just tried with version 20071020-1) : g++ -DHAVE_CONFIG_H -I. -I. -I.. -I../libicq2000 -I/usr/lib/sigc++-1.0/include -I/usr/include/sigc++-1.0 -O2 -Wall -c socket.cpp -fPIC -DPIC -o .libs/socket.lo

Bug#450688: ITP: yap -- YAP Prolog compiler

2007-11-09 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen [EMAIL PROTECTED] * Package name: yap Version : 5.1.1 Upstream Author : Luis Damas and Vitor Santos Costa, plus contributors * URL : http://www.ncc.up.pt/~vsc/Yap/ * License : Artistic Programming Lang: C

Bug#402065: hevea: Missing consequence of -francais: 3 promised, 2 given

2007-01-03 Thread Ralf Treinen
On Thu, Dec 07, 2006 at 08:57:57PM +, Reuben Thomas wrote: Package: hevea Version: 1.09-1 Severity: minor The documentation for -francais says it has three consequences but only two are given. Thanks, this fixed now in svn (will upload as soon as the freez is over). The francais option

Bug#402064: Minor man page problems in hevea(1)

2007-01-03 Thread Ralf Treinen
On Thu, Dec 07, 2006 at 08:10:43PM +, Reuben Thomas wrote: Package: hevea Version: 1.09-1 Severity: minor Two things: -noiso is not formatted correctly (starts in the middle of the previous option's documentation), and in any case is now deprecated. The previous option is

Bug#404474: hevea fails on cyrillic

2007-01-03 Thread Ralf Treinen
On Mon, Dec 25, 2006 at 12:34:02PM +0100, Shamil Radzhabov wrote: Package: hevea Version: 1.09-1 Severity: normal Hevea fails on cyrillic text, here is output : while hevea 1.07 does not have such problems. It is true that hevea 1.07 does not complain on your input file. On the other

Bug#404474: hevea fails on cyrillic

2007-01-03 Thread Ralf Treinen
On Mon, Dec 25, 2006 at 12:34:02PM +0100, Shamil Radzhabov wrote: Package: hevea Version: 1.09-1 Severity: normal Hevea fails on cyrillic text, here is output : Luckily, the experimental upstream version of hevea contains the koi8-r inputencoding. I have backported this to hevea-1.09, and

Bug#404474: hevea fails on cyrillic

2007-01-04 Thread Ralf Treinen
On Mon, Dec 25, 2006 at 12:34:02PM +0100, Shamil Radzhabov wrote: Package: hevea Version: 1.09-1 Severity: normal Hevea fails on cyrillic text, here is output : Hello, could you please send me short note once you have tried the new version of hevea in experimental, and if your find that it

Bug#402017: gcc-40-locales not installable in etch

2007-01-05 Thread Ralf Treinen
gcc-4.0-locales is not installable on any of the etch architectures (even including m68k). It depends on cpp-4.0 which is only availabke in unstable/hurd-i386. Please remove gcc-4.0-locales from etch. -Ralf. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of unsubscribe.

Bug#402017: gcc-40-locales not installable in etch

2007-01-05 Thread Ralf Treinen
On Fri, Jan 05, 2007 at 12:33:49PM +0100, Matthias Klose wrote: severity 402017 wishlist tags 402017 + wontfix thanks Ralf Treinen writes: gcc-4.0-locales is not installable on any of the etch architectures (even including m68k). It depends on cpp-4.0 which is only availabke

Bug#405994: hevea fails on \urldef on multiple lines

2007-01-08 Thread Ralf Treinen
On Sun, Jan 07, 2007 at 08:50:01PM +0100, Samuel Mimram wrote: Package: hevea Version: 1.09-3 Severity: normal Hi, Hevea fails on the following example, which is perfectly accepted by LaTeX: \documentclass{article} \usepackage{url} \urldef{\debian}{\url}

Bug#403337: CGI-modules : illegal package name

2006-12-16 Thread Ralf Treinen
that Conflict. Thanks -Ralf. -- Ralf Treinen Laboratoire Spécification et Vérification CNRS, École Normale Supérieure de Cachan, INRIA Futurs http://www.lsv.ens-cachan.fr/~treinen

Bug#404339: tgif: relation to package with illegal name

2006-12-23 Thread Ralf Treinen
Package: tgif Version: 1:4.1.45-1 tgif declares Conflicts: tgifR5, tgifR6 These two package names are not allowed by policy (they contain upper case letters). Furthermore they seem to be obsolete now (madison does not know about them). Hence, I sugest drop this relation now. -Ralf. -- To

Bug#398541: Errors reported while parsing UTF-8 encoded sites

2007-02-28 Thread Ralf Treinen
On Tue, Nov 14, 2006 at 10:38:34AM +0100, Michael Tautschnig wrote: Package: checkbot Version: 1.77-1 Severity: minor While scanning our sites, checkbot reports: Parsing of undecoded UTF-8 will give garbage when decoding entities at /usr/bin/checkbot line 1159, CURRENT line 316. (the

Bug#415867: coq_8.1+dfsg-1(experimental/ia64/alkman): FTBFS: Expects files that get lost while building

2007-03-22 Thread Ralf Treinen
These files are not lost, they are never built on architectures that do not support compilation of ocaml to native code. This seems to be a bug in the upstream Makefile: OBJECTCMXA=$(OBJECTCMA:.cma=.cmxa) install-library: [...] cp $(OBJECTCMA) $(OBJECTCMXA) $(FULLCOQLIB) This

Bug#414167: Should suggest or recommend ocaml-mode

2007-03-17 Thread Ralf Treinen
On Fri, Mar 09, 2007 at 11:47:23AM -0500, Mike Furr wrote: Package: tuareg-mode Version: 1:1.45.4-1 Severity: normal The tuareg feature show type at point requires the caml-types.el which is in the ocaml-mode package and so doesn't work if the latter is not installed. So, tuareg-mode

Bug#398541: Errors reported while parsing UTF-8 encoded sites

2007-02-21 Thread Ralf Treinen
On Tue, Nov 14, 2006 at 09:33:19PM +0100, Michael Tautschnig wrote: [...] Hi, can you please tell me the address of one of your webpages on which checkbot produces this error? I guess it is http://www.model.in.tum.de, checkbot call is: checkbot --url http://www.model.in.tum.de

Bug#409027: coqdoc.sty in wrong place

2007-01-30 Thread Ralf Treinen
On Tue, Jan 30, 2007 at 10:02:18AM +0100, Lionel Elie Mamane wrote: Package: coq Version: 8.0pl3-2 Severity: normal $ dpkg -L coq|grep sty /usr/share/emacs/site-lisp/coqdoc.sty I don't have time now to look into the coq build process, but: The appropriate place for this file seems

Bug#428602: icedove-dev: versionend package relation with illegal version number

2007-06-12 Thread Ralf Treinen
Package: icedove-dev Version: 2.0.0.0-4 Severity: important Hello, icedove-dev declares the following relation: Replaces: icedove ( 2.0~Â) This is not a legal version number as the last symbol is not alphanumeric, in violation of Policy 5.6.12. This might make crash tools that expect the

  1   2   3   4   5   6   7   8   9   10   >