-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512
Debian policy does not require every file in the distribution to have a
copyright/licence header. Given that Atom has a top-level LICENSE.md,
you should assume that licence applies to any files which do not have
explicit copyright/licence headers.
Are you still interested in packaging pycdio? If so, I can review and
sponsor your uploads.
Package: wnpp
Severity: wishlist
* Package name: ipcalc-nmav
Version : 0.2.2
Upstream Author : Nikos Mavrogiannopoulos
* URL : https://github.com/nmav/ipcalc
* License : GPL-2
Programming Lang: C
Description : parameter calculator for IPv4 and IPv6 addr
retitle 543296 ITP: pycdio -- Python interface to libcdio optical media control
library
owner 543296 !
thanks
Hearing nothing, I'm going to take a crack at this.
Package: wnpp
Severity: wishlist
* Package name: html-minifier
Version : 3.4.0
Upstream Author : Juriy Zaytsev
* URL : https://github.com/kangax/html-minifier
* License : Expat
Programming Lang: JavaScript
Description : HTML compressor/minifier
"HTMLMi
Package: wnpp
Severity: wishlist
* Package name: hindent
Version : 5.2.3
Upstream Author : Chris Done
* URL : https://github.com/commercialhaskell/hindent
* License : BSD3
Programming Lang: Haskell
Description : automatic Haskell code formatter
HIndent
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
> 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
Package: wnpp
Severity: wishlist
Owner: Benjamin Barenblat
* Package name: xcwd
Upstream Author : Adrien Schildknecht
* URL : https://github.com/schischi/xcwd/
* License : BSD-3-clause
Programming Lang: C
Description : X current working directory
Xcwd is a
control: tags -1 wontfix
Upstream has abandoned uselessd as described on their site.
Package: wnpp
Severity: wishlist
* Package name: whipper
Version : 0.4.1
Upstream Author : Joe Lametta
* URL : https://github.com/JoeLametta/whipper
* License : GPL-3+
Programming Lang: Python
Description : CD ripper preferring accuracy over speed
Whip
Package: wnpp
Severity: wishlist
Owner: Benjamin Barenblat
* Package name: wyhash
Version : 0~1.gbpd15d6e7
Upstream Author : Wang Yi
* URL : https://github.com/wangyi-fudan/wyhash
* License : Unlicense
Programming Lang: C
Description : fast, high
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, higher-leve
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 this
It looks like there hasn’t been any activity on this for a while. I hear
there’s going to be a new Abseil LTS release sometime in the next few
weeks; would it be all right if I took this bug and packaged Abseil once
the LTS hits GitHub?
(Full disclosure: I work at Google and sit near some Abseil d
On Sunday, February 16, 2020, at 10:48 PM +0100, László Böszörményi (GCS) wrote:
> In my reading abseil is _not_ guaranteed to have ABI compatibility at
> all times. That's why it meant to be a static library collection only.
> Forcing it to build shared libraries and have other packages than
> lib
On Tuesday, February 18, 2020, at 9:25 AM +0100, Olaf van der Spek wrote:
> What about the C++ std version? Abseil / C++14 isn't the same as Abseil /
> C++17.
This is true on two levels:
1. By default, Abseil detects what standard version you’re building
with and conditionally defines it
, 2020, at 10:48 PM +0100, László Böszörményi (GCS) wrote:
>>> @Benjamin: may you ask its developers to use the system gtest libraries
>>> if only ABSL_RUN_TESTS set to ON?
On Monday, February 17, 2020, at 8:21 PM -0500, Benjamin Barenblat wrote:
>> Absolutely. I’ll bring it
On Sunday, February 16, 2020, at 10:48 PM +0100, László Böszörményi (GCS) wrote:
> @Benjamin: may you ask its developers to use the system gtest libraries
> if only ABSL_RUN_TESTS set to ON?
On Tuesday, February 18, 2020, at 6:02 PM -0500, Benjamin Barenblat wrote:
> I have a preliminar
On Sunday, May 3, 2020, at 8:16 PM +0200, László Böszörményi (GCS) wrote:
> Benjamin, do you want to package and maintain [Abseil] instead?
I’ve been working on packaging it for the last few weeks, and I’m making
good progress. Would an upload this week fit your timetable?
That sounds 100% feasible. I’ll give Abseil packaging some more
attention this week and get back in touch.
I’m getting very close to an Abseil upload. The CMake integration
doesn’t work yet, but I can install the binary packages and build
software that links Abseil.
I’m going to keep working on CMake support, but I’d love to upload what
I have to Salsa. Would somebody be willing to reset the
https://sa
On Thursday, May 7, 2020, at 6:32 PM +0200, László Böszörményi (GCS) wrote:
> If I understand correctly, you retained src:abseil. If not and using
> src:abseil-cpp then you need a new repository named after that. Which
> way should I go?
If it’s all right with you, I’d prefer to stick with src:a
Okay, we’re all set. I’ve pushed my work to
https://salsa.debian.org/debian/abseil, and both command-line linking
and CMake integration work. Comments and suggestions are welcome – if I
don’t hear anything in the next day or two, I’ll go ahead and upload to
NEW.
I had to disable the Abseil testsui
On Tuesday, May 19, 2020, at 8:59 PM +0200, László Böszörményi (GCS) wrote:
> Doesn't build with GCC 10 due to symbol changes.
Good point. Is there an established way to deal with this? Or should I
just upload this as-is to unstable and then upload a GCC-10-compatible
version to experimental?
>
This is now in the NEW queue.
On Sat, May 23, 2020 at 2:39 PM Benjamin Barenblat wrote:
> This is now in the NEW queue.
On Friday, June 19, 2020, at 8:07 AM +0200, László Böszörményi (GCS) wrote:
> Not anymore and not in the archives. What happened? Can I help?
ftp-master rejected the upload with concerns that changi
Package: wnpp
Severity: wishlist
* Package name: mathjax-node-page
Version : 3.2.0
Upstream Author : Peter Krautzberger
* URL : https://github.com/pkra/mathjax-node-page/
* License : Apache-2.0
Programming Lang: JavaScript
Description : filter for serve
28 matches
Mail list logo
