Bug#1057879: RFS: rumur/2023.11.27-1 -- model checker for the Murphi language

2023-12-09 Thread Matthew Fernandez
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 : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense * Vcs : https://github.com/Smattr/rum

Bug#1055379: RFS: clojure-mode/5.18.0-1 [RC] [Team] -- extra font-locking for clojure-mode

2023-12-09 Thread Xiyue Deng
Hi Sean, Thanks for taking care of it! Please also see the replies below inline. Sean Whitton writes: > Hello, > > On Sat 09 Dec 2023 at 04:23pm GMT, Sean Whitton wrote: > >> Hello Xiyue, >> >> I made some commits before uploading. Please review. >> >> For the dgit-maint-merge(7) workflow, th

Bug#1055379: RFS: clojure-mode/5.18.0-1 [RC] [Team] -- extra font-locking for clojure-mode

2023-12-09 Thread Sean Whitton
Hello, On Sat 09 Dec 2023 at 04:23pm GMT, Sean Whitton wrote: > Hello Xiyue, > > I made some commits before uploading. Please review. > > For the dgit-maint-merge(7) workflow, there is no need to manually > refresh patches. dgit will do it for us whenever necessary. See the > automatic commit

Bug#1055379: marked as done (RFS: clojure-mode/5.18.1-1 [RC] [Team] -- extra font-locking for clojure-mode)

2023-12-09 Thread Debian Bug Tracking System
Your message dated Sat, 09 Dec 2023 16:23:48 + with message-id <87o7ezuyy3@zephyr.silentflame.com> and subject line Re: Bug#1055379: RFS: clojure-mode/5.18.0-1 [RC] [Team] -- extra font-locking for clojure-mode has caused the Debian Bug report #1055379, regarding RFS: clojure-mode/5.18.1-1

Bug#1055951: RFS: multispeech/4.6.0-1 [ITP] -- Multilingual speech server for Emacspeak

2023-12-09 Thread Igor B. Poretsky
Hello Tobias, > "Tobias" == Tobias Frost writes: Tobias> The "-1" is the Debian revision; it is orthogonal to the Tobias> upstream version, (except the rules where it resets to Tobias> usually -1, of course) So, what should I do if my package has not been yet sponsored, but a ne