Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language

To: Matthew Fernandez <matthew.fernandez@gmail.com>, 995588@bugs.debian.org
Subject: Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language
From: Adam Borowski <kilobyte@angband.pl>
Date: Sun, 3 Oct 2021 01:37:03 +0200
Message-id: <[🔎] YVjtH6KbhrV6Pj9b@angband.pl>
Reply-to: Adam Borowski <kilobyte@angband.pl>, 995588@bugs.debian.org
In-reply-to: <[🔎] 3CB5DA7B-41FC-4196-8377-8242939794F9@gmail.com>
References: <[🔎] 3CB5DA7B-41FC-4196-8377-8242939794F9@gmail.com> <[🔎] 3CB5DA7B-41FC-4196-8377-8242939794F9@gmail.com>

On Sat, Oct 02, 2021 at 11:26:19AM -0700, Matthew Fernandez wrote:
> * Package name    : rumur
>    Version         : 2021.09.29-1

> rumur (2021.09.29-1) unstable; urgency=medium


E: rumur: python3-script-but-no-python3-dep usr/bin/rumur-run python3

-- 
⢀⣴⠾⠻⢶⣦⠀
⣾⠁⢠⠒⠀⣿⡁ Debian is one big family.  Including that weird uncle
⢿⡄⠘⠷⠚⠋⠀ and ultra-religious in-laws.
⠈⠳⣄⠀⠀⠀⠀

Reply to:

Follow-Ups:
- Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language
  - From: Matthew Fernandez <matthew.fernandez@gmail.com>

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

Prev by Date: Bug#995602: RFS: python-patch-ng/1.17.4-1 [RFP] -- Patch NG (New Generation)
Next by Date: Bug#995592: RFS: urlwatch/2.23-2 -- monitors webpages for you
Previous by thread: Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language
Next by thread: Bug#995588: RFS: rumur/2021.09.29-1 -- model checker for the Murphi language
Index(es):
- Date
- Thread