Processed: Re: RFS: rumur/2025.01.05-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.01.05-1 -- model checker for the Murphi language
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Sun, 05 Jan 2025 11:21:02 +0000
Message-id: <[🔎] handler.s.B1092140.17360759711541608.transcript@bugs.debian.org>
References: <[🔎] 85a14c37e81a21ef3933d1b8020aca9df6e7ed6b.camel@kathenas.org> <[🔎] ccde2057-db60-451e-bb94-f3d3122f7f32@gmail.com>

Processing control commands:

> tags -1 +confirmed
Bug #1092140 [sponsorship-requests] RFS: rumur/2025.01.05-1 -- model checker for the Murphi language
Added tag(s) confirmed.

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

Reply to:

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

Prev by Date: Processed: Re: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language
Next by Date: Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language
Previous by thread: Processed: Re: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language
Next by thread: Bug#1092140: RFS: rumur/2025.01.05-1 -- model checker for the Murphi language
Index(es):
- Date
- Thread