Re: usertagging file conflicts [Was: Re: /usr-merge: continuous archive analysis]

2023-07-17 Thread Ralf Treinen
Hello, On Mon, Jul 17, 2023 at 10:35:24AM +0200, Andreas Beckmann wrote: > On 17/07/2023 07.16, Helmut Grohne wrote: > > Then I found trei...@debian.org using edos-file-overwrite. That latter > > one seems like what I need here. Should we move it to the qa space and > > drop the edos part? I sugge

Re: Migration of packages blocked if (Build-)Depends are missing on some test architectures

2020-11-23 Thread Ralf Treinen
On Mon, Nov 23, 2020 at 11:35:17AM +0100, Andreas Tille wrote: > Hi Paul, > > On Sun, Nov 22, 2020 at 10:24:25PM +0100, Paul Gevers wrote: > > > What I mean when looking at the armhf log[1] this starts with> > > > autopkgtest [21:45:36]: host ci-worker-armhf-01; command line: > > > /usr/bin/autop

Re: possible MMBF regarding Depends: locales without | locales-all?

2020-05-10 Thread Ralf Treinen
Hello, On Sun, May 10, 2020 at 06:57:31AM +, Ivan Shmakov wrote: > Unless I deeply misunderstand how locales work in Debian, > I believe that any dependency on the ‘locales’ package is ought > to be satisfied with locales-all as well. > > Could the maintainers of the

Bug#951632: ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir

2020-02-19 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coq-menhirlib Version : 20200123-1 Upstream Author : Jacques-Henri Jourdan * URL : http://gallium.inria.fr/~fpottier/menhir/ * License : LGPL3+ Programming Lang: Coq Description

Bug#951359: ITP: ocaml-fpath -- OCaml library for handling file system paths

2020-02-15 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-fpath Version : 0.7.2 Upstream Author : Daniel Bünzli * URL : https://erratique.ch/software/fpath * License : ISC Programming Lang: OCaml Description : OCaml library for

Bug#933241: ITP: caml-mode -- emacs mode for editing OCaml programs

2019-07-27 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: caml-mode Version : recent (*) Upstream Author : Damien Doligez, Jacques Garrigue, Xavier Leroy, Didier Remy, Ian T Zimmerman * URL : https://github.com/ocaml/caml-mode * License : GPL2

error messages of failing maintainer scripts

2019-05-28 Thread Ralf Treinen
In this particular case the above stanza should probably be replaced by mkdir -p /var/lib/sgml-base which does the right thing silently when it is possible, and fails with a message otherwise. Any thoughts? -Ralf. -- Ralf Treinen Institut de Recherche en Informatique Fondamentale Équipe Preuves, Pr

Bug#929313: ITP: ocaml-cairo2 -- OCaml libraries interfacing to Cairo

2019-05-21 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocaml-cairo2 Version : 0.6.1 Upstream Author : Christophe Troestler * URL : https://github.com/Chris00/ocaml-cairo * License : LGPL3 Programming Lang: OCaml Description : OCaml

Bug#920362: ITP: morsmall -- OCaml libraries for abstract syntax of shell scripts

2019-01-24 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morsmall Version : 0.1 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morsmall * License : GPL3 Programming Lang: OCaml

Bug#916645: ITP: lablgtk3 -- OCaml bindings for gtk+ version 3

2018-12-16 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: lablgtk3 Version : 3.0 Upstream Author : Jacques Garrigue * URL : http://lablgtk.forge.ocamlcore.org/ * License : LGPL 2.1 Programming Lang: OCaml Description : OCaml bindings for

Re: Limiting the power of packages

2018-10-04 Thread Ralf Treinen
pts! > AFAIK, Niels Thykier has done a lot of work there, while Ralf > Treinen and colleagues are analysing maintainer scripts - they > even wrote a shell script parser, that is not a shell itself. Indeed, our goal is to do QA on maintainer script and to detect (possibly) buggy ones,

Bug#907985: ITP: morbig -- Parser for POSIX shell scripts

2018-09-04 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: morbig Version : 0.9 Upstream Author : Yann Régis-Gianas, Nicolas Jeannerod, Ralf Treinen * URL : https://github.com/colis-anr/morbig * License : GPL3 Programming Lang: OCaml Description

Re: intended MBF: wrong redirections in maintainer scripts

2018-08-10 Thread Ralf Treinen
On Thu, Aug 09, 2018 at 11:03:22PM +0200, Wouter Verhelst wrote: > On Thu, Aug 09, 2018 at 09:48:22PM +0200, Ralf Treinen wrote: > > You are absolutely right that our assumption about the authors intention > > may be wrong, and that they really intended the redirection the way th

Re: intended MBF: wrong redirections in maintainer scripts

