Processed: Re: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language

To: Matthew Fernandez <matthew.fernandez@gmail.com>
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: Re: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 14 Jun 2024 23:42:09 +0000
Message-id: <[🔎] handler.s.B1071427.17184083913655816.transcript@bugs.debian.org>
References: <[🔎] eaaa77fe-f481-44b8-ae62-0b5c38bae28a@gmail.com> <8bf364a1-5062-4d55-bbf2-20a97003febb@gmail.com>

Processing control commands:

> tags -1 - moreinfo
Bug #1071427 [sponsorship-requests] RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
Removed tag(s) moreinfo.

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

Reply to:

References:
- Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
  - From: Matthew Fernandez <matthew.fernandez@gmail.com>

Prev by Date: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
Next by Date: Bug#1052015: RFS: blktrace/1.3.0-1 -- utilities for block layer IO tracing
Previous by thread: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
Next by thread: Bug#1071427: RFS: rumur/2024.05.07-1 -- model checker for the Murphi language
Index(es):
- Date
- Thread