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

2021-10-03 Thread Matthew Fernandez
> On Oct 2, 2021, at 16:37, Adam Borowski wrote: > > 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

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

2021-10-02 Thread Adam Borowski
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.

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

2021-10-02 Thread Matthew Fernandez
Package: sponsorship-requests Severity: normal Dear mentors, I am looking for a sponsor for my package "rumur": * Package name: rumur Version : 2021.09.29-1 Upstream Author : Matthew Fernandez * URL : https://github.com/Smattr/rumur * License : Unlicense *