Bug#866334: ITP: lean -- theorem prover from Microsoft Research

[Andreas Tille]

Hi Benjamin,

Thanks for this ITP.
I'd suggest to package this in Debian Science team.

Kind regards

 Andreas.

On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Benjamin Barenblat 
> 
> * Package name: lean
>   Version : 3.2.0
>   Upstream Author : Leonardo de Moura  et al.
> * URL : https://leanprover.github.io/
> * License : Apache-2.0
>   Programming Lang: C++
>   Description : theorem prover from Microsoft Research
> 
> Lean is a theorem prover or interactive proof assistant. That is, it’s
> a system in which you can write formal mathematical proofs that are
> checked for correctness by the computer. Lean is thus broadly similar
> to Coq, but the Lean developers hope to build a faster, more extensible
> system than Coq is today.
> 
> From the About page: “Lean is a new open source theorem prover being
> developed at Microsoft Research, and its standard library at Carnegie
> Mellon University. Lean aims to bridge the gap between interactive and
> automated theorem proving by situating automated tools and methods in a
> framework that supports user interaction and the construction of fully
> specified axiomatic proofs. The goal is to support both mathematical
> reasoning and reasoning about complex systems, and to verify claims in
> both domains.”
> 
> Lean has been under development for several years; regular releases
> first appeared in January. I use Lean, and I know other Debian users
> would like to have it easily accessible.

-- 
http://fam-tille.de

Processed: Fix title of the seafile-server RFP

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> retitle 865830 RFP: seafile-server -- An online file storage and 
> collaboration tool
Bug #865830 [wnpp] "RFP: Seafile Server: An online file storage and
Changed Bug title to 'RFP: seafile-server -- An online file storage and 
collaboration tool' from '"RFP: Seafile Server: An online file storage and'.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
865830: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865830
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Processed: Add owner to the pyethereum and pyrlp ITPs

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> owner 866167 Ben Finney 
Bug #866167 [wnpp] ITP: pyethereum -- implementation of the Ethereum protocol — 
Python library
Owner recorded as Ben Finney .
> owner 866168 Ben Finney 
Bug #866168 [wnpp] ITP: pyrlp -- Recursive Length Prefix (RLP) library — Python
Owner recorded as Ben Finney .
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
866167: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866167
866168: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866168
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

[Anton Gladky]

Hi Benjamin,

please consider the option of maintaining
this package under the roof of the Debian
Science Team.

Best regards

Anton

Am Mittwoch, 28. Juni 2017 schrieb Benjamin Barenblat :

> Package: wnpp
> Severity: wishlist
> Owner: Benjamin Barenblat >
>
> * Package name: lean
>   Version : 3.2.0
>   Upstream Author : Leonardo de Moura  > et al.
> * URL : https://leanprover.github.io/
> * License : Apache-2.0
>   Programming Lang: C++
>   Description : theorem prover from Microsoft Research
>
> Lean is a theorem prover or interactive proof assistant. That is, it’s
> a system in which you can write formal mathematical proofs that are
> checked for correctness by the computer. Lean is thus broadly similar
> to Coq, but the Lean developers hope to build a faster, more extensible
> system than Coq is today.
>
> From the About page: “Lean is a new open source theorem prover being
> developed at Microsoft Research, and its standard library at Carnegie
> Mellon University. Lean aims to bridge the gap between interactive and
> automated theorem proving by situating automated tools and methods in a
> framework that supports user interaction and the construction of fully
> specified axiomatic proofs. The goal is to support both mathematical
> reasoning and reasoning about complex systems, and to verify claims in
> both domains.”
>
> Lean has been under development for several years; regular releases
> first appeared in January. I use Lean, and I know other Debian users
> would like to have it easily accessible.
>


-- 

Anton

Processed: Fix title and add owner for the i3lock-fancy

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> retitle 866177 ITP: i3lock-fancy -- i3lock custom wrapper script
Bug #866177 [wnpp] [i3lock-fancy] ITP
Changed Bug title to 'ITP: i3lock-fancy -- i3lock custom wrapper script' from 
'[i3lock-fancy] ITP'.
> owner 866177 Simon Désaulniers 
Bug #866177 [wnpp] ITP: i3lock-fancy -- i3lock custom wrapper script
Owner recorded as Simon Désaulniers .
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
866177: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=866177
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#866350: ITP: node-duplexify -- Turn stream into a streams2 duplex with async initialization

