Bug#991801: ITP: elan -- tool for managing installations of the Lean theorem prover
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 : Apache-2.0 or Expat Programming Lang: Rust Description : tool for managing installations of the Lean theorem prover elan is a small tool for managing your installations of the Lean theorem prover. It places lean and leanpkg binaries in your PATH that automatically select and, if necessary, download the Lean version described in the lean_version field of your project's leanpkg.toml. You can also install, select, run, and uninstall Lean versions manually using the commands of the elan executable. I use this package myself. I plan to maintain it within https://salsa.debian.org/debian/ I don't require a sponsor.
Bug#991802: ITP: fonts-vazir -- A free sans font for Persian and Arabic
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 Persian and Arabic (vazir is a free and open source font, designed by saber rastikerdar and many other people for persian and arabic language. . The first version of Vazir was based on DejaVu 2.35 (was committed to the public domain) to begin designing and developing this new typeface. . Non-Arabic (Latin) glyphs and data are imported from Roboto font (version 2.137; 2017) under the Apache License, Version 2.0.) Hi. This is a free font for Persian as well as Arabic. This precedent is very popular among Persian speakers. People now have to go to the GitHub repository to use it and download it, which takes some time and no longer updates. I thought of adding it to the Debian and Ubuntu repositories to make it easier to install and update. There are also several other free fonts that I want to add after adding this font. This is my first package for Debian, and I may make a lot of mistakes. I have not raised the issue in my forum yet, but if I can add this font and learn how to add it, I will definitely get help from others to contribute and improve it. Because I think after asking for help, they say: When you did not try to do this yourself, why do you think we will do it for you? Its GitHub address is also here: https://github.com/rastikerdar/vazir-font
ITP: rabbitremotecontrol -- Rabbit remote control
* 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, multi-protocol remote control software. Allows you to use any device and system in anywhere and remotely manage any device and system in any way. The home: https://github.com/KangLin/RabbitRemoteControl The compile document: https://github.com/KangLin/RabbitRemoteControl/blob/develop/docs/Compile/BuildLinux.md I am looking for co-maintainers and I need a sponsor.
Bug#991812: ITP: django-graphene -- Django integration for Graphene
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 Programming Lang: Python Description : Django integration for Graphene Graphene-Django is built on top of Graphene. Graphene-Django provides some additional abstractions that make it easy to add GraphQL functionality to your Django project. This package is an direct dependency for the next major version of NetBox (will be version 3) which I consider to package. The package will get maintained within the Debian Python Team.
Bug#991826: ITP: seclists -- SecLists is a collection of multiple types of lists used during security.
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/SecLists * License : MIT Programming Lang: Data files Description : SecLists is a collection of multiple types of lists used during security. This package will be maintained under the Debian Security Tools team. Collection of multiple types of security list. SecLists is a collection of multiple types of lists used during security assessments. List types include usernames, passwords, URLs, sensitive data grep strings, fuzzing payloads, and many more. . The goal is to enable a security tester to pull this repo onto a new testing box and have access to every type of list that may be needed. Regards, -- Guilherme Xavier 4096R: 1808 D926 7486 3C2E 07B7 B08C 1B14 0644 976B 8AC9
Slower/no acceptance from dak?
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 mail nor the rejection. I uploaded one to buster (for -pu) but that didn't seem to have made it either. However, one to the security pocket made it very timely (as usual!). Also, whilst uploading, not all the files are getting uploaded at once. I have to dput the same thing thrice or so. I get "cannot read from timed out object" sometimes. But this only happens for unstable and buster upload, the one to -security (or to ubuntu or PPAs) seems to be working fine. Not sure what's up but wanted to know if anyone's facing anything similar? - u
ITP: rabbitremotecontrol -- Rabbit remote control
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 control Rabbit Remote Control is a cross-platform, multi-protocol remote control software. Allows you to use any device and system in anywhere and remotely manage any device and system in any way. The home: https://github.com/KangLin/RabbitRemoteControl The compile document: https://github.com/KangLin/RabbitRemoteControl/blob/develop/docs/Compile/BuildLinux.md I am looking for co-maintainers and I need a sponsor.
