Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language

2025-02-01 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2025.02.02-1 Upstream contact : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unl

python3 deps

2025-02-01 Thread Matthew Fernandez
Hi mentors, I was previously instructed to remove python3 from my package’s suggests because it is always installed.¹ However when doing this and now trying to package a new version, Lintian is upset: E: rumur: python3-script-but-no-python3-dep python3 (does not satisfy python3:any | pytho

Re: python3 deps

2025-02-01 Thread Matthew Fernandez
On 2/2/25 07:30, Andrey Rakhmatullin wrote: On Sun, Feb 02, 2025 at 07:26:53AM +1100, Matthew Fernandez wrote: The Lintian advice appears to contradict mentor instructions. What is the right approach here? Is python3 meant to appear somewhere else as a weak dep? The mentor instructions are

Re: python3 deps

2025-02-01 Thread Andrey Rakhmatullin
On Sun, Feb 02, 2025 at 07:26:53AM +1100, Matthew Fernandez wrote: > Hi mentors, > > I was previously instructed to remove python3 from my package’s suggests > because it is always installed.¹ However when doing this and now trying to > package a new version, Lintian is upset: > > E: rumur: pyt

Bug#1092140: marked as done (RFS: rumur/2025.01.05-1 -- model checker for the Murphi language)

2025-02-01 Thread Debian Bug Tracking System
Your message dated Sun, 2 Feb 2025 06:42:58 +1100 with message-id and subject line Re: Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language has caused the Debian Bug report #1092140, regarding RFS: rumur/2025.01.05-1 -- model checker for the Murphi language to be marked a

Re: Bug#1094030: RFS: freebasic/1.10.1+ds-1 [ITP] -- Compiler for the FreeBASIC language

2025-02-01 Thread Soren Stoutner
On Saturday, February 1, 2025 8:46:23 AM MST Ahmad Khalifa wrote: > Control: tags -1 -moreinfo Clarify license issues > > On 01/02/2025 08:58, Phil Wyett wrote: > > 3. Licenses [4]: Issue, possible false positive, needs review[...]> > > d/copyright | licensecheck > > > > LGPL-2+ | Z

Bug#1094183: RFS: fxtran ITP

2025-02-01 Thread Phil Wyett
On Sat, 1 Feb 2025 12:20:37 + philippe marguinaud wrote: > Control: tags -1 -moreinfo > > I changed the debian/watch file following your prescriptions, and tried uscan --force-download, which succeeded to download the source tarball. > > Thank you again, > > Philippe > > __

Bug#1094030: RFS: freebasic/1.10.1+ds-1 [ITP] -- Compiler for the FreeBASIC language

2025-02-01 Thread Ahmad Khalifa
Control: tags -1 -moreinfo Clarify license issues On 01/02/2025 08:58, Phil Wyett wrote: 3. Licenses [4]: Issue, possible false positive, needs review[...]> d/copyright | licensecheck LGPL-2+ | Zlib bootstrap/inc/allegro5/allegro_acodec.bi [...] LGPL-2+ |

Bug#1094183: RFS: fxtran ITP

2025-02-01 Thread philippe marguinaud
Control: tags -1 -moreinfo I changed the debian/watch file following your prescriptions, and tried uscan --force-download, which succeeded to download the source tarball. Thank you again, Philippe From: philippe marguinaud Sent: Friday, January 31, 2025 2:21 P