2018-08-09 Thread Ralf Treinen
Hello Wouter, On Tue, Aug 07, 2018 at 12:38:32PM +0200, Wouter Verhelst wrote: > On Sat, Aug 04, 2018 at 01:15:57PM +0800, Ralf Treinen wrote: > > Hi, > > > > as announced in our talk at debconf'18 [1] we intend a MBF about wrong > > redirections in maintainer

intended MBF: wrong redirections in maintainer scripts

2018-08-03 Thread Ralf Treinen
Hi, as announced in our talk at debconf'18 [1] we intend a MBF about wrong redirections in maintainer scripts. In general these are of the form foo 2>&1 1> /dev/null Here it was probably intended to send both stderr and stdout to /dev/null. In reality the effect of this is to send only 1 to /d

Re: Bug filing for autopkgtest regressions? [Was: Re: appears to break multiple autopkgtests]

2018-06-28 Thread Ralf Treinen
Hi Paul, On Thu, Jun 28, 2018 at 07:50:39PM +0200, Paul Gevers wrote: > Proposal: > If one (me) can't determine the likely principle package that needs > fixing after some effort [1], one bug (per upload of the triggering > package) can be filed against the trigging package with the other > packa

Re: alias in maintainer scripts?

2018-03-01 Thread Ralf Treinen
On Fri, Mar 02, 2018 at 04:15:18AM +0300, kact...@gnu.org wrote: > > [2018-03-01 22:54] Ralf Treinen > > should we really allow for the usage of alias in maintainer scripts? > > > > Policy 10.4 says that /bin/sh scripts may assume an interpreter > > that imple

Re: alias in maintainer scripts?

2018-03-01 Thread Ralf Treinen
Hi Chris, On Thu, Mar 01, 2018 at 10:55:10PM +, Chris Lamb wrote: > > should we really allow for the usage of alias in maintainer scripts? > > As an aside, do you have any concrete examples of maintainer scripts > that do this? A quick look on codesearch.debian.net does not find any > for m

alias in maintainer scripts?