[Ying-Chun Liu (PaulLiu)]

Package: wnpp
Severity: wishlist
Owner: Ying-Chun Liu (PaulLiu) 

* Package name: node-duplexify
  Version : 3.5.0
  Upstream Author : Mathias Buus
* URL : https://github.com/mafintosh/duplexify
* License : Expat
  Programming Lang: JavaScript
  Description : Turn stream into a streams2 duplex with async
initialization
 Turn a writable and readable stream into a streams2 duplex stream with
 support for async initialization and streams1/streams2 input.
 .
 Similar to duplexer2 except it supports both streams2 and streams1 as input
 and it allows you to set the readable and writable part asynchronously
using
 setReadable(stream) and setWritable(stream)
 .
 Node.js is an event-based server-side JavaScript engine.

-- 
PaulLiu (劉穎駿)
E-mail: Ying-Chun Liu (PaulLiu) 



signature.asc
Description: OpenPGP digital signature

Bug#866349: ITP: node-ultron -- event emitter enhancement for node.js

[Ying-Chun Liu (PaulLiu)]

Package: wnpp
Severity: wishlist
Owner: Ying-Chun Liu (PaulLiu) 

* Package name: node-ultron
  Version : 1.1.0
  Upstream Author : Arnout Kazemier
* URL : https://github.com/unshiftio/ultron
* License : Expat
  Programming Lang: JavaScript
  Description : event emitter enhancement for node.js
 Ultron gathers intelligence so it can start improving upon his rudimentary
 design. It will learn your event emitting patterns and find ways to
 exterminate them. Allowing you to remove only the event emitters that you
 assigned and not the ones that your users or developers assigned. This can
 prevent race conditions, memory leaks and even file descriptor leaks from
 ever happening as you won't remove clean up processes.
 .
 Node.js is an event-based server-side JavaScript engine.

-- 
PaulLiu (劉穎駿)
E-mail: Ying-Chun Liu (PaulLiu) 



signature.asc
Description: OpenPGP digital signature

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

[Benjamin Barenblat]

> On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote:
> >   Description : theorem prover from Microsoft Research

On Thu, Jun 29, 2017 at  1:41:57 AM, Julian Andres Klode  
wrote:
> I don't think we need the company advertisement here, though.

Maybe. MSR is a well-known name in the programming languages and formal
verification communities, and the fact that they’re behind Lean is
something that many potential users would want to know. That said, I’m
not terribly attached to this description, and I’d feel comfortable just
saying “interactive theorem prover”.

> > From the About page: “Lean is a new open source theorem prover being
> > developed at Microsoft Research, and its standard library at Carnegie
> 
> Sounds weird, how can a standard libary develop something?

Ha. I agree that it’s not the best-written description. I’d probably
rephrase it as “Lean is a theorem prover developed at Microsoft Research
and Carnegie Mellon University.”

> > Lean has been under development for several years; regular releases
> > first appeared in January. I use Lean, and I know other Debian users
> > would like to have it easily accessible.
> 
> Seems like this is not a good fit for the package description

I assume you’re specifically referring to this paragraph, in which case,
you’re completely right. I was responding to the reportbug prompt to
explain why I think Lean ought to be packaged. I don’t intend to include
this praagraph in the description.

> […] the quote might have licensing issues.

We should be in the clear here, since the Lean web site is licensed
under Expat. The quote in question appears in Git at
https://github.com/leanprover/leanprover.github.io/blob/master/about/index.md,
if you’re interested.

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

[Julian Andres Klode]

On Wed, Jun 28, 2017 at 05:37:53PM -0400, Benjamin Barenblat wrote:
> Package: wnpp
> Severity: wishlist
> Owner: Benjamin Barenblat 
> 
> * Package name: lean
>   Version : 3.2.0
>   Upstream Author : Leonardo de Moura  et al.
> * URL : https://leanprover.github.io/
> * License : Apache-2.0
>   Programming Lang: C++
>   Description : theorem prover from Microsoft Research

I don't think we need the company advertisement here, though.

> 
> Lean is a theorem prover or interactive proof assistant. That is, it’s
> a system in which you can write formal mathematical proofs that are
> checked for correctness by the computer. Lean is thus broadly similar
> to Coq, but the Lean developers hope to build a faster, more extensible
> system than Coq is today.

