Bug#991801: ITP: elan -- tool for managing installations of the Lean theorem prover

2021-08-02 Thread Christopher Hoskin
Package: wnpp Severity: wishlist Owner: Christopher Hoskin X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: elan Version : 1.0.6 Upstream Author : Sebastian Ullrich / The Rust Project Developers * URL : https://github.com/leanprover/elan/ * License :

Bug#991802: ITP: fonts-vazir -- A free sans font for Persian and Arabic

2021-08-02 Thread eshagh
Package: wnpp Severity: wishlist Owner: eshagh * Package name: fonts-vazir Version : 29.1.0 Upstream Author : Saber Rastikerdar * URL : https://github.com/rastikerdar/vazir-font * License : (OFL) Programming Lang: () Description : A free sans font for

ITP: rabbitremotecontrol -- Rabbit remote control

2021-08-02 Thread kl222
* Package name: rabbitremotecontrol Version : 0.0.8 Upstream Author : Kang Lin * URL : https://github.com/KangLin/RabbitRemoteControl * License : GPL3 Programming Lang: C++ Description : Rabbit remote control Rabbit Remote Control is a cross-platform,

Bug#991812: ITP: django-graphene -- Django integration for Graphene

2021-08-02 Thread Carsten Schoenert
Package: wnpp Severity: wishlist Owner: Carsten Schoenert X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: django-graphene Version : 2.15.0 Upstream Author : Syrus Akbary * URL : https://github.com/graphql-python/graphene-django * License : MIT Pr

Bug#991826: ITP: seclists -- SecLists is a collection of multiple types of lists used during security.

2021-08-02 Thread Guilherme Xavier
Package: wnpp Severity: wishlist Owner: Guilherme de Paula Xavier Segundo X-Debbugs-Cc: debian-devel@lists.debian.org * Package name : seclists Version : 2021.2+dfsg Upstream Author : Daniel Miessler * URL : https://github.com/danielmiessler/SecL

Slower/no acceptance from dak?

2021-08-02 Thread Utkarsh Gupta
Hello, I've been facing issues with the acceptance emails for a while and was wondering if it's known or something, so asking here. I've uploaded a couple of packages to unstable a while ago but that didn't make it through (at least that's what it looks like). Neither did I get the acceptance mai

ITP: rabbitremotecontrol -- Rabbit remote control

2021-08-02 Thread kl222
Package: wnpp Severity: wishlist Owner: Kang Lin * Package name: rabbitremotecontrol Version : 0.0.8 Upstream Author : Kang Lin * URL : https://github.com/KangLin/RabbitRemoteControl * License : GPL3 Programming Lang: C++ Description : Rabbit remote cont