2018-03-01 Thread Ralf Treinen
Hi, should we really allow for the usage of alias in maintainer scripts? Policy 10.4 says that /bin/sh scripts may assume an interpreter that implements the POSIX standard, plus some additional features listed in the policy. And the POSIX standards describes alias substitution in shell scripts [

Bug#878803: ITP: ppx-derivers -- interoperability of ppx-deriving and ppx-type-conv

2017-10-16 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ppx-derivers Version : 1.0 Upstream Author : Jérémie Dimino * URL : https://github.com/diml/ppx_derivers * License : BSD3 Programming Lang: OCaml Description : interoperability of

Re: Intended MBF: maintainer scripts not using strict mode

2017-06-27 Thread Ralf Treinen
Hello, On Mon, Jun 26, 2017 at 10:23:56PM +0200, Ralf Treinen wrote: > we currently have in sid 84 maintainer scripts not using strict mode. > That is, they neither start on "#!/bin/[ba]sh -e", nor do a "set -e". Thanks to everybody for your feedback. I guess I will

Re: Intended MBF: maintainer scripts not using strict mode

2017-06-27 Thread Ralf Treinen
On Tue, Jun 27, 2017 at 01:21:01PM +0800, Paul Wise wrote: > On Tue, Jun 27, 2017 at 4:23 AM, Ralf Treinen wrote: > > > we currently have in sid 84 maintainer scripts not using strict mode. > > That is, they neither start on "#!/bin/[ba]sh -e", nor do a "set -e

Re: Intended MBF: maintainer scripts not using strict mode

2017-06-27 Thread Ralf Treinen
On Tue, Jun 27, 2017 at 07:01:56AM +0200, Johannes Schauer wrote: > Hi, > > Quoting Christoph Biedl (2017-06-27 00:37:33) > > Let's be honest: Shell scripts, while easy to write, carry too many risks of > > unsafe programming. So while your proposed fixing is a step in the right > > direction, thi

Re: Intended MBF: maintainer scripts not using strict mode

2017-06-27 Thread Ralf Treinen
On Mon, Jun 26, 2017 at 11:09:26PM +0200, Mattia Rizzolo wrote: > On Mon, Jun 26, 2017 at 10:23:56PM +0200, Ralf Treinen wrote: > > we currently have in sid 84 maintainer scripts not using strict mode. > > That is, they neither start on "#!/bin/[ba]sh -e", nor do a

Intended MBF: maintainer scripts not using strict mode

2017-06-26 Thread Ralf Treinen
Hi, we currently have in sid 84 maintainer scripts not using strict mode. That is, they neither start on "#!/bin/[ba]sh -e", nor do a "set -e". The list is attached. This list includes the 12 remaining scripts not starting on #! (bugs are already filed for these). Policy says in Section 10.4: S

Bug#864335: ITP: ppx-deriving-yojson -- OCaml syntax extension for JSON serialization

2017-06-06 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ppx-deriving-yojson Version : 3.0 Upstream Author : whitequark * URL : https://github.com/whitequark/ppx_deriving_yojson * License : MIT Programming Lang: OCaml Description : OCaml

Re: Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors

2017-05-17 Thread Ralf Treinen
On Wed, May 17, 2017 at 11:28:12AM +0800, Paul Wise wrote: > On Wed, May 17, 2017 at 3:51 AM, Ralf Treinen wrote: > > > * Package name: visitors > > Version : 20170404 > > FYI, there was already a visitors source package in Debian (RMed after > jessie)

Bug#862775: ITP: visitors -- OCaml syntax extension for object-oriented visitors

2017-05-16 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: visitors Version : 20170404 Upstream Author : François Pottier * URL : https://gitlab.inria.fr/fpottier/visitors * License : LGPL 2.1 Programming Lang: OCaml Description : OCaml

soft freeze

2017-01-14 Thread Ralf Treinen
Hi, I was under the impression that during the soft freeze (i.e, now) new usptream versions of packages that are already in testing are blocked from migrating. However, I can't find anything to this effect in the announcements by the release team. Can please someone in the know confirm, or correct

Bug#845587: ITP: ocplib-simplex -- simplex library for solving linear inequalities

2016-11-24 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: ocplib-simplex Version : 0.3 Upstream Author : Mohamed Iguernlala * URL : https://github.com/OCamlPro-Iguernlala/ocplib-simplex * License : LGPL 2.1 Programming Lang: OCaml Description

Re: Unsatisfiable build-dependency in testing

2016-11-16 Thread Ralf Treinen
On Wed, Nov 16, 2016 at 07:57:18PM +, Adam D. Barratt wrote: > On Wed, 2016-11-16 at 20:49 +0100, Christoph Biedl wrote: > > Hello, > > > > two days ago, syslog-ng 3.8.1-5 migrated to testing. However, as this > > package build-depends on libssl1.0-dev which is available in unstable > > only a

Re: missing -dbgsym packages on uploads by maintainer(s)

2016-11-12 Thread Ralf Treinen
On Sat, Nov 12, 2016 at 11:51:50AM +0100, Ralf Treinen wrote: > Hi, > > On Sat, Nov 12, 2016 at 05:57:33AM +0100, Johannes Schauer wrote: > > Hi, > > > > Quoting Colin Watson (2016-11-12 03:58:04) > > > On Sat, Nov 12, 2016 at 12:58:13AM +0100, Adam Borows

Re: missing -dbgsym packages on uploads by maintainer(s)

2016-11-12 Thread Ralf Treinen
Hi, On Sat, Nov 12, 2016 at 05:57:33AM +0100, Johannes Schauer wrote: > Hi, > > Quoting Colin Watson (2016-11-12 03:58:04) > > On Sat, Nov 12, 2016 at 12:58:13AM +0100, Adam Borowski wrote: > > > * wanna-build(?)'s resolution of arch-specific build-depends is buggy. > > > For > > > example, my

Re: Intended MBF: maintainer scripts not starting on #!

2016-11-05 Thread Ralf Treinen
Hi all, thanks to everybody for your advise. On Sat, Nov 05, 2016 at 01:02:27AM +, Holger Levsen wrote: > Hi Ralf, > > On Fri, Nov 04, 2016 at 09:22:02PM +0100, Ralf Treinen wrote: > > in the Colis project (which aims at analyzing maintainer scripts) we > > found 39

Re: Intended MBF: maintainer scripts not starting on #!

2016-11-04 Thread Ralf Treinen
On Fri, Nov 04, 2016 at 11:01:31PM +0200, Adrian Bunk wrote: > On Fri, Nov 04, 2016 at 09:22:02PM +0100, Ralf Treinen wrote: > > Hi, > > Hi Ralf, > > > in the Colis project (which aims at analyzing maintainer scripts) we > > found 39 maintainer scripts in stable

Intended MBF: maintainer scripts not starting on #!

2016-11-04 Thread Ralf Treinen
Hi, in the Colis project (which aims at analyzing maintainer scripts) we found 39 maintainer scripts in stable which do not start on #!. The list is attached. Policy 6.1 says about maintainer scripts: if they are scripts (which is recommended), they must start with the usual #! convention. A

Re: Standards-Version field should be deprecated

2016-09-08 Thread Ralf Treinen
On Thu, Sep 08, 2016 at 05:28:18PM +0200, Markus Koschany wrote: > On 08.09.2016 14:30, Ian Jackson wrote: > > Emmanuel Bourg writes ("Re: Network access during build"): > >> That makes sense, but in this case what is the usefulness of the > >> Standards-Version field? And more precisely, why is it

Re: Policy 12.3: should I rename?

2016-07-24 Thread Ralf Treinen
On Sat, Jul 23, 2016 at 06:58:37PM +0200, Tollef Fog Heen wrote: > ]] Geert Stappers > > > FWIW I agree with both '"main package "should have documentation' > > and 'additional documentation in separate doc package'. > > I think we should stop recommending documentation be put in a separate > pa

