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: 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
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
This is now in the NEW queue.
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?
>
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 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
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
That sounds 100% feasible. I’ll give Abseil packaging some more
attention this week and get back in touch.
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?
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
, 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 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
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
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
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
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
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: 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
Are you still interested in packaging pycdio? If so, I can review and
sponsor your uploads.
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
> 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: 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
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
* 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: 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
control: tags -1 wontfix
Upstream has abandoned uselessd as described on their site.
-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.
28 matches
Mail list logo
