Re: Coq packages in Debian : difficult transitions

Le dimanche 31 juillet 2022 à 12:43 +0200, Sebastian Ramacher a écrit : > On 2022-07-31 12:33:35 +0200, julien.pu...@gmail.com wrote: > > Hi, > > > > I tried to ask on debian-release because it seemed more sensible > > but didn't get feedback. [1] > > Please file a transition bug. The mailing lis

Re: Coq packages in Debian : difficult transitions

Hi, Le lundi 01 août 2022 à 14:20 +0200, Joachim Breitner a écrit : > > Am Sonntag, dem 31.07.2022 um 12:33 +0200 schrieb > julien.pu...@gmail.com: > > I have a little script that tells me the following packages needs > > to be > > rebuilt when a transition has to be done ; for example: > > > >

Re: Bug#1016575: sbuild aborting when dh-python isn't installed locally

Hi Matthias, no idea why you CC-ed debian-devel@lists.debian.org with your bug. This is a bug about using Debian so the correct mailing list would be debian-u...@lists.debian.org. The mailing list you chose is for the development of Debian. I'm closing this bug because what you experienced is act

Bug#1016606: ITP: libpanel -- IDE paneling library for GTK

Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@lists.debian.org, debian-gtk-gn...@lists.debian.org Owner: jeremy.bi...@canonical.com Package Name: libpanel-1-1 (etc) Version: 1.0~alpha Upstream Author: Christian Hergert License: LGPL-3+ Programming Lang: C Description: IDE paneling l

Bug#1016612: ITP: tanidvr -- tool for DVRs and IP cameras based on DVR-IP protocol used by Dahua

Package: wnpp Severity: wishlist Owner: Marcos Talau X-Debbugs-Cc: debian-devel@lists.debian.org * Package name: tanidvr Version : 1.4.1 Upstream Author : Daniel Mealha Cabrita * URL : http://tanidvr.sourceforge.net * License : GPL-3 Programming Lang: C De