Re: Re: Making Debian ports less burdensome

2016-02-28 Thread Ralf Treinen
On Sun, Feb 28, 2016 at 02:41:42PM +, peter green wrote: > 5: in the dose case seperating out arch specific packages (which are not > allowed to be uninstallable) from arch all packages (which are allowed to be > uninstallable), it is indicated in the list with an [all] tag but spotting > the

50.000 binary packages

2016-02-07 Thread Ralf Treinen
Hi, seen this morning: $ grep -c '^Package: ' XXX_debian_dists_sid_main_binary-amd64_Packages 50007 -Ralf

Re: MBF: (Incorrect) use of /var/lib/apt/lists/

2016-01-12 Thread Ralf Treinen
Hi, On Mon, Jan 11, 2016 at 05:25:40PM +0100, Julian Andres Klode wrote: > the following packages contain lines matching the > expression: > /var/lib/apt/lists/.*(Packages|Sources) > > Those files may be compressed by any compressor > supported by APT and just hardcoding them is > wrong.

Re: inconsistent versions of M-A: same packages

2014-11-09 Thread Ralf Treinen
On Sun, Nov 09, 2014 at 05:18:10PM +0100, Johannes Schauer wrote: > > Ah okay! Somehow I misunderstood your initial email that you wanted to say: > > Depends: foo:i386, foo:amd64, ..., bar:i386, bar:amd64,... > > But instead you just want... > > Depends: foo:i386, foo:amd64, ... >

Re: inconsistent versions of M-A: same packages

2014-11-09 Thread Ralf Treinen
Hi Josch, On Sat, Nov 08, 2014 at 06:41:24AM +0100, Johannes Schauer wrote: > Hi, > > Quoting Ralf Treinen (2014-11-07 17:35:06) > > It just appeared to me that we probably do not have a syntax to pinpoint a > > package built for a specific architecture. "We" mea

Re: Bad weather in testing ? (was: Re: inconsistent versions of M-A: same packages)

2014-11-09 Thread Ralf Treinen
On Sat, Nov 08, 2014 at 12:39:41PM +, Holger Levsen wrote: > Hi Ralf, > > On Freitag, 7. November 2014, Ralf Treinen wrote: > > The issue of architecture=all packages that > > are not installable on some architecture can IMHO not be solved with > > our current setu

Re: Bad weather in testing ?

2014-11-09 Thread Ralf Treinen
On Fri, Nov 07, 2014 at 06:11:45PM +, Simon McVittie wrote: > On 07/11/14 16:15, Ralf Treinen wrote: > > There is only one package in the "each" category, and this is a false > > positive due to multiarch: lib32nss-mdns, which exists only on amd64 > > (this

Bad weather in testing ? (was: Re: inconsistent versions of M-A: same packages)

2014-11-07 Thread Ralf Treinen
Hi Holger, (repliying separately to the two pointes raised by you) On Fri, Nov 07, 2014 at 02:46:31PM +, Holger Levsen wrote: > On Mittwoch, 5. November 2014, Ralf Treinen wrote: > > yes, you did miss something :-) > > first link on the page: "Non-installable

Re: inconsistent versions of M-A: same packages

2014-11-07 Thread Ralf Treinen
that I can currently think of is native-arch: amd64 foreign-archs: i386 Are there are any other useful combinations ? Maybe in the arm world? -Ralf. -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.univ-paris-diderot.fr/~treine

Re: inconsistent versions of M-A: same packages

