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
retitle 786984 ITA: kwstyle -- Style checker for source code
owner 786984 !
thanks
Hello,
I like to adopt kwstyle. I already uploaded an updated package at
Debian mentors:
http://mentors.debian.net/package/kwstyle
I am looking forward for comments.
Kind regards
Benjamin Eikel
retitle 786984 ITA: kwstyle -- Style checker for source code
owner 786984 !
thanks
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: asset-collector
Version : 0.1
Upstream Author : Benjamin Drung
* URL : to be released on Github
* License : ISC
Programming Lang: Python 3
Description : collect information about
Package: wnpp
Severity: normal
I request an adopter for the javaparser package.
The new upstream version of javaparser has a whole bunch of maven
dependencies. A lot of them are not yet packaged. Since I am lacking
the time and are not particularly skilled with maven, I will not be able
to pack
Package: wnpp
Severity: wishlist
Owner: Ben Steinberg
* Package name: lockss-daemon
Version : 1.70.4
Upstream Author : The LOCKSS Program
* URL : https://github.com/lockss/lockss-daemon
* License : BSD-3-Clause
Programming Lang: Java
Description : Daem
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
ttps://github.com/larswirzenius/vmdb2/blob/master/simple.vmdb
Both tools create a Debian OS and use a Jinja config which allows
specifying individual steps. Can the forces be joined?
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
ProfitBricks GmbH
Greifswalder Str. 207
D - 10405
Am Donnerstag, den 11.01.2018, 12:33 +0200 schrieb Lars Wirzenius:
> On Thu, 2018-01-11 at 11:00 +0100, Benjamin Drung wrote:
> > Both tools create a Debian OS and use a Jinja config which allows
> > specifying individual steps. Can the forces be joined?
>
> One is in Go, o
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 Schlüter"
* Package name: e2guardian
Version : 3.4.0.3
Upstream Author : e2guardian
* URL : https://github.com/e2guardian
* License : GPL-2
Programming Lang: C++, Perl
Description : w
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: django-rest-swagger (binary: python-rest-framework-swagger)
Version : 0.1.11
Upstream Author : Marc Gibbons
* URL : https://github.com/marcgibbons/django-rest-swagger
* License : BSD-2
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: appdirs
Binary names: python-appdirs and python3-appdirs
Version : 1.2.0+git20130326
Upstream Author : Trent Mick
* URL : https://github.com/ActiveState/appdirs
* License : MIT
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: profitbricks-client (binary: python-profitbricks-client)
Version : 1.0.0
Upstream Author : Benjamin Drung
* URL : https://github.com/profitbricks/profitbricks-client
* License : ISC
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: versiontools (binaries: python-versiontools and
python3-versiontools)
Version : 1.9.1
Upstream Author : Zygmunt Krynicki
* URL : https://launchpad.net/versiontools
* License : LGPL-3
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-d2r2-go-i2c
Version : 0.0~git20191123.73a8a79-1
Upstream Author : Denis Dyakov
* URL : https://github.com/d2r2/go-i2c
* License : Expat
Programming Lang: Go
Description
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-d2r2-go-bsbmp
Version : 0.0~git20190515.3b4b3ae-1
Upstream Author : Denis Dyakov
* URL : https://github.com
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-d2r2-go-sht3x
Version : 0.0~git20181222.074abc2-1
Upstream Author : Denis Dyakov
* URL : https://github.com
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: python-ipmi
Version : 0.4.2
Upstream Author : Kontron Europe GmbH
* URL : https://github.com/kontron/python-ipmi
* License : LGPL-2.1+
Programming Lang: Python
Description : Pure
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
Owner: Benjamin Drung
* Package name: image-factory
Version : 1.0.0
Upstream Author : Benjamin Drung
* URL : https://github.com/ionos-enterprise/image-factory
* License : ISC
Programming Lang: Python
Description
Am Dienstag, den 15.09.2020, 12:51 -0400 schrieb Sandro Tosi:
> > * Package name: image-factory
> > Version : 1.0.0
> > Upstream Author : Benjamin Drung
> > * URL :
> > https://github.com/ionos-enterprise/image-factory
> > * Lic
STful
(Representational State Transfer) application programming interface (API) for
which Python Redmine provides a simple but powerful Pythonic API inspired by
a well-known Django object-relational mapping (ORM).
.
This is the Python 3 version of the package.
--
Benjamin Drung
DevOps Engineer and D
Package: wnpp
Severity: wishlist
Owner: Benjamin Hof
* Package name: python-pynetstring
Version : 0.1~dev2+git20180925.40cd4a61-1
Upstream Author : Robert Johansson
* URL : https://github.com/rj79/pynetstring
* License : Expat
Programming Lang: Python
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: pyrundeck
Version : 0.9.7
Upstream Author : Philipp Schmitt
* URL : https://github.com/pschmitt/pyrundeck
* License : GPL-3
Programming Lang: Python
Description : Python library
Package: wnpp
Severity: wishlist
Owner: Benjamin Hof
* Package name: python-aiosqlite
Version : 0.10.0-1
Upstream Author : John Reese
* URL : https://github.com/jreese/aiosqlite
* License : Expat
Programming Lang: Python
Description : sqlite library
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: modernize
Version : 0.7
Upstream Author : Armin Ronacher
* URL : https://pypi.org/project/modernize
* License : BSD-3-clause plus some PSF-2
Programming Lang: Python
Description
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: salt-pylint
Version : 2019.1.11
Upstream Author : SaltStack Team
* URL : https://github.com/saltstack/salt-pylint
* License : Apache-2.0
Programming Lang: Python
Description
Am Freitag, den 26.04.2019, 13:11 +0200 schrieb Jonas Smedegaard:
> Quoting Benjamin Drung (2019-04-26 12:15:51)
> > Package: wnpp
> > Severity: wishlist
> > Owner: Benjamin Drung
> >
> > * Package name: modernize
> > Version : 0.7
> >
Package: wnpp
Severity: normal
Hi,
I am not using gevent-websocket any more and lack enough time to
properly maintain the package. Feel free to take over the package and/or
move it to the Python group.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cl
Package: wnpp
Severity: normal
Hi,
I am not using gevent-socketio any more and lack enough time to
properly maintain the package. Feel free to take over the package and/or
move it to the Python group.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cl
Package: wnpp
Severity: normal
Hi,
I am not using django-sortedm2m any more and lack enough time to
properly maintain the package. Feel free to take over the package and/or
move it to the Python or Django group.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cl
Package: wnpp
Severity: normal
Hi,
I am not using flower any more and lack enough time to properly maintain
the package. Feel free to take over the package.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cloud GmbH | Greifswalder Str. 207 | 10405 Berlin | G
Package: wnpp
Severity: normal
I intend to orphan the lxmms2 package, because I do not use it any more
and lack enough time to properly maintain the package.
The package description is:
lxmms2 is a tiny XMMS2 client to control XMMS2 with a LIRC compatible remote
control. Following actions are s
Package: wnpp
Severity: normal
I intend to orphan the packaging-dev package.
The package description is:
This metapackage depends on common packages useful for the development of
Debian-format packages, including patch management systems, build systems,
packaging macros, helpful scripts for de
Package: wnpp
Severity: normal
I intend to orphan the xmms2 package, because I am not using it any
more and lack enough time to properly maintain the package.
The package description is:
XMMS2 is a redesign of the XMMS music player. It features a client-server
model, allowing multiple (even sim
the package if needed.
Upstream changed the license to LGPL-2.1+ (from BSD+Patents). So the
possible licensing issues has been resolved.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cloud GmbH | Greifswalder Str. 207 | 10405 Berlin | Germany
E-mail: benjamin.dr..
esides that, lintian found some spelling issues. Please report them
upstream so that they are repaired in their next release.
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
1&1 IONOS Cloud GmbH | Greifswalder Str. 207 | 10405 Berlin | Germany
E-mail: benjamin.dr...@cloud.ion
Hi,
Am Montag, den 02.09.2019, 20:12 +0300 schrieb Alexandros Afentoulis:
> On 9/2/19 12:42 PM, Benjamin Drung wrote:
> > Hi,
> >
> >
> > I had a look at it and pushed three smaller commits. I left two
> > points
> > for you before uploading it:
> &
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: ionit
Version : 0.1
Upstream Author : Benjamin Drung
* URL : https://github.com/bdrung/ionit
* License : ISC
Programming Lang: Python 3
Description : Render configuration files
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: netconsole
Version : 0.1
Upstream Author : Benjamin Drung
* URL : https://github.com/profitbricks/netconsole
* License : ISC
Programming Lang: Bash
Description : Dynamically
Hi!
I just added a new version tag to the git.
However, currently all ruby-files are written to the webroot folder:
https://github.com/kellerben/dudle/issues/30
The configuration is there as well.
According to debian-guidelines, this should be separated to /usr, /var
and /etc…
Benjamin
Am
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: gokey
Version : 0.0~git20170602.05f83bb
Upstream Author : Ignat Korchagin
* URL : https://github.com/cloudflare/gokey
* License : BSD-3-clause
Programming Lang: Go
Description
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
takes less than 2 seconds to start a new build on an already
> existing
> overlay.
What's the difference to sbuild which is configured to use overlays?
--
Benjamin Drung
System Developer
Debian & Ubuntu Developer
ProfitBricks GmbH
Greifswalder Str. 207
10405 Berlin
Email: benjamin
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
ely reasonable to ship .so’s and .a’s.
Relatedly, I think we should only package LTS Abseil for Debian. If
someone finds a CVE in Abseil, the Abseil team are going to want to
backport the fix to LTS releases; they’re not going to want to backport
it everywhere else.
> @Benjamin: may you ask its d
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
lication development).
Agreed – there should definitely be some testing involved.
For what it’s worth, the next LTS is likely to be cut from head before
the end of the week. For a little while afterward, at least, nobody
should need anything newer than what’s in the LTS.
On Sunday, February 16
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
tick with src:abseil. That
more closely matches the way the terminology is used within Google –
“Abseil” is unambiguously the C++ project, and “Abseil Python” is its
Python counterpart.
Benjamin
that the
tests pass.
Benjamin
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.
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: bdebstrap
Version : 0.1
Upstream Author : Benjamin Drung
* URL : https://github.com/bdrung/bdebstrap
* License : MIT
Programming Lang: Python
Description : YAML config based multi
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: pytest-salt-factories
Version : 0.10.7
Upstream Author : SaltStack Team
* URL : https://github.com/saltstack/pytest-salt-factories
* License :
Programming Lang: Python
Description
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
Am Freitag, den 19.06.2020, 17:38 +0200 schrieb Benjamin Drung:
> Package: wnpp
> Severity: wishlist
> Owner: Benjamin Drung
>
> * Package name: pytest-salt-factories
> Version : 0.10.7
> Upstream Author : SaltStack Team
> * URL :
> h
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
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name: pynput
Version : 1.7.3
Upstream Author : Moses Palmér
* URL : https://github.com/moses-palmer/pynput
* License : LGPL-3+
Programming Lang
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-dave-jennifer
Version : 1.4.1-1
Upstream Author : Dave Brophy
* URL : https://github.com/dave/jennifer
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-andreykaipov-goobs
Version : 0.7.1+ds1-1
Upstream Author : Andrey Kaipov
* URL : https://github.com
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: obs-cli
Version : 0.2.0-1
Upstream Author : Christian Muehlhaeuser
* URL : https://github.com/muesli/obs-cli
* License
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
X-Debbugs-Cc: debian-de...@lists.debian.org
* Package name: streamdeck-ui
Version : 1.1.2
Upstream Author : Timothy Crosley
* URL : https://github.com/timothycrosley/streamdeck-ui
* License : Expat
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-mdlayher-socket
Version : 0.1.1-1
Upstream Author : Matt Layher
* URL : https://github.com/mdlayher/socket
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-jsimonetti-rtnetlink
Version : 0.0~git20211213.9dff439-1
Upstream Author : Jeroen Simonetti
* URL : https
no progress on this ticket, I just high-jacked it (to
be able to drop the vendored libs in prometheus-node-exporter).
rtnetlink is uploaded to the NEW queue and published on
https://salsa.debian.org/go-team/packages/golang-github-jsimonetti-rtnetlink
Please add yourself to the Uploaders.
--
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-ema-qdisc
Version : 0.0~git20200603.62d0308-1
Upstream Author : Emanuele Rocca
* URL : https://github.com/ema
X-Debbugs-CC: debian-de...@lists.debian.org, debian...@lists.debian.org
Package: wnpp
Severity: wishlist
Owner: Benjamin Drung
* Package name: golang-github-mdlayher-wifi
Version : 0.0~git20200527.84f0b94-1
Upstream Author : Matt Layher
* URL : https://github.com
if you think someone else can do better, feel free to
adopt. Really, the package probably should be dropped for being
worthless, but it actually has a small install base so I haven't done that.
Benjamin
Sandro Tosi wrote:
> Package: wnpp
> Severity: normal
>
> The curren
submitter 393121 !
done
--
Benjamin A'Lee :: [EMAIL PROTECTED]
Subvert Technologies :: http://subvert.org.uk/
signature.asc
Description: Digital signature
G=en_US.UTF-8, LC_CTYPE=C (charmap=UTF-8) (ignored: LC_ALL set to
en_US.UTF-8)
Shell: /bin/sh linked to /bin/bashContent-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
From: Benjamin Mako Hill <[EMAIL PROTECTED]>
To: Debian Bug Tracking S
Confirm Your Winnings.
Irish lottery award you the sum of £1,000,000.00 in this year lottery promo,
for claim contact Sir Edward Martin with your
Name,Address,Age,Occupation,Country
Email: [EMAIL PROTECTED]
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Troubl
Package: wnpp
Severity: normal
Owner: "Benjamin J. Scott"
* Package name: kvpm
Version : 0.8.5
Upstream Author : Benjamin J. Scott
* URL : http://http://sourceforge.net/projects/kvpm/
* License : GPL version 3
Programming Lang: C++
D
Package: wnpp
Severity: normal
I intend to orphan the pwsafe package.
The program is quite old, has been updated since 2005 (!), probably has
lingering licensing issues around openssl and the GPL, may even have
lingering security issues around the openssl debacle from a few years
back (I've not
Package: wnpp
Severity: wishlist
Owner: Benjamin Mako Hill
* Package name: python-iso8601
Version : 0.1.4
Upstream Author : Michael Twomey
* URL : https://code.google.com/p/pyiso8601/
* License : MIT
Programming Lang: Python
Description : python
Package: wnpp
Severity: wishlist
Owner: Benjamin Mako Hill
* Package name: python-simplemediawiki
Version : 1.0.2
Upstream Author : Ian Weller
* URL : http://github.com/ianweller/python-simplemediawiki
* License : LGPL
Programming Lang: Python
Description
retitle #743798 ITP: ipad-charge -- Utility to make iPad charge with the
computer
I would like to try and package this program as my first attempt at
submitting a Debian package.
Thanks,
Benjamin Donald-Wilson
Package: wnpp
Severity: wishlist
Owner: Benjamin Morledge-Hampton
Package name: r-cran-lomb
Version : 1.2-1
Upstream Author : Thomas Ruf
URL : https://salsa.debian.org/r-pkg-team/r-cran-lomb/
License : GPL-2+
Programming Lang: R
Description
I am the upstream maintainer for RStan. Thank you for packaging it for Debian.
I noticed there is a DFSG concern with the R/sysdata.rda file. The
source to generate that file is in tools/stan-functions.R . If you
like, you could drop R/sysdata.rda and regenerate it at build time by
sourcing tools/
201 - 286 of 286 matches
Mail list logo
