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

To: philip.wyett@kathenas.org
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 02 Feb 2025 19:51:04 +0000
Message-id: <[🔎] handler.s.U1094966.17385256832206276.transcript@bugs.debian.org>
References: <[🔎] 0c8bf34aaab0c417911b4e8189bb2eee67abc2fe.camel@kathenas.org> <[🔎] 6bfe6c90-881d-4b4d-8c28-e2ad6ff75cae@gmail.com>

Processing control commands:

> tags -1 +confirmed
Bug #1094966 [sponsorship-requests] RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
Ignoring request to alter tags of bug #1094966 to the same tags previously set

-- 
1094966: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=1094966
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
  - From: Phil Wyett <philip.wyett@kathenas.org>
- Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
  - From: Matthew Fernandez <matthew.fernandez@gmail.com>

Prev by Date: Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
Next by Date: Processed: Re: RFS: postfixadmin/3.3.15+ds-2 -- Virtual mail hosting interface for Postfix
Previous by thread: Bug#1094966: RFS: rumur/2025.02.02-1 -- model checker for the Murphi language
Next by thread: Processed: your mail
Index(es):
- Date
- Thread