2014-11-05 Thread Ralf Treinen
Hi, On Wed, Nov 05, 2014 at 04:22:06PM +0100, Holger Levsen wrote: > (also, btw, I couldn't find the daily DOSE runs linked from > tttps://qa.debian.org/dose - did I miss it or is it missing?) yes, you did miss something :-) first link on the page: "Non-installable packages" then you choose

Re: Bug#758234: Raising priority of Debian packages

2014-09-07 Thread Ralf Treinen
Hello, On Sun, Sep 07, 2014 at 12:51:53PM +0200, Jakub Wilk wrote: > * Paul Wise , 2014-09-07, 17:38: > >>We should probably also monitor package conflicts. We made a big fuss > >>about node vs nodejs (and rightly so); but I bet that we have lots of > >>other package pairs in the archive that can'

Re: Bug#753704: ITP: amap -- Next-generation scanning tool for pentesters

2014-07-05 Thread Ralf Treinen
On Sat, Jul 05, 2014 at 09:01:45PM +0900, Charles Plessy wrote: > > > Il Sabato 5 Luglio 2014 13:03, Charles Plessy ha > > > scritto: > > > > > > The ‘amap-align’ package version 2.2-4 install the file ‘amap’ in > > > ‘/usr/bin’, > > > this is why I am worried about clashes. > > Le Sat, Jul 05

Re: edos.debian.net is back as qa.debian.org/dose

2014-05-23 Thread Ralf Treinen
On Fri, May 23, 2014 at 12:40:30PM +0200, Holger Levsen wrote: > Hi Ralf, > > On Donnerstag, 22. Mai 2014, Cyril Brulebois wrote: > > > the analysis of not-installable packages due to dependency issues that > > > we did since 2006 under the name edos.debian.net is now operating again > > great ne

Re: edos.debian.net is back as qa.debian.org/dose

2014-05-23 Thread Ralf Treinen
On Fri, May 23, 2014 at 08:06:10AM +, Sune Vuorela wrote: > On 2014-05-23, Ralf Treinen wrote: > > yes. I didn't keep this in the new version since I felt that these weather > > icons are more of a gimmick than really useful. The important information > > is in th

Re: edos.debian.net is back as qa.debian.org/dose

2014-05-23 Thread Ralf Treinen
On Fri, May 23, 2014 at 09:35:05AM +0800, Paul Wise wrote: > On Fri, May 23, 2014 at 4:10 AM, Ralf Treinen wrote: > > > If you have other ideas of what could be useful to add > > The Debian Weather seems to be missing from the new site, old one: > > http://edos.deb

Re: edos.debian.net is back as qa.debian.org/dose

2014-05-23 Thread Ralf Treinen
Hi Joachim, On Thu, May 22, 2014 at 11:36:27PM +0200, Joachim Breitner wrote: > It’s hard to say what is missing, but I find the web page not very > practical for daily use – compared to, say, > https://buildd.debian.org/status/. In particular, I’d need a compact > view that shows that status of

edos.debian.net is back as qa.debian.org/dose

2014-05-22 Thread Ralf Treinen
Hello, the analysis of not-installable packages due to dependency issues that we did since 2006 under the name edos.debian.net is now operating again at [1]. What is new: - it now uses the dose-debcheck tool from the dose suite, which is multiarch-aware - it has much improved explanations of no

conflicts and multiarch

2014-04-11 Thread Ralf Treinen
Hello, when working on the next version of dose-distcheck we found a cornercase where we are not sure about multiarch semantics. To explain the problem at hand of an example: without mutiarch, we all know that a self-conflict is ignored: Package: a1 Architecture: amd64 Version: 1 Conflicts: virta

Re: request for removal of texmacs-extra-fonts

2012-08-02 Thread Ralf Treinen
On Thu, Aug 02, 2012 at 03:11:57PM +0900, Atsuhito Kohda wrote: > Since texmacs 1.0.7.13, texmacs includes all fonts > of texmacs-extra-fonts so texmacs-common sets When that happend, texmacs-extra-fonts should probably have been replaced by an empty transitional package that depends on texmacs.

Re: request for removal of texmacs-extra-fonts

2012-08-02 Thread Ralf Treinen
Hi, On Thu, Aug 02, 2012 at 03:11:57PM +0900, Atsuhito Kohda wrote: > Since texmacs 1.0.7.13, texmacs includes all fonts > of texmacs-extra-fonts so texmacs-common sets > Conflicts: texmacs-extra-fonts since Sep. 2011 and > it seems there is no problem by now. > So I think texmacs-extra-fonts is

Bug#681404: ITP: garmin-plugin -- browser plugin for communication with the Garmin Connect service

2012-07-12 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: garmin-plugin Version : 0.3.12-1 Upstream Author : Andreas Diesner * URL : http://www.andreas-diesner.de/garminplugin/ * License : GPL-3 Programming Lang: C++ Description : browser

Re: Bug#679547: ITP: ben -- toolbox for Debian maintainers

2012-06-29 Thread Ralf Treinen
On Fri, Jun 29, 2012 at 07:21:21PM +0200, Mehdi Dogguy wrote: > Package: wnpp > Severity: wishlist > Owner: Mehdi Dogguy > > * Package name: ben > Version : 0.6 > Upstream Author : Mehdi Dogguy and Stéphane Glondu > * URL : http://ben.debian.net/ > * License :

Re: question about "Conflicts:"

2012-04-30 Thread Ralf Treinen
On Mon, Apr 23, 2012 at 04:59:00PM +0200, Tollef Fog Heen wrote: > ]] Harald Dunkel > > > How can I tell a Debian package to conflict with a real > > package "foo", but not with other packages providing "foo"? > > Conflicts: foo (>= 0) > > since versioned provides don't exist. Conflicts: foo (

Bug#655395: ITP: coinst -- computes the co-installability kernel of a deb or RPM distribution

