Andreas Tille writes:
this seems like a perfect target for Debian Science. Would you consider
team maintenance.
I definitely need a sponsor for the prooftree package. I would
first try with the OCaml task force, because prooftree is written
in OCaml and I have a few other packages th
Hi,
On Mon, May 14, 2012 at 09:26:35AM +0200, Hendrik Tews wrote:
> Andreas Tille writes:
>
>this seems like a perfect target for Debian Science. Would you consider
>team maintenance.
>
> I definitely need a sponsor for the prooftree package. I would
> first try with the OCaml tas
Processing commands for cont...@bugs.debian.org:
> # Monday 14 May 08:03:55 UTC 2012
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> #
> # Source package in NEW: http://packages.qa.debian.org/etl";>etl
> tags 665041 + pending
Bug #665041
and tell us, in what task your package might fit best.
If prooftree ever makes it into Debian, it should be together
with coq and proof-general, ie. science-mathematics.
BTW:
- matita, agda, prover9 are proof assistants similar to coq, but
not listed in science-mathematics
- hol-light, c
also sprach Etienne Millon [2012.05.12.1921 +0200]:
> > I am writing an RFS at the moment.
>
> Done !
>
> http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672654
That is not the procedure. Please send the RFS to the debian-mentors
mailing list and forcemerge this new bug report into the old one
* martin f krafft [120514 11:11]:
> > http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=672654
>
> That is not the procedure. Please send the RFS to the debian-mentors
> mailing list and forcemerge this new bug report into the old one.
AIUI, it is now possible[1] to use the sponsorship-requests
p
Le lundi 14 mai 2012 07:57:11, Yann Leboulanger a écrit :
> Package: wnpp
> Severity: wishlist
> Owner: Yann Leboulanger
>
> * Package name: python-nbxmpp
> Version : 0.1
> Upstream Author : Yann Leboulanger
> * URL : http://nbxmpp.gajim.org
> * License : GPLv
also sprach Etienne Millon [2012.05.14.1120 +0200]:
> AIUI, it is now possible[1] to use the sponsorship-requests
> pseudo-package[2] to address requests for sponsorship (the uploader
> closes the RFS bug). The bug has automatically been forwarded to
> d-m@l.d.o[3]. It is the first time I use this
Le lundi 14 mai 2012 11:45:01, Thomas Preud'homme a écrit :
> Le lundi 14 mai 2012 07:57:11, Yann Leboulanger a écrit :
> > Package: wnpp
> > Severity: wishlist
> > Owner: Yann Leboulanger
> >
> > * Package name: python-nbxmpp
> >
> > Version : 0.1
> > Upstream Author : Yann Lebo
On Mon, May 14, 2012 at 10:52:28AM +0200, Hendrik Tews wrote:
>
>and tell us, in what task your package might fit best.
>
> If prooftree ever makes it into Debian, it should be together
> with coq and proof-general, ie. science-mathematics.
OK, thanks. I'll care for this.
> BTW:
> - ma
Package: wnpp
Severity: wishlist
Owner: Giuseppe Bilotta
* Package name: intel-opencl-sdk
Version : 2.0.31360
Upstream Author : Intel Corporation
* URL : http://software.intel.com/en-us/articles/vcsource-tools/
* License : Intel Copyright 1999-2012
Programmin
On 14/05/2012 11:53, Thomas Preud'homme wrote:
Le lundi 14 mai 2012 11:45:01, Thomas Preud'homme a écrit :
Le lundi 14 mai 2012 07:57:11, Yann Leboulanger a écrit :
Package: wnpp
Severity: wishlist
Owner: Yann Leboulanger
* Package name: python-nbxmpp
Version : 0.1
Upstream
Giuseppe Bilotta writes:
> Package: wnpp
> Severity: wishlist
> Owner: Giuseppe Bilotta
>
> * Package name: intel-opencl-sdk
> Version : 2.0.31360
> Upstream Author : Intel Corporation
> * URL : http://software.intel.com/en-us/articles/vcsource-tools/
> * License
On Mon, May 14, 2012 at 12:59 PM, David Bremner wrote:
> Giuseppe Bilotta writes:
>
>> Package: wnpp
>> Severity: wishlist
>> Owner: Giuseppe Bilotta
>>
>> * Package name : intel-opencl-sdk
>> Version : 2.0.31360
>> Upstream Author : Intel Corporation
>> * URL : http:/
Giuseppe Bilotta writes:
>
> I'm sorry, you're right. I just copied the information over from the
> .rpm package Intel provides. I should have been more specific. Would
> something like:
>
> * License: other-INTEL_OPENCLSDK
>
The main points are that it is non-free, and that you have verified th
I merged the upstream release 2.2 into mentors.
The freeze for Wheezy gets closer, so I ask if anybody
has further comments or issues.
If not, can any developer do the merge by himself or should
I ask for a sponsorship on mentors?
David
--
http://mentors.debian.net/package/sanlock
--
T
On Mon, May 14, 2012 at 11:31:44AM +, David Weber wrote:
> I merged the upstream release 2.2 into mentors.
> The freeze for Wheezy gets closer, so I ask if anybody
> has further comments or issues.
> If not, can any developer do the merge by himself or should
> I ask for a sponsorship on mentor
> On Mon, May 14, 2012 at 11:31:44AM +, David Weber wrote:
> > I merged the upstream release 2.2 into mentors.
> > The freeze for Wheezy gets closer, so I ask if anybody
> > has further comments or issues.
> > If not, can any developer do the merge by himself or should
> > I ask for a sponsorsh
Giuseppe Bilotta writes:
> That would mean that a package for them would have to work like the
> flashplugin-installer, rather, I assume?
Probably. I'm not sure it's worth the trouble at that point, but it's up
to you, and whomever you find to sponsor the package.
d
--
To UNSUBSCRIBE, emai
On Mon, May 14, 2012 at 1:26 PM, David Bremner wrote:
> Giuseppe Bilotta writes:
>
>>
>> I'm sorry, you're right. I just copied the information over from the
>> .rpm package Intel provides. I should have been more specific. Would
>> something like:
>>
>> * License: other-INTEL_OPENCLSDK
>
> The m
retitle 615895 O: grap -- program for typesetting graphs
thanks
First of all: Sorry for the long delay.
[2012-02-29 14:54] Tobias Quathamer
>
> there's now a new upstream version of grap available (1.44). You might
> want to prepare that package for Debian and close this ITA bug at the
> same
Processing commands for cont...@bugs.debian.org:
> retitle 615895 O: grap -- program for typesetting graphs
Bug #615895 [wnpp] ITA: grap -- program for typesetting graphs
Changed Bug title to 'O: grap -- program for typesetting graphs' from 'ITA:
grap -- program for typesetting graphs'
> thanks
S
On Mon, May 14, 2012 at 12:03:32PM +0200, Andreas Tille wrote:
> On Mon, May 14, 2012 at 10:52:28AM +0200, Hendrik Tews wrote:
> >
> >and tell us, in what task your package might fit best.
> >
> > If prooftree ever makes it into Debian, it should be together
> > with coq and proof-general,
Your message dated Mon, 14 May 2012 18:48:06 +
with message-id <20120514184806.ga9...@master.debian.org>
and subject line RFA: tetzle -- Jigsaw puzzle game
has caused the Debian Bug report #671754,
regarding RFA: tetzle -- Jigsaw puzzle game
to be marked as done.
This means that you claim that
Hi,
thanks for your work on the package. Some more comments below:
On Mon, May 14, 2012 at 12:14:12PM +, David Weber wrote:
> > On Mon, May 14, 2012 at 11:31:44AM +, David Weber wrote:
> > > I merged the upstream release 2.2 into mentors.
> > > The freeze for Wheezy gets closer, so I ask i
Processing commands for cont...@bugs.debian.org:
> # Monday 14 May 20:03:46 UTC 2012
> # Tagging as pending bugs that are closed by packages in NEW
> # http://ftp-master.debian.org/new.html
> #
> # Source package in NEW: href="http://packages.qa.debian.org/nginx";>nginx
> tags 673580 + pending
F
On Sat, May 12, 2012 at 10:38:23AM +0200, intrigeri wrote:
> The trailing ":" is wrong in:
>
> Files: src/vformat.h src/vformat.c:
Oops, thanks.
> I also get:
>
> W: barry source: debhelper-but-no-misc-depends barrybackup-gui-dbg
> W: barry source: debhelper-but-no-misc-depends libbarry18
On Tue, 2012-05-08 at 09:45 -0400, Robert James Clay wrote:
> http://mentors.debian.net/debian/pool/main/l/ledgersmb/ledgersmb_1.3.16-1.dsc
>
> If you do not find any issues with the current version of the
> package, I'd appreciate it if one of you would upload it.
OTOH and since that ver
On Sun, 2012-05-13 at 16:55 -0400, Robert James Clay wrote:
> On Tue, 2012-05-08 at 09:45 -0400, Robert James Clay wrote:
> > http://mentors.debian.net/debian/pool/main/l/ledgersmb/ledgersmb_1.3.16-1.dsc
> >
> > If you do not find any issues with the current version of the
> > package, I'd app
On Mon, May 14, 2012 at 05:35:45PM -0400, Chris Frey wrote:
> My lintian command didn't catch the *.dsc files. Fixed that, and fixed
> all the above.
>
> Hopefully this is the one. :-)
>
> You can grab it in the usual place:
>
> http://sourceforge.net/projects/barry/files/barry/barry-0.18
30 matches
Mail list logo