Bug#1015000: ITP: coq-quickchick -- randomized testing framework for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-quickchick Version : 1.6.3 Upstream Author : Leonidas Lampropoulos, Zoe Paraskevopoulou, Maxime Denes, Catalin Hritcu, Benjamin Pierce, Li-yao Xia,

Bug#1014997: ITP: coq-unimath -- univalent formalization of mathematics for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-unimath Version : 20220204 Upstream Author : Benedikt Ahrens, Daniel Grayson, Vladimir Voevodsky * URL :

Bug#1014993: ITP: coq-reglang -- representation of regular languages in Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-reglang Version : 1.1.3 Upstream Author : Christian Doczkal, Jan-Oliver Kaiser, Gert Smolka * URL :

Processed: retitle 1014445 to ITP: wordpress-plugin-authldap -- LDAP authentication-backend for wordpress

Processing commands for cont...@bugs.debian.org: > retitle 1014445 ITP: wordpress-plugin-authldap -- LDAP authentication-backend > for wordpress Bug #1014445 [wnpp] ITP:wordpress-plugin-authldap -- LDAP authentication-backend for wordpress Changed Bug title to 'ITP: wordpress-plugin-authldap --

Bug#1014991: ITP: coq-relation-algebra -- relation algebra for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-relation-algebra Version : 1.7.7 Upstream Author : Damien Pous et al * URL : http://perso.ens-lyon.fr/damien.pous/ra * License

Bug#1014989: ITP: coq-unicoq -- enhanced unification algorithm for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-unicoq Version : 1.6-8.15-1 Upstream Author : Beta Ziliani & Matthieu Sozeau * URL : https://github.com/unicoq/unicoq/ * License

Bug#1011648: Packaging still pending

Hi, I'm still working on the package ; I'm mostly stuck because there are incoherent licensing issues: https://github.com/ejgallego/coq-serapi/issues/266 Cheers, J.Puydt

Bug#1014863: marked as done (ITP: python-aiormq -- pure Python AMQP client library (Python 3))

Your message dated Fri, 15 Jul 2022 19:00:10 + with message-id and subject line Bug#1014863: fixed in python-aiormq 6.3.4-1 has caused the Debian Bug report #1014863, regarding ITP: python-aiormq -- pure Python AMQP client library (Python 3) to be marked as done. This means that you claim

Bug#985486: marked as done (ITP: python-pyepics -- EPICS channel access for Python)

Your message dated Fri, 15 Jul 2022 19:00:11 + with message-id and subject line Bug#985486: fixed in python-pyepics 3.4.1+ds-1 has caused the Debian Bug report #985486, regarding ITP: python-pyepics -- EPICS channel access for Python to be marked as done. This means that you claim that the

Bug#1014788: marked as done (ITP: python-mock-open -- Better mock for file I/O)

Your message dated Fri, 15 Jul 2022 19:00:10 + with message-id and subject line Bug#1014788: fixed in python-mock-open 1.4.0-1 has caused the Debian Bug report #1014788, regarding ITP: python-mock-open -- Better mock for file I/O to be marked as done. This means that you claim that the

Bug#1013239: marked as done (ITP: python-gflanguages -- language-support categorization of the font families in the Google Fonts collection)

Your message dated Fri, 15 Jul 2022 19:00:10 + with message-id and subject line Bug#1013239: fixed in python-gflanguages 0.4.0-1 has caused the Debian Bug report #1013239, regarding ITP: python-gflanguages -- language-support categorization of the font families in the Google Fonts collection

Bug#1013243: marked as done (ITP: hexbytes -- Python bytes subclass that decodes hex, with a readable console output)

Your message dated Fri, 15 Jul 2022 19:00:10 + with message-id and subject line Bug#1013243: fixed in python-hexbytes 0.2.2-1 has caused the Debian Bug report #1013243, regarding ITP: hexbytes -- Python bytes subclass that decodes hex, with a readable console output to be marked as done.

Bug#1012831: marked as done (ITP: python-pypartpicker -- Fetch product and part list information from PCPartPicker)

Your message dated Fri, 15 Jul 2022 19:00:11 + with message-id and subject line Bug#1012831: fixed in python-pypartpicker 1.9.0-1 has caused the Debian Bug report #1012831, regarding ITP: python-pypartpicker -- Fetch product and part list information from PCPartPicker to be marked as done.

Bug#951632: marked as done (ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir)

Your message dated Fri, 15 Jul 2022 20:55:15 +0200 with message-id and subject line Coq-menhirlib is now in Debian has caused the Debian Bug report #951632, regarding ITP: coq-menhirlib -- Support library for verified Coq parsers produced by Menhir to be marked as done. This means that you

Bug#1014975: ITP: coq-interval -- interval arithmetic for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-interval Version : 4.5.1 Upstream Author : Guillaume Melquiond et al * URL : https://coqinterval.gitlabpages.inria.fr/ * License

Bug#970146: still blocked

block -1 by 1014974 thanks

Bug#1014973: ITP: coq-hammer -- automated reasoning tool for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-hammer Version : 1.3.2+8.15 Upstream Author : Lukas Czajka, Cesary Kaliszyk * URL : https://coqhammer.github.io * License :

Processed: RFP: carml -- command-line tool to query and control a running Tor

Processing commands for cont...@bugs.debian.org: > noowner 890004 Bug #890004 [wnpp] RFP: carml -- command-line tool to query and control a running Tor Removed annotation that Bug was owned by ju xor . > End of message, stopping processing here. Please contact me if you need assistance. --

Processed: Re: Bug#890004: (no subject)

Processing control commands: > retitle -1 RFP: carml -- command-line tool to query and control a running Tor Bug #890004 [wnpp] ITP: carml -- carml is a command-line tool to query and control a running Tor Changed Bug title to 'RFP: carml -- command-line tool to query and control a running Tor'

Bug#890004: (no subject)

Control: retitle -1 RFP: carml -- command-line tool to query and control a running Tor On Fri, Jul 15, 2022 at 11:53:45AM +, Patrick Schleizer wrote: > This is actually an RFP, not an ITP? > > Could a DD fix the tagging please? Anyone can do so; done. I think this was an actual intent to

Bug#1014969: ITP: coq-gappa -- Coq tactic to use Gappa for floating-point goals

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-gappa Version : 1.5.2 Upstream Author : Guillaume Melquiond * URL : https://gappa.gitlabpages.inria.fr * License : LGPL-3+

Bug#1014965: ITP: coq-libhyps -- Tactics on hypotheses in Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-libhyps Version : 2.0.5 Upstream Author : Pierre Courtieu * URL : https://www.github.com/Matafou/LibHyps * License : Expat

Bug#1014955: ITP: coq-corn -- Coq Constructive Repository at Nijmegen

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coq-corn Version : 8.13.0 Upstream Author : Bas Spitters (maintainer) * URL : https://github.com/coq-community/corn * License :

Bug#732011: marked as done (ITA: gyrus -- GNOME tool for Cyrus-IMAP servers)

Your message dated Fri, 15 Jul 2022 09:18:55 + with message-id and subject line Bug#732011: fixed in gyrus 0.4.1-1 has caused the Debian Bug report #732011, regarding ITA: gyrus -- GNOME tool for Cyrus-IMAP servers to be marked as done. This means that you claim that the problem has been

Bug#1014059: marked as done (ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq)

Your message dated Fri, 15 Jul 2022 10:46:17 +0200 with message-id and subject line It's in already has caused the Debian Bug report #1014059, regarding ITP: coq-math-classes -- Abstract interfaces for mathematical structures for Coq to be marked as done. This means that you claim that the

Processed: ITA: apvlv -- PDF viewer with Vim-like behaviour

Processing control commands: > owner -1 ! Bug #798945 [wnpp] O: apvlv -- PDF viewer with Vim-like behaviour Owner recorded as xiao sheng wen(肖盛文) . > retitle -1 ITA: apvlv -- PDF viewer with Vim-like behaviour Bug #798945 [wnpp] O: apvlv -- PDF viewer with Vim-like behaviour Changed Bug title to

Bug#798945: ITA: apvlv -- PDF viewer with Vim-like behaviour

control: owner -1 ! control: retitle -1 ITA: apvlv -- PDF viewer with Vim-like behaviour -- 肖盛文 xiao sheng wen https://www.atzlinux.com 《铜豌豆 Linux》基于 Debian 的 Linux 中文 桌面 操作系统 Debian QA page: https://qa.debian.org/developer.php?login=atzlinux%40sina.com Debian salsa:

Bug#1014940: ITP: coqprime -- Primality certification for Coq

Package: wnpp Severity: wishlist Owner: Julien Puydt X-Debbugs-Cc: Debian OCaml Maintainers , jpu...@debian.org * Package name: coqprime Version : 8.15 Upstream Author : * URL : https://github.com/thery/coqprime/ * License : LGPL-2.1 Programming Lang: C,