2012-01-10 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: coinst Version : 1.01-1 Upstream Author : Jérôme Vouillon * URL : http://coinst.irill.org * License : GPL-2+ Programming Lang: OCaml Description : computes the co-installability

Re: [kfreebsd] massive report for uninstallable FUSE packages

2011-07-17 Thread Ralf Treinen
On Sat, Jul 16, 2011 at 12:33:43PM -0300, David Bremner wrote: > Depends: fuse [linux-any] | fuse4bsd [kfreebsd-any] > [..] > I'm also not sure whether it is better to use '|' or just ',' here. > Probably it doesn't matter. I haven't looked into the apt code but from a logical point of view both

packages in sid depending on packages in experimental

2011-07-03 Thread Ralf Treinen
Hi, is it an RC bug when a package in unstable depends on packages in eperimental (that is, can only be installed in unstable+experimental but not in unstable alone)? I always thought so, but when looking into policy I only found mention of dependencies crossing the bounderies of archive areas, wh

Bug#627973: ITP: packup -- CUDF solver based on pseudo-Boolean constraints

2011-05-25 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: packup Version : 0.5 Upstream Author : Mikoláš Janota, Joao Marques-Silva, Inês Lynce, and Vasco Manquinho * URL : http://sat.inesc-id.pt/~mikolas/sw/packup/ * License : GPL3+ Programming

Bug#626410: ITP: minisat+ -- solver for pseudo-Boolean constraints

2011-05-11 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: minisat+ Version : 1.0-1 Upstream Author : Niklas Eén and Niklas Sörensson * URL : http://minisat.se/MiniSat+.html * License : MIT/X Programming Lang: C++ Description : solver for

Bug#625636: ITP: mccs -- multi-critera CUDF solver

2011-05-04 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: mccs Version : 1.0 Upstream Author : Claude Michel * URL : http://users.polytech.unice.fr/~cpjm/misc/mccs.html * License : BSD Programming Lang: C Description : multi-critera CUDF

Bug#623601: ITP: aspcud -- a solver for CUDF instances based on answer set programming

2011-04-21 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen * Package name: aspcud Version : 2011.03.17 Upstream Author : Roland Kaminski * URL : http://www.cs.uni-potsdam.de/wv/aspcud/ * License : GPL3+ Programming Lang: C++ Description : a CUDF solver

Re: Bits from the Release Team - Kicking off Wheezy

2011-04-03 Thread Ralf Treinen
ates and stable proposed updates (http://edos.debian.net/edos-debcheck/stable.php, scroll down the page). > 2) No packages with (detectable) conflicts are shipped as part of a >release. This is not daily monitored, but periodically checked with >an initiative by Ralf Treinen describe

Re: new Contents generator on ftp-master

2011-03-12 Thread Ralf Treinen
On Sat, Mar 12, 2011 at 03:30:03PM +0100, Tollef Fog Heen wrote: > ]] Jakub Wilk > | Shouldn't dak reject debs with duplicate filenames in the first place? > > No, packages might very well ship duplicate files (think all mtas > shipping /usr/sbin/sendmail) but they then have to conflict + replac

Re: List of FTBFS in Ubuntu

2010-12-03 Thread Ralf Treinen
On Fri, Dec 03, 2010 at 08:43:23AM +0100, Lucas Nussbaum wrote: > >From time to time, I do archive rebuilds for Ubuntu too, and I thought > that the results would be interesting for DDs as well, since a FTBFS in > Ubuntu might indicate that the package will FTBFS in the future in > Debian, due to

Re: mass bug filing: packages not installable on any architecture

2010-08-05 Thread Ralf Treinen
RC bug. Still, cases like this deserve investigation why we have two versions in the archive for such a long time. -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-

Re: mass bug filing: packages not installable on any architecture

2010-08-05 Thread Ralf Treinen
Hi, On Tue, Aug 03, 2010 at 08:46:42PM -0400, Daniel E. Markle wrote: > On Wed, Aug 04, 2010 at 01:50:55AM +0200, Ralf Treinen wrote: > > I started to file bugs against packages that are not installable on any > > I am working on xtrkcad (on your list) at Debconf now. It al

mass bug filing: packages not installable on any architecture

2010-08-03 Thread Ralf Treinen
yet: http://edos.debian.net/edos-debcheck/results/unstable/latest/every/list.php Any opinions? -Ralf -- Ralf Treinen Laboratoire Preuves, Programmes et Systèmes Université Paris Diderot, Paris, France. http://www.pps.jussieu.fr/~treinen/ -- To UNSUBSCRIBE, email to debian-devel-requ...@lists.debia

Bug#587521: ITP: dose3

