Hello,
I'm working on the "Gjiten" package* ([1]). It was kind of abandoned and used
Gtk2.
I upgraded it to Gtk3 and did some further development on it (see [2]).
I'd like to get the new codebase into the debian repos. If I understand
correctly, I need a sponsor for that(?) Is there anyone wi
On lundi 04 oct. 2021 à 19:25:37 (+0200), Jeroen Ploemen wrote:
> On Mon, 4 Oct 2021 11:23:26 +0200
> Maxime Werlen wrote:
>
> > A new package has been uploaded to mentors.
> > I hope I've done it correctly :)
>
> Close :)
>
> For the import.py autopkgtest, just adding "python3-all" to the test
On Mon, 4 Oct 2021 11:23:26 +0200
Maxime Werlen wrote:
> A new package has been uploaded to mentors.
> I hope I've done it correctly :)
Close :)
For the import.py autopkgtest, just adding "python3-all" to the test
dependencies doesn't cause it to be run against all supported python3
versions -
Control: tags -1 - moreinfo
Hi Jeroen,
Thanks for your review. I've made the requested changes :
* Removed python 3 version requirement
* Explicit B-D on python3 (for dh-python)
* Mark previous test as superficial and used upstream test as autopkgtest
A new package has been uploaded to mentors.
Control: tags -1 - moreinfo
On Mon, 4 Oct 2021 09:30:00 +0300 Shlomi Fish wrote:
On Fri, 1 Oct 2021 12:46:26 +0200 Bastian Germann wrote:
> This is not an NMU because this software is non-existing in Debian.
> Please file an ITP for it.
Thanks, seems better now after your change.
I added
Your message dated Mon, 4 Oct 2021 12:03:31 +0200
with message-id
and subject line Re: Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for
the Murphi language
has caused the Debian Bug report #995588,
regarding RFS: rumur/2021.09.29-1 -- model checker for the Murphi language
to be marked as
6 matches
Mail list logo
