On 2018-07-06, Vagrant Cascadian wrote:
> On 2018-06-22, Geert Stappers wrote:
>> Package name : mes
>> Version : 0.15
>> Upstream Author : Jan Nieuwenhuizen
>> URL : https://gitlab.com/janneke/mes
>> License : GNU GPLv3
>> Programming Lang : C
>>
Processing commands for cont...@bugs.debian.org:
> block 902400 by 903147
Bug #902400 [wnpp] ITP: backward-cpp -- Beautiful stack trace pretty printer
for C++
902400 was not blocked by any bugs.
902400 was not blocking any bugs.
Added blocking bug(s) of 902400: 903147
> stop
Stopping processing
On 2018-06-22, Geert Stappers wrote:
> Package name : mes
> Version : 0.15
> Upstream Author : Jan Nieuwenhuizen
> URL : https://gitlab.com/janneke/mes
> License : GNU GPLv3
> Programming Lang : C
> Description : Maxwell Equations of Software
>
> Mes aims
Package: wnpp
Severity: normal
I request an adopter for the dafny package.
The package description is:
Dafny is a programming language with a program verifier. The verifier
processes function preconditions, postconditions, and assertions, and sends
them to an SMT solver for checking. In
Package: wnpp
Severity: normal
I request an adopter for the boogie package.
The package description is:
Boogie is a compiler intermediate language with support for automatic invariant
checking using an SMT solver such as Z3. It supports program verification for
a variety of other,
Package: wnpp
Severity: wishlist
* Package name: spyder-kernels
Version : 1.0.1
Upstream Author : Spyder Development Team
* URL : https://github.com/spyder-ide/spyder-kernels
* License : Expat
Programming Lang: Python
Description : Jupyter kernels for
Package: wnpp
Severity: wishlist
Owner: Steffen Moeller
* Package name: milib
Version : 1.8.4
* URL : https://github.com/milaboratory/milib
* License : Apache
Programming Lang: Java
Description : library for Next Generation Sequencing (NGS) data
Waiting for node-catty, which is in NEW. If someone needs it, WIP
packaging is here:
https://salsa.debian.org/js-team/node-chroma-js
signature.asc
Description: OpenPGP digital signature
Your message dated Fri, 06 Jul 2018 16:20:00 +
with message-id
and subject line closing RFP: ssmp -- simple server media player
has caused the Debian Bug report #709445,
regarding RFP: ssmp -- simple server media player
to be marked as done.
This means that you claim that the problem has
Processing commands for cont...@bugs.debian.org:
> retitle 882871 O: python-activipy -- implementation of ActivityStreams 2.0
Bug #882871 [wnpp] ITA: python-activipy -- implementation of ActivityStreams 2.0
Changed Bug title to 'O: python-activipy -- implementation of ActivityStreams
2.0' from
Your message dated Fri, 06 Jul 2018 16:04:26 +
with message-id
and subject line Bug#862963: fixed in sql-ledger 3.2.6-1
has caused the Debian Bug report #862963,
regarding ITA: sql-ledger -- Web based double-entry accounting program
to be marked as done.
This means that you claim that the
El viernes, 6 de julio de 2018 02:35:25 -03 usted escribió:
> Hi Lisandro,
>
> How can I help? I don't know much about packaging but can learn or do
> testing.
Hi Fabián! I'm afraid there is not much you can do, I have been failing to
review Scarlett's work for three weeks in a row now, and at
Your message dated Fri, 06 Jul 2018 12:00:12 +
with message-id
and subject line Bug#901347: fixed in python-httpsig 1.2.0-1
has caused the Debian Bug report #901347,
regarding ITP: python-httpsig -- sign HTTP requests according to IETF HTTP
Signatures spec
to be marked as done.
This means
Your message dated Fri, 06 Jul 2018 12:00:13 +
with message-id
and subject line Bug#901166: fixed in python-markdown-math 0.6-1
has caused the Debian Bug report #901166,
regarding ITP: python-markdown-math -- Math extension for Python-Markdown
to be marked as done.
This means that you claim
Your message dated Fri, 06 Jul 2018 12:00:12 +
with message-id
and subject line Bug#894672: fixed in python-fluids 0.1.72-1
has caused the Debian Bug report #894672,
regarding ITP: python-fluids -- Fluid dynamics component of Chemical
Engineering Design Library (ChEDL)
to be marked as done.
Your message dated Fri, 06 Jul 2018 12:00:10 +
with message-id
and subject line Bug#884797: fixed in anbox 0.0~git20180612-1
has caused the Debian Bug report #884797,
regarding ITP: anbox -- Run Android applications on any GNU/Linux operating
system
to be marked as done.
This means that you
Processing commands for cont...@bugs.debian.org:
> block 862963 by 903097
Bug #862963 [wnpp] ITA: sql-ledger -- Web based double-entry accounting program
862963 was not blocked by any bugs.
862963 was not blocking any bugs.
Added blocking bug(s) of 862963: 903097
> thanks
Stopping processing
17 matches
Mail list logo