This looks good so far for the package description, not sure about
the rest though:

> 
> From the About page: “Lean is a new open source theorem prover being
> developed at Microsoft Research, and its standard library at Carnegie

Sounds weird, how can a standard libary develop something?

> Mellon University. Lean aims to bridge the gap between interactive and
> automated theorem proving by situating automated tools and methods in a
> framework that supports user interaction and the construction of fully
> specified axiomatic proofs. The goal is to support both mathematical
> reasoning and reasoning about complex systems, and to verify claims in
> both domains.”
> 
> Lean has been under development for several years; regular releases
> first appeared in January. I use Lean, and I know other Debian users
> would like to have it easily accessible.

Seems like this is not a good fit for the package description, and
the quote might have licensing issues.

-- 
Debian Developer - deb.li/jak | jak-linux.org - free software dev
  |  Ubuntu Core Developer |
When replying, only quote what is necessary, and write each reply
directly below the part(s) it pertains to ('inline').  Thank you.

Bug#866009: ITP: python-aiosmtpd -- Python3 asyncio based SMTP server

[Pierre-Elliott Bécue]

Le lundi 26 juin 2017 à 16:55:28+0200, Pierre-Elliott Bécue a écrit :
> Package: wnpp
> Severity: wishlist
> Owner: =?utf-8?q?Pierre-Elliott_B=C3=A9cue?= 
> 
> * Package name: python-aiosmtpd
>   Version : 1.0
>   Upstream Author : Barry Warsaw , Eric V. Smith,
> Andrew Kuchling, Jason Coombs
> * URL : https://github.com/aio-libs/aiosmtpd
> * License : Apache 2
>   Programming Lang: Python
>   Description : Python3 asyncio based SMTP server
> 
> This is a server for SMTP and related protocols, similar in utility to
> the standard library’s smtpd.py module, but rewritten to be based on
> asyncio for Python 3.
> 
> This package is a new dependency for mailman3-core package that I first
> intended to package in sept. 2015[1]. Since then, we decided to wait
> until Mailman 3.1 to finalize packaging as python3.5 became the main
> version of python in debian and mailman3.0.x was not fully 3.5
> operative.
> 
> Now that 3.1 is out, it's time to finish this work, and this package
> seems to be the only missing dependency.
> 
> This package would be maintained by me and the DPMT. Barry Warsaw
> offered to sponsor me on this one.
> 
> Cheers.
> 
> [1]: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=799281

The package builds properly. Lintian complains about a .gitignore file that
hangs around, and there is a small bug upstream on some tests that lead to
raises during dh_auto_test (but the tests still succeed).

I'll wait for a push into pypi of a fixed version and then RFS.

-- 
PEB

Bug#855173: ITP: keepassxc -- Community fork of KeePassX, a free and open-source cross-platform password manager.

[KeePassXC Team]

Hey all!

> I pushed the packaging so far to
>   https://anonscm.debian.org/git/collab-maint/keepassxc.git
> (web ui will appear soon, and it might need some cleanup and rebasing
>  before release; also copyright file needs update).

Thanks for taking over! One more thing to add: we have a packaging
repository, which Matt started. Since you have taken over ownership of
the package, I want to offer you also taking over the repository if you
like: https://github.com/keepassxreboot/keepassxc-packaging

Janek

Bug#866334: ITP: lean -- theorem prover from Microsoft Research

[Benjamin Barenblat]

Package: wnpp
Severity: wishlist
Owner: Benjamin Barenblat 

* Package name: lean
  Version : 3.2.0
  Upstream Author : Leonardo de Moura  et al.
* URL : https://leanprover.github.io/
* License : Apache-2.0
  Programming Lang: C++
  Description : theorem prover from Microsoft Research

Lean is a theorem prover or interactive proof assistant. That is, it’s
a system in which you can write formal mathematical proofs that are
checked for correctness by the computer. Lean is thus broadly similar
to Coq, but the Lean developers hope to build a faster, more extensible
system than Coq is today.

From the About page: “Lean is a new open source theorem prover being
developed at Microsoft Research, and its standard library at Carnegie
Mellon University. Lean aims to bridge the gap between interactive and
automated theorem proving by situating automated tools and methods in a
framework that supports user interaction and the construction of fully
specified axiomatic proofs. The goal is to support both mathematical
reasoning and reasoning about complex systems, and to verify claims in
both domains.”