2010-06-29 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen Package name:dose3 Version: 0.7 Upstream Author: Pietro Abate URL: http://gforge.info.ucl.ac.be/frs/download.php/160/dose3-0.7.tar.gz Licence: GPL >=3 Programming Language: OCaml Tentative Description: Dose3 is a framework m

Re: desktop-command-not-in-package: link to an arch-dependent package in a arch-independent package

2010-01-10 Thread Ralf Treinen
On Sun, Jan 10, 2010 at 03:15:30PM +0100, Benjamin Drung wrote: > Am Sonntag, den 10.01.2010, 14:30 +0100 schrieb Xavier Roche: > > Hi folks, > > > > How to deal with a desktop-command-not-in-package lintian warning when a > > .desktop file in a "common" package B references a binary in package A

Re: Bits from the NM people

2009-11-29 Thread Ralf Treinen
On Mon, Nov 30, 2009 at 01:22:09AM +0100, Bernd Zeimetz wrote: > Ralf Treinen wrote: > > GPG keysigning coordination is since a long time done by a small > > group of people independendent from FrontDesk. Currently this is > > basically me, with an offer from Patrick S

Re: Bits from the NM people

2009-11-29 Thread Ralf Treinen
On Sun, Nov 29, 2009 at 02:26:55PM +0100, Joerg Jaspert wrote: > GPG keysigning coordination > --- > > FD/DAM would like to to move the GPG keysiging coordination over to > someone else. It's not really part of FrontDesk work; and as we are > rewriting the webpage anyhow w

Re: lintian-like tools in teams / early lintian stories

2009-07-21 Thread Ralf Treinen
On Mon, Jul 20, 2009 at 08:44:41PM +0200, martin f krafft wrote: > Do you know any tools or teams using tools that, like lintian, > automatically check packages (or whatever it is that the team is > working on) and thereby helps to maintain a common baseline? Emdebian is using edos-debcheck to ve

Re: Work-needing packages report for Mar 13, 2009

2009-03-13 Thread Ralf Treinen
On Fri, Mar 13, 2009 at 12:27:47AM -0600, w...@debian.org wrote: > The following packages have been orphaned: >yaclc (#519377), orphaned yesterday > Description: Check the bug closings in a Debian changelog > Installations reported by Popcon: 32 maybe it can be integrated into devs

Re: Help needed with the GPG Key Signing Coordination page

2009-01-05 Thread Ralf Treinen
Hi, On Thu, Jan 08, 2009 at 08:51:42PM +0100, Patrick Schoenfeld wrote: > I'm quiet interested in helping out a bit, but for now undecided. > > > Ralf Treinen and I have been taking care of this page the last years but > > I want to focus on other tasks so we'r

Re: Unusual version numbering systems

2008-08-27 Thread Ralf Treinen
On Wed, Aug 27, 2008 at 12:51:19PM +0100, Dominic Hargreaves wrote: > The version numbers go like > > 4.1 > 4.12 > 4.2rc -> 4.2~rc > 4.2 > 4.21 > (maybe 4.3) > > So, 4.12 and 4.21 are point releases, and break the ordering. > > I would now like to package 4.21, but I'm aware that this leads the

Re: missing package conflicts

2008-04-16 Thread Ralf Treinen
On Wed, Apr 16, 2008 at 11:20:21PM +0100, Ben Hutchings wrote: > On Wed, 2008-04-16 at 15:44 -0400, Daniel Schepler wrote: > > > I'd be interested in seeing how there can be 75 package pairs with shared > > file > > names which coinstall successfully. In the case of a Replaces making that > >

missing package conflicts

2008-04-16 Thread Ralf Treinen
Hi, The following list contains packages that fail to install at the same time since one package tries to overwrite a file owned by the other package: http://edos.debian.net/missing-conflicts/ In these package pairs, (at least) one of the two packages must declare a conflict with the other pack

where to register TeX related software with doc-base?

2008-03-22 Thread Ralf Treinen
Sorry if this has been answered before, but looking at section 2.3.3 of the doc-base manual (version 0.8.10) I cannot find a section TeX. If memory serves me right we used to have a section "tex", at least I used to register the docs of some my TeX-related packages there :-) Has this section been r

Re: Using apt-file db to find possible conflicts

2008-03-21 Thread Ralf Treinen
Hi, On Thu, Mar 20, 2008 at 11:16:39PM -0400, Matthew Rosewarne wrote: > On Thursday 20 March 2008, Sami Liedes wrote: > > I don't know if there's any previous work on this, but since I as a > > sid user often see conflicts in packages, and I've seen those on > > numerous oldstable->stable upgrade

Re: Proposing a new source control header to link to upstream BTSs

2008-03-18 Thread Ralf Treinen
On Tue, Mar 18, 2008 at 04:29:41PM +1100, Brian May wrote: > Ralf Treinen wrote: >> I do not think that automatically forwarding bugs would be a good idea. > Right now it is a pain to forward a bug, say to a sourceforge bug > report, because it involves several steps: [...] >

