1. Forum
  2. Usenet
  3. LINUX.DEBIAN.DEVEL.MENTOR

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

    From Adam Borowski@21:1/5 to Matthew Fernandez on Sun Oct 3 01:40:01 2021
    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.
    ⠈⠳⣄⠀⠀⠀⠀

    --- SoupGate-Win32 v1.05
    * Origin: fsxNet Usenet Gateway (21:1/5)