Lean has been under development for several years; regular releases
first appeared in January. I use Lean, and I know other Debian users
would like to have it easily accessible.

Bug#858664: RFS: dfc/3.1.0-1 [ITA]

[sab]

  Package: sponsorship-requests
  Severity: normal [important for RC bugs, wishlist for new packages]

  Dear mentors,

  I am looking for a sponsor for my package "dfc":

 * Package name: dfc

   Version : 3.1.0
   Upstream Author : Robin Hahling
 * URL :https://projects.gw-computing.net/projects/dfc
 * License : BSD-3-Clause
   Section : utils

  It builds those binary packages:

dfc - display file system usage using graph and colors


  To access further information about this package, please visit the following 
URL:

  https://mentors.debian.net/package/dfc


  Alternatively, one can download the package with dget using this command:

  dget -xhttps://mentors.debian.net/debian/pool/main/d/dfc/dfc_3.1.0-1.dsc

  Changes since the last upload:

  I have changed upstream source to the new dfc version.

  Regards,
  Sabino

Bug#866316: ITP: svgpp -- SVG-framework with parsers for various syntaxes and adapters

[Anton Gladky]

Package: wnpp
Severity: wishlist
Owner: Anton Gladky 

* Package name: svgpp
  Version : 1.2.3
  Upstream Author : Oleg Maximenko 
* URL : https://github.com/svgpp/svgpp
* License : Boost
  Programming Lang: C++
  Description : SVG-framework with parsers for various syntaxes and adapters

The library can be thought of as a framework, containing parsers for various
SVG syntaxes, adapters that simplify handling of parsed data and a lot of
other utilities and helpers for the most common tasks.  SVG++ features

* Is a header-only library
* Can be used with any XML parser
* Compile time configured - no virtual functions
* Minimal runtime overhead - you pay only for what you get
* Fully functional, conforming SVG viewers
* Simple in-app SVG rasterizers
* Import modules of vector editing software
* Implementing path-only input of SVG format with minimal efforts
  in any graphics or math software
* Compatible with C++03, but requires conforming implementation

The package will be hosted on collab-maint.

Anton

Bug#866242: ITP: node-editor -- Launch the $EDITOR in your program.

[Saravanan P]

Package: wnpp
Severity: wishlist
Owner: saravanan30erd 
X-Debbugs-CC: debian-de...@lists.debian.org

* Package name: node-editor
  Version : 1.0.0
  Upstream Author : James Halliday  (http://substack.net)
* URL : https://github.com/substack/node-editor
* License : Expat
  Programming Lang: JavaScript
  Description : Launch the $EDITOR in your program

 Launch the $EDITOR (or opts.editor) for file.
 When the editor exits, cb(code, sig) fires.
 .
 This library is a dependency of npm, Node.js package manager.
 .
 Node.js is an event-based server-side JavaScript engine.

Bug#702773: libcidr: changing back from ITP to RFP

[Santiago]

El 28/06/17 a las 18:59, Daniil Baturin escribió:
> Hi Santiago,
> 
> If you are ready to sponsor it, I'm definitely going to resurrect that
> packaging effort (I still have the files, I'm pretty sure they will need
> some updates for the newer packaging standards, since myself I only
> cared about making it buildable for my own use).

Please, go ahead! :-)
Could you please upload it to mentors, again?

> One of the things I'm using it for myself is
> https://github.com/vyos/ipaddrcheck , which I also would like to
> contribute to Debian, but it can only be done when libcidr is there.

We'll see that once libcidr is in Debian then.

> 
> On a side note, it would be nice if most of the quality assurance
> process could  be done without human intervention so that potential
> sponsors would instantly know if they aree going to work with packaging
> that is violating the guidelines or is outright broken or not.

Indeed. That would be very helpful.

Cheers!

  -- Santiago


signature.asc
Description: PGP signature

Bug#866220: O: posterazor -- splits an image across multiple pages for assembly into a poster

[Simrun Basuita]

Package: wnpp
Severity: normal

Bug#866219: RFP: libapache2-mod-log-ipmask

[Christian Weiske]

Package: wnpp
Severity: wishlist

The mod_log_ipmask apache2 module allows partly anonymization of IP 
addresses in apache logs, which allows one to get better statistiscs 
than with mod_removeip.


Source code: https://github.com/webfactory/mod_log_ipmask

