Can someone please explain to me, at long last, how the apt-get -t
option really works (or is supposed to)? The manpage says:
-t
--target-release
--default-release
This option controls the default input to the
policy engin
>> Last time we checked (in the context of distributing the coq
>> theorem prover), proofgeneral did not allow redistribution - that
>> is, it could not even go into non-free! However, I did not check
>> with the current version.
Stefan> At least the COPYING file in the main directory shows the
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA1
Hi,
On Friday 30 August 2002 21:19, you wrote:
> On Thu, Aug 29, 2002 at 04:05:45PM +0200, Stefan Schimanski wrote:
> > ProofGeneral:
> > - -
> > package: proofgeneral
> > Description: Proof General is a generic interface for proof
> > as
(Not having a great success rate with these requests, but I'm trying
again since no one's told me I'm doing anything wrong)
I've packaged sawfish-themes, the details of which don't really need
much explanation. It addresses the matter that except for the few
packaged with sawfish itself, there ar
(Not having a great success rate with these requests, but I'm trying
again since no one's told me I'm doing anything wrong)
I've packaged sawfish-themes, the details of which don't really need
much explanation. It addresses the matter that except for the few
packaged with sawfish itself, there a
On Thu, Aug 29, 2002 at 04:43:18PM +0200, Tollef Fog Heen wrote:
> * Jérôme Marant
>
> | On Thu, Aug 29, 2002 at 03:21:11PM +0200, Tollef Fog Heen wrote:
> |
> | > Then I suggest you scratch your itch without forcing everybody else to
> | > have the same itch as you.
> |
> | I want something t
On Fri, 2002-08-30 at 10:43, Alexandre wrote:
> On Fri, Aug 30, 2002 at 09:23:08AM +0100, Mark Howard wrote:
> > I'm trying to run pbuilder create using an up to date sid mirror, and my
> > machine being sid updated just before perl 5.8 made its way into the
> > repository (not been able to upgrade
On Thu, 2002-08-29 at 17:56, Roger Leigh wrote:
> In the work I'm doing on packaging buildd, I would need to have some
> programs setuid buildd (and setuid rbuilder and setuid wanna-build).
> I can easily create the user in postinst if it does not exist, but
> that means I then need to change the o
On Thu, Aug 29, 2002 at 04:43:18PM +0200, Tollef Fog Heen wrote:
> * Jérôme Marant
>
> | On Thu, Aug 29, 2002 at 03:21:11PM +0200, Tollef Fog Heen wrote:
> |
> | > Then I suggest you scratch your itch without forcing everybody else to
> | > have the same itch as you.
> |
> | I want something
On Fri, Aug 30, 2002 at 09:23:08AM +0100, Mark Howard wrote:
> [sorry if this is the wrong place to ask - please redirect me if needed]
>
> Hi,
> I'm having trouble getting started with pbuilder.
>
> I'm trying to run pbuilder create using an up to date sid mirror, and my
> machine being sid up
On Fri, 2002-08-30 at 10:43, Alexandre wrote:
> On Fri, Aug 30, 2002 at 09:23:08AM +0100, Mark Howard wrote:
> > I'm trying to run pbuilder create using an up to date sid mirror, and my
> > machine being sid updated just before perl 5.8 made its way into the
> > repository (not been able to upgrad
[sorry if this is the wrong place to ask - please redirect me if needed]
Hi,
I'm having trouble getting started with pbuilder.
I'm trying to run pbuilder create using an up to date sid mirror, and my
machine being sid updated just before perl 5.8 made its way into the
repository (not been able
On Thu, 2002-08-29 at 17:56, Roger Leigh wrote:
> In the work I'm doing on packaging buildd, I would need to have some
> programs setuid buildd (and setuid rbuilder and setuid wanna-build).
> I can easily create the user in postinst if it does not exist, but
> that means I then need to change the
On Fri, Aug 30, 2002 at 09:23:08AM +0100, Mark Howard wrote:
> [sorry if this is the wrong place to ask - please redirect me if needed]
>
> Hi,
> I'm having trouble getting started with pbuilder.
>
> I'm trying to run pbuilder create using an up to date sid mirror, and my
> machine being sid u
Hello list,
I have two questions about packaging C++ libraries.
1) Currently my packages Build-Depend on libstdc++-dev. Is it legal to just
remove this Build-Depend ? I saw that build-essential depends on g++ which
depends on gcc-2.95 (currently) which depends on libstdc++-dev.
2) The library
[sorry if this is the wrong place to ask - please redirect me if needed]
Hi,
I'm having trouble getting started with pbuilder.
I'm trying to run pbuilder create using an up to date sid mirror, and my
machine being sid updated just before perl 5.8 made its way into the
repository (not been able
16 matches
Mail list logo
