Package: wnpp
Severity: wishlist
* Package name: mathpartir
Version : 1.1.1
Upstream Author : Didier Remy
* URL : http://pauillac.inria.fr/~remy/latex/index.html#tir
* License : GPL
Description : LaTeX macros for typesetting inference rules
This packag
Hi,
is it OK to have a package install an alternative in /etc, like this:
update-alternatives --install \
/etc/emacs/site-start.d/51caml-mode.el \
caml-mode-startup.el \
/usr/share/emacs/site-lisp/tuareg-mode/tuareg-startup.el \
30
The question is whether update-a
On Thu, Jan 06, 2005 at 11:03:08PM +0100, Steffen Moeller wrote:
> Package: wnpp
> Severity: wishlist
>
>
> * Package name: perlprimer
> Version : 1.1.5
> Upstream Author : Owen Marshall <[EMAIL PROTECTED]>
> * URL : http://perlprimer.sourceforge.net
> * License
On Thu, Jan 05, 2006 at 05:38:31PM +0100, Jan C. Nordholz wrote:
> > [[ Marc Haber ]]
> > Experience with adduser shows that no-one besides the maintainers
> > themselves and their closest environment uses experimental packages.
> I wouldn't say that package maintainers are the only ones who use
On Thu, Feb 16, 2006 at 09:37:38PM +0100, Remi Vanicat wrote:
> "Thaddeus H. Black" <[EMAIL PROTECTED]> writes:
>
> > On Fri, Feb 10, 2006 at 01:47:11PM +0100, Remi Vanicat wrote:
> >> Well, i personally like very much to have all (well a lot of) my
> >> documentation accessible, and searchable by
f that team, and for a long time among the most
active and productive members. Every time I had the occassion to
collaborate with him discussions were constructive and fruitful.
-Ralf.
--
Ralf Treinen
Laboratoire Spécification et Vérification
CNRS, École Normale Supérieure de Cachan, INRIA Futurs
On Sun, May 29, 2005 at 01:31:31PM -0500, Peter Samuelson wrote:
>
> [Roberto C. Sanchez]
> > > W: toshutils; The file config.guess contains a timestamp line that is
> > > less than 2002.
> > > The autoconf file shown above contains a timestamp variable that has a
> > > year that is less than
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
Package: wnpp
Severity: normal
Hi,
I would like to give the texmacs package into caring hands. TeXmacs is
a mathematical text editor, combining a wysiwyg interface with the
typesetting quality of TeX. In fact, the program contains a complete
re-implementation of Knuth's TeX typesetting algorithm,
On Mon, Apr 24, 2006 at 11:22:42AM +0200, A Mennucc wrote:
> hi
>
> I use sid and Gnome ; I upgraded my box (after 3 weeks in which I did
> not have time to) ; now I have serious problems with fonts.
Try installing xfs ?
-Ralf.
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of
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
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
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
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?
Package: wnpp
Severity: wishlist
BibTeX2HTML is a collection of tools for producing automatically HTML
documents from bibliographies written in the BibTeX format. It
consists in two command line tools:
- bib2bib is a filter tool that reads one or several bibliography
files, filters the entrie
package: wnpp
Severity: wishlist
Hlins is a tool to insert hypertext links into HTML documents,
using a database with entries of the form "name = url". It is
designed for inserting urls of real persons: it knows about
abbreviations of first and middle names and tolerates dropping
the secon
[EMAIL PROTECTED] wrote
> I was wondering that the work done by Project Gutenberg
> (http://sailor.gutenberg.org) should be made available through debian.
This came already to discussion some months ago when someone proposed to
package the constitution of Finland.
The point is that packaging all
> Package: wnpp
> Severity: wishlist
>
> Kimberlite is a complete framework providing high availability for
> application services on Linux. The key features of the architecture
Which licence? -Ralf.
On Thu, Jul 03, 2003 at 02:02:26PM +0800, ZHAO Wei wrote:
> I intend to package Moscow ML and later HOL theorem prover for Debian.
> This is not a fromal ITP because I'm not eager to prevent others from
> doing the same. :) I won't compete with you too.
I remember vaguely that there used to be a l
On Sat, Jul 05, 2003 at 05:24:21PM +0200, Robert Millan wrote:
> Package: wnpp
> Version: unavailable; reported 2003-07-05
> Severity: wishlist
>
> * Package name: e2tools
> Version : 0.0.13
> Upstream Author : Keith Sheffield <[EMAIL PROTECTED]>
> * URL : http://home.e
I have a (probably very stupid) question:
On Sat, Jul 16, 2005 at 03:09:18AM -0700, Steve Langasek wrote:
> If one of your packages needs to be transitioned, DO NOT upload it before
> the C++ libraries it depends on have successfully made the transition.
Is there an easy way to find out which of
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
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
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:
[...]
>
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
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
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
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
> >
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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-
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
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
On Mon, Nov 10, 2003 at 04:06:02PM +0100, Roland Stigge wrote:
> working on the legal issues for LaTeX2HTML [1], at debian-legal [2], we
> concluded that LaTeX2HTML will have to be removed from main because it
[...]
> With /usr/bin/latex2html substituted, many packages render bad results
> or ev
Salut Xavier,
On Thu, Dec 05, 2002 at 08:01:22PM +0100, Xavier Roche wrote:
> Unfortunately, it did not the trick on mips & mipsel archs:
> /tmp/ccqDRzIw.s: Assembler messages:
> /tmp/ccqDRzIw.s:3315: Error: Branch out of range
I'm having the same problem with my texmacs package. See the mail
b
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
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
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'
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
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
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
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
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
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
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, ...
>
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 (
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 :
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
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
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.
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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 [
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
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
1 - 100 of 118 matches
Mail list logo