More information (German):
 http://wirspeichernnicht.de/content/view/14/24/
 https://www.saechsdsb.de/ipmask

--
Regards/Mit freundlichen Grüßen
Christian Weiske

-=≡ Geeking around in the name of science since 1982 ≡=-

Bug#702773: libcidr: changing back from ITP to RFP

[Daniil Baturin]

Hi Santiago,

If you are ready to sponsor it, I'm definitely going to resurrect that
packaging effort (I still have the files, I'm pretty sure they will need
some updates for the newer packaging standards, since myself I only
cared about making it buildable for my own use).
One of the things I'm using it for myself is
https://github.com/vyos/ipaddrcheck , which I also would like to
contribute to Debian, but it can only be done when libcidr is there.

On a side note, it would be nice if most of the quality assurance
process could  be done without human intervention so that potential
sponsors would instantly know if they aree going to work with packaging
that is violating the guidelines or is outright broken or not.

On 06/28/2017 06:11 PM, Santiago wrote:
> Hi Daniil,
>
> On Mon, 28 Jul 2014 21:49:13 +0700 Daniil Baturin  wrote:
>> -BEGIN PGP SIGNED MESSAGE-
>> Hash: SHA1
>>
>> Hi,
>>
>> Long time ago I expressed interest in packaging libcidr. Long time ago I
>> actually made the package.
>> Long time ago I uploaded it to the mentors server. Long time ago I tried
>> to get any feedback about it,
>> but everyone ignored it. Long time ago it got deleted from the mentors
>> server as expired.
>> l'm just as frustrated with debian development process as long time ago
>> now. ;)
> I am sorry to read this. Debian development processes could be improved,
> especially to make it easier for newcomers to contribute, while assuring
> quality and security for users regarding new code that comes into the
> project. But please, keep in mind that Debian runs on volunteers work, and
> improving the development process would require someone that does it.
>
> About libcidr, if maybe you renew your interest in packaging it, I am able
> to take a look and sponsor it. Just let me know.
>
> Best regards,
>
>   -- Santiago


-- 
#!/usr/bin/env perl
@a=split(//, "daniil @ baturin  .  org" );# Daniil Baturin
@b=split(//,q/Px%!+o0Q6lh*7dp$.@8#%|y{/);while($i<24){$_.=
chr((ord(@b[$i])-ord(@a[$i])+62)%94+32);$i++};print"$_\n"#




signature.asc
Description: OpenPGP digital signature

Bug#702773: libcidr: changing back from ITP to RFP

[Santiago]

Hi Daniil,

On Mon, 28 Jul 2014 21:49:13 +0700 Daniil Baturin  wrote:
> 
> -BEGIN PGP SIGNED MESSAGE-
> Hash: SHA1
> 
> Hi,
> 
> Long time ago I expressed interest in packaging libcidr. Long time ago I
> actually made the package.
> Long time ago I uploaded it to the mentors server. Long time ago I tried
> to get any feedback about it,
> but everyone ignored it. Long time ago it got deleted from the mentors
> server as expired.
> l'm just as frustrated with debian development process as long time ago
> now. ;)

I am sorry to read this. Debian development processes could be improved,
especially to make it easier for newcomers to contribute, while assuring
quality and security for users regarding new code that comes into the
project. But please, keep in mind that Debian runs on volunteers work, and
improving the development process would require someone that does it.

About libcidr, if maybe you renew your interest in packaging it, I am able
to take a look and sponsor it. Just let me know.

Best regards,

  -- Santiago

Processed: ITP: node-mqtt -- MQTT client library for node.js

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> block 816028 by 866072 866189 866208
Bug #816028 [wnpp] ITP: node-mqtt -- MQTT client library for node.js
816028 was blocked by: 865509
816028 was not blocking any bugs.
Added blocking bug(s) of 816028: 866189, 866072, and 866208
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
816028: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=816028
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#866208: ITP: node-reinterval -- reschedulable setInterval for node.js

[Ying-Chun Liu (PaulLiu)]

Package: wnpp
Severity: wishlist
Owner: Ying-Chun Liu (PaulLiu) 

* Package name: node-reinterval
  Version : 1.1.0
  Upstream Author : 4rzael
* URL : https://github.com/4rzael/reInterval
* License : Expat
  Programming Lang: JavaScript
  Description : reschedulable setInterval for node.js
 This library provides a way to reschedule a callback with assigned
