Bug#1017815: closing 1017815

To: control@bugs.debian.org
Cc: 1017815-submitter@bugs.debian.org
Subject: Bug#1017815: closing 1017815
From: Tobias Frost <tobi@debian.org>
Date: Sun, 21 Aug 2022 09:33:32 +0200
Message-id: <[🔎] 1661067212-3635-bts-tobi@debian.org>
Reply-to: Tobias Frost <tobi@debian.org>, 1017815-quiet@bugs.debian.org
References: <[🔎] 04efe986-df35-b93e-7306-bd677bf23e28@gmail.com>

close 1017815 
thanks

Uploaded.

Reply to:

References:
- Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language
  - From: Matthew Fernandez <matthew.fernandez@gmail.com>

Prev by Date: Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language
Next by Date: Access request to Salsa repository
Previous by thread: Bug#1017815: RFS: rumur/2022.08.20-1 [RC] -- model checker for the Murphi language
Next by thread: Access request to Salsa repository
Index(es):
- Date
- Thread