Re: Proposing a new source control header to link to upstream BTSs

2008-03-17 Thread Ralf Treinen
On Mon, Mar 17, 2008 at 02:38:19AM -0300, Martín Ferrari wrote: > Dear -devel: > > Following the trend to add metadata to the debian/control file that > allows for the creation of new and powerful tools, I thought about the > usefulness of a header that'd allow to automatically relate to > upstrea

Re: loosing dependencies

2008-01-19 Thread Ralf Treinen
On Sun, Jan 20, 2008 at 02:01:51AM +0600, Ivan Shmakov wrote: > Currently, the `fortunes' package depends on either > `fortune-mod' or `fortune-min': > > $ apt-cache show fortunes > Package: fortunes > ... > Source: fortune-mod > Version: 1:1.99.1-3 > Provides: fortune-cookie-db > Depe

Re: Correct spelling/capitalisation of project names

2008-01-08 Thread Ralf Treinen
On Tue, Jan 08, 2008 at 08:07:14AM +0100, Yves-Alexis Perez wrote: > On lun, 2008-01-07 at 20:06 -0600, Raphael Geissert wrote: > > Some weeks ago I noticed that some package descriptions incorrectly > > spell > > some project names, mainly because of capitalisation. > > For example GNOME is being

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 L

Re: Bug#427297: ITP: sturmbahnfahrer -- simulated obstacle course for automobiles

2007-06-03 Thread Ralf Treinen
On Sun, Jun 03, 2007 at 04:00:28PM +0900, Charles Plessy wrote: > Le Sun, Jun 03, 2007 at 02:30:43AM +0200, Miriam Ruiz a écrit : > > Package: wnpp > > * Package name: sturmbahnfahrer > > Dear Miriam, > > I have very bad feelings when I read the name of this game. It is a very > bad taste pla

Bug#425293: ITP: ocamlmakefile -- a general makefile for the Objective Caml programming language

2007-05-20 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: ocamlmakefile Version : 6.24.8 Upstream Author : Markus Mottl <[EMAIL PROTECTED]> * URL : http://www.ocaml.info/home/ocaml_sources.html#toc16 * License : LGPL

Bug#424893: ITP: cmigrep -- search in ocaml compiled interface files

2007-05-17 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: cmigrep Version : 1.3 Upstream Author : Eric Stokes * URL : http://homepage.mac.com/letaris/ * License : GPL Programming Lang: OCaml Description : search in

announcing edos.debian.net

2007-02-22 Thread Ralf Treinen
Hello, I am happy to announce the availability of daily runs of edos-debcheck. The results can be accessed here: http://edos.debian.net/edos-debcheck/ A first version was set up during the QA meeting in Extremadura, but I came only recently around to implement some missing features. Fabio Ma

Paper on (debian and others) distribution managment at ASE'06

2006-09-13 Thread Ralf Treinen
Hi, a paper on automatic tools to assist in distribution managment will be presented at the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006) next week in Tokyo [1]. Managing the Complexity of Large Free and Open Source Package-Based Software Distributions T

Re: Request for key signing in Shanghai

2006-05-28 Thread Ralf Treinen
On Sun, May 28, 2006 at 12:57:10AM +0800, Thomas Goirand wrote: > -BEGIN PGP SIGNED MESSAGE- > Hash: SHA1 > > Stephen Gran wrote: > > This one time, at band camp, Thomas Goirand said: > >> Hello! > >> > >> Is there somebody in Shanghai from Debian able to check my ID > >> and sign my key?

Re: Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
On Sat, Apr 29, 2006 at 12:38:22AM +0200, Adrian von Bidder wrote: > On Thursday 27 April 2006 21:53, Ralf Treinen wrote: > > The constraint solving algorithm is complete, that is it finds a > > solution whenever there exists one, even for multiple disjunctive > > dependen

Re: Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-28 Thread Ralf Treinen
On Thu, Apr 27, 2006 at 05:30:48PM -0400, Stefano Zacchiroli wrote: > On Thu, Apr 27, 2006 at 09:53:20PM +0200, Ralf Treinen wrote: > > Package: wnpp > > Severity: wishlist > > Owner: Ralf Treinen <[EMAIL PROTECTED]> > > > > * Package name: debcheck

Bug#365087: ITP: debcheck -- Checks whether dependencies of debian packages can be satisfied

2006-04-27 Thread Ralf Treinen
Package: wnpp Severity: wishlist Owner: Ralf Treinen <[EMAIL PROTECTED]> * Package name: debcheck Version : as of 2006/3/19 Upstream Author : Jerome Vouillon <[EMAIL PROTECTED]> * URL : http://www.pps.jussieu.fr/~vouillon/ * License : GPL Prog

  1   2   >