interval.
 .
 Node.js is an event-based server-side JavaScript engine.

-- 
PaulLiu (劉穎駿)
E-mail: Ying-Chun Liu (PaulLiu) 



signature.asc
Description: OpenPGP digital signature

Processed (with 1 error): your mail

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> retitle 865830 "RFP: Seafile Server: An online file storage and
Bug #865830 [wnpp] RFP: Seafile Server: An online file storage and
Changed Bug title to '"RFP: Seafile Server: An online file storage and' from 
'RFP: Seafile Server: An online file storage and'.
> collaboration tool"
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
865830: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865830
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Processed (with 1 error): your mail

[Debian Bug Tracking System]

Processing commands for cont...@bugs.debian.org:

> reassign 865830 wnpp
Bug #865830 [seafile] Please add also the Seafile server
Bug reassigned from package 'seafile' to 'wnpp'.
No longer marked as found in versions 6.0.6-1.
Ignoring request to alter fixed versions of bug #865830 to the same values 
previously set
> retitle 865830 RFP: Seafile Server: An online file storage and
Bug #865830 [wnpp] Please add also the Seafile server
Changed Bug title to 'RFP: Seafile Server: An online file storage and' from 
'Please add also the Seafile server'.
> collaboration tool
Unknown command or malformed arguments to command.
> thanks
Stopping processing here.

Please contact me if you need assistance.
-- 
865830: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=865830
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#855173: ITP: keepassxc -- Community fork of KeePassX, a free and open-source cross-platform password manager.

[team]

Hello!

KeePassXC Team here.

Thanks for taking ownership and helping us getting into Debian repository.

About the copyright, you can take the COPYING file in the root directory
of KeePassXC, it's updated and already in debian format. It's only
missing the full licenses.

