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

To: bartm@debian.org
Cc: package-sponsorship-requests@lists.debian.org
Subject: Processed: RFS: rumur/2020.07.28-1 -- model checker for the Murphi language
From: "Debian Bug Tracking System" <owner@bugs.debian.org>
Date: Fri, 31 Jul 2020 03:57:07 +0000
Message-id: <[🔎] handler.s.C.159616757510994.transcript@bugs.debian.org>
References: <E1k1M6I-0003YR-VE@quantz.debian.org>

Processing commands for control@bugs.debian.org:

> retitle 963273 RFS: rumur/2020.07.28-1 -- model checker for the Murphi language
Bug #963273 [sponsorship-requests] RFS: rumur/2020.06.20-1 -- model checker for the Murphi language
Changed Bug title to 'RFS: rumur/2020.07.28-1 -- model checker for the Murphi language' from 'RFS: rumur/2020.06.20-1 -- model checker for the Murphi language'.
>
End of message, stopping processing here.

Please contact me if you need assistance.
-- 
963273: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=963273
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

Prev by Date: Processed: RFS: rumur/2020.07.28-1 -- model checker for the Murphi language
Next by Date: Bug#966587: RFS: xfce4-alsa-plugin/0.3.0-1 [ITP] -- Simple ALSA control for xfce4-panel
Previous by thread: Processed: RFS: rumur/2020.07.28-1 -- model checker for the Murphi language
Next by thread: Bug#966587: RFS: xfce4-alsa-plugin/0.3.0-1 [ITP] -- Simple ALSA control for xfce4-panel
Index(es):
- Date
- Thread