Re: RFS: rumur/2023.11.27-1 -- model checker for the Murphi language

Just a gentle bump to see if anyone has time to take a look at this RFS? On 12/10/23 12:17, Matthew Fernandez wrote: Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name : rumur Version : 2023.11.27-1 Upstream contact

Bug#1061654: RFS: vdr-plugin-wirbelscan/2023.10.15-1 [ITP] -- Wirbelscan plugin for VDR

Package: sponsorship-requests Severity: wishlist Dear mentors, I am looking for a sponsor for my package "vdr-plugin-wirbelscan": * Package name : vdr-plugin-wirbelscan Version : 2023.10.15-1 Upstream contact : Winfried Koehler * URL :

Bug#1061653: RFS: dpkg-dev-el/37.11 [RC] [Team] -- Emacs helpers specific to Debian development

Package: sponsorship-requests Severity: important Dear mentors, I am looking for a sponsor for my package "dpkg-dev-el": * Package name : dpkg-dev-el Version : 37.11 Upstream contact : Debian Emacsen Team * URL :

RFS: bitwise/0.50-1 -- Interactive bitwise operation in ncurses

Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "bitwise": Package already in debian. * Package name : bitwise Version : 0.50-1 Upstream contact : Ramon Fried * URL :

Remaining bug in pidgin-skype

Hello, Now pidgin-skype has been sponsored thanks to Gianfranco Costamagna, what should I do with remaining? I have not read all of them yet but after a first look, the major part (not to say all) of remaining bugs are not still relevant because related to old plugins. This seems to be

Bug#1061611: RFS: tapecalc/20240110-1 -- full-screen tape editor that lets the user edit a calculation

Package: sponsorship-requests Severity: normal -BEGIN PGP SIGNED MESSAGE- Hash: SHA256 Dear mentors, I am looking for a sponsor for my package "tapecalc": * Package name : tapecalc Version : 20240110-1 Upstream contact : Thomas E. Dickey * URL :

Bug#1060913: Re: Bug#1060913: RFS: sdaps/1.9.11-0.1 [NMU] [RC] -- scripts for data acquisition with paper-based surveys

Control: tags -1 moreinfo On Wed, 17 Jan 2024 10:13:00 +0800 Bo YU wrote: (...) >I should obey Debian NMU guidance here. This. The Debian developers reference has some information about NMUs, please honour them. Taggins moreinfo, as until this is not solved, this RFS is not actionable.