Another little thing, I've seen that in the man page file it still says
keepassx. You can take this man page that is more updated
[https://github.com/magkopian/keepassxc-debian/blob/master/keepassxc-2.2.0/debian/keepassxc.1]


If you need anything you can ask us here or on IRC (freenode
#keepassxc-dev).

-TheZero



Il 28/06/2017 09:23, Julian Andres Klode ha scritto:
> Control: owner -1 !
>
> On Wed, Jun 28, 2017 at 09:04:16AM +0200, Julian Andres Klode wrote:
>> On Tue, Feb 14, 2017 at 05:51:25PM -0500, Matt Jones wrote:
>>> I am not a maintainer or developer but an active user if debain and
>>> keepass. I would be willing to take this in depending on timeframe. I have
>>> time starting next week to devote to this. I have built packages in the
>>> past so this is not a huge issue for me
>> So, are you still interested in this? I have a package mostly ready
>> (have not checked copyright and watch yet), it was really only a matter
>> of cloning the keepassx repo and then running sed s#keepassx#keepassxc#g
>> basically.
>>
>> If I don't hear from you in the next days, I assume you lost interest,
>> and will upload the package (and push it to a collab-maint/keepassxc.git
>> repo, you are of course free to join).
> The email bounced (address does not exist), and given that it's been 4 months
> since Matt tried to ITP, and he did not answer to the query 2 months ago, it's
> safe to assume he lost interest, so I'm taking ownership.
>
> I pushed the packaging so far to 
>   https://anonscm.debian.org/git/collab-maint/keepassxc.git
> (web ui will appear soon, and it might need some cleanup and rebasing
>  before release; also copyright file needs update).
>

Email alert

[Admin]

Recently, we have detected some unusual activity on your account and as a 
result, all email users are urged to update/upgrade their email account within 
24 hours of receiving this e-mail, CLICK http://beam.to/5654   here to confirm 
that your email account is up to date with the institution requirement

---
This email has been checked for viruses by Avast antivirus software.
https://www.avast.com/antivirus

Bug#855173: ITP: keepassxc -- Community fork of KeePassX, a free and open-source cross-platform password manager.

[Julian Andres Klode]

Control: owner -1 !

On Wed, Jun 28, 2017 at 09:04:16AM +0200, Julian Andres Klode wrote:
> On Tue, Feb 14, 2017 at 05:51:25PM -0500, Matt Jones wrote:
> > I am not a maintainer or developer but an active user if debain and
> > keepass. I would be willing to take this in depending on timeframe. I have
> > time starting next week to devote to this. I have built packages in the
> > past so this is not a huge issue for me
> 
> So, are you still interested in this? I have a package mostly ready
> (have not checked copyright and watch yet), it was really only a matter
> of cloning the keepassx repo and then running sed s#keepassx#keepassxc#g
> basically.
> 
> If I don't hear from you in the next days, I assume you lost interest,
> and will upload the package (and push it to a collab-maint/keepassxc.git
> repo, you are of course free to join).

The email bounced (address does not exist), and given that it's been 4 months
since Matt tried to ITP, and he did not answer to the query 2 months ago, it's
safe to assume he lost interest, so I'm taking ownership.

I pushed the packaging so far to 
  https://anonscm.debian.org/git/collab-maint/keepassxc.git
(web ui will appear soon, and it might need some cleanup and rebasing
 before release; also copyright file needs update).

-- 
Debian Developer - deb.li/jak | jak-linux.org - free software dev
  |  Ubuntu Core Developer |
When replying, only quote what is necessary, and write each reply
directly below the part(s) it pertains to ('inline').  Thank you.

Processed: Re: Bug#855173: ITP: keepassxc -- Community fork of KeePassX, a free and open-source cross-platform password manager.

[Debian Bug Tracking System]

Processing control commands:

> owner -1 !
Bug #855173 [wnpp] ITP: keepassxc -- Community fork of KeePassX, a free and 
open-source cross-platform password manager.
Owner changed from mattjo...@yieldbot.com to Julian Andres Klode 
.

-- 
855173: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=855173
Debian Bug Tracking System
Contact ow...@bugs.debian.org with problems

Bug#866196: ITP: ruby-asciidoctor-plantuml -- extension for Asciidoctor to enable support for PlantUML diagrams

[Balasankar C]

Package: wnpp
Severity: wishlist
Owner: Balasankar C 

* Package name: ruby-asciidoctor-plantuml
  Version : 0.0.7
  Upstream Author : Pepijn Van Eeckhoudt
* URL : https://github.com/hsanson/asciidoctor-plantuml
* License : Expat
  Programming Lang: Ruby
  Description : extension for Asciidoctor to enable support for PlantUML 
diagrams

 This package provides asciidoctor-plantuml gem which is an extension for the
 asciidoctor gem that enables users to add PlantUML diagrams to their asciidoc
 documents.

Bug#855173: ITP: keepassxc -- Community fork of KeePassX, a free and open-source cross-platform password manager.

[Julian Andres Klode]

On Tue, Feb 14, 2017 at 05:51:25PM -0500, Matt Jones wrote:
> I am not a maintainer or developer but an active user if debain and
> keepass. I would be willing to take this in depending on timeframe. I have
> time starting next week to devote to this. I have built packages in the
> past so this is not a huge issue for me

So, are you still interested in this? I have a package mostly ready
(have not checked copyright and watch yet), it was really only a matter
of cloning the keepassx repo and then running sed s#keepassx#keepassxc#g
basically.

If I don't hear from you in the next days, I assume you lost interest,
and will upload the package (and push it to a collab-maint/keepassxc.git
repo, you are of course free to join).

-- 
Debian Developer - deb.li/jak | jak-linux.org - free software dev
  |  Ubuntu Core Developer |
When replying, only quote what is necessary, and write each reply
directly below the part(s) it pertains to ('inline').  Thank you.

Bug#866191: ITP: node-universalify -- Make a callback- or promise-based function support both promises and callbacks

[Julien Puydt]

Package: wnpp
Severity: wishlist
Owner: Julien Puydt 
X-Debbugs-CC: pkg-javascript-de...@lists.alioth.debian.org

* Package name: node-universalify
  Version : 0.1.0
  Upstream Author : Ryan Zimmerman
* URL : https://github.com/RyanZim/universalify
* License : Expat
  Programming Lang: JavaScript
  Description : Make a callback- or promise-based function support
both promises and callbacks
This package provides ways to make a callback- or promise-based function
support both promises and callbacks.
.
Uses the native promise implementation.
.
Node.js is an event-based server-side JavaScript engine.


I plan to package it within the Debian Javascript Maintainers repository:

Vcs-Git: https://anonscm.debian.org/git/pkg-javascript/node-universalify.git
Vcs-Browser:
https://anonscm.debian.org/cgit/pkg-javascript/node-universalify.git

Cheers,

Snark on #debian-js