Processed: Re: Bug#991419: new upstream (0.7.1)

2021-07-23 Thread Debian Bug Tracking System
Processing commands for cont...@bugs.debian.org: > clone 991419 -1 Bug #991419 [ck] new upstream (0.7.1) Bug 991419 cloned as bug 991427 > retitle -1 ITA: ck -- Concurrency Kit Bug #991427 [ck] new upstream (0.7.1) Changed Bug title to 'ITA: ck -- Concurrency Kit' from 'new upstream (0.7.1)'. > re

Bug#988116: ITP: libdecor-0.1 -- client-side decoration library for Wayland

2021-07-23 Thread Simon McVittie
On Thu, 06 May 2021 at 00:11:37 +0100, Christian Rauch wrote: > I am already maintaining an Ubuntu ppa at: > https://launchpad.net/~christianrauch/+archive/ubuntu/libdecoration > but would like to upstream the package into Debian. Is the packaging you used in that Ubuntu PPA already available as a

Bug#991427: marked as done (ITA: ck -- Concurrency Kit)

2021-07-23 Thread Debian Bug Tracking System
Your message dated Fri, 23 Jul 2021 12:03:32 + with message-id and subject line Bug#991427: fixed in ck 0.6.0-2 has caused the Debian Bug report #991427, regarding ITA: ck -- Concurrency Kit to be marked as done. This means that you claim that the problem has been dealt with. If this is not t

Bug#991435: ITP: jasmin-lang -- Jasmin is a workbench for high-assurance and high-speed cryptography. Jasmin implementations aim at being efficient, safe, correct, and secure.

2021-07-23 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: jasmin-lang Version : 0.1 Upstream Author : jasmin-users and developers mailing list * URL : https://github.com/jasmin-lang/jasmin/wiki * License

Bug#991436: ITP: easycrypt -- EasyCrypt: Computer-Aided Cryptographic Proofs

2021-07-23 Thread Marcel Fourné
Package: wnpp Severity: wishlist Owner: Marcel Fourné X-Debbugs-Cc: debian-de...@lists.debian.org * Package name: easycrypt Version : 1.0 Upstream Author : Easycrypt-club mailing list * URL : https://www.easycrypt.info * License : CECILL-C, parts under CECILL

Bug#988116: ITP: libdecor-0.1 -- client-side decoration library for Wayland

2021-07-23 Thread Christian Rauch
Am 23.07.21 um 11:35 schrieb Simon McVittie: > Is the packaging you used in that Ubuntu PPA already available as a > git tree? Yes. The ppa is using my "libdecor-packaging" repo [1] for the packaging information. The ppa is merging the source tree and the packaging tree to generate the packages da

Información AGOSTO 2021

2021-07-23 Thread FOESCO
Buenos días Contactamos con vuestra empresa para informamos que se encuentra abierto el plazo de inscripción de Cursos Bonificables para empleados (AGOSTO- SEPTIEMBRE 2021). Los cursos pueden iniciarse en los meses de AGOSTO (Por defecto) o SEPTIEMBRE. Adjuntamos listado con más de 1000 Cur

Bug#988116: ITP: libdecor-0.1 -- client-side decoration library for Wayland

2021-07-23 Thread Simon McVittie
On Fri, 23 Jul 2021 at 19:00:02 +0100, Christian Rauch wrote: > Am 23.07.21 um 11:35 schrieb Simon McVittie: > > Is the packaging you used in that Ubuntu PPA already available as a > > git tree? > > Yes. The ppa is using my "libdecor-packaging" repo [1] for the packaging > information. The ppa is

Bug#951374: RFP: gh -- the GitHub CLI

2021-07-23 Thread Nicholas Guriev
Hello! I personally find that "gh" is quite short name for a package that will go into a general purpose software catalog like Debian repository. Would you mind choosing something like "github-cli" as source and binary package name and mentioning the sortcut "gh